28 citations · 40 across the 9 of their papers we have counts for
9 papers
Morse decomposition of scalar differential equations with state-dependent delay
Ferenc A. Bartha, Ábel Garab, Tibor Krisztin
We consider state-dependent delay differential equations of the form where is continuously differentiable and fulfills a negative feedb…
Bifurcation analysis of waning-boosting epidemiological models with repeat infections and varying immunity periods
Richmond Opoku-Sarkodie, Ferenc A. Bartha, Mónika Polner +1
We consider the SIRWJS epidemiological model that includes the waning and boosting of immunity via secondary infections. We carry out combined analytical and numerical investigatio…
In silico evaluation of Paxlovid's pharmacometrics for SARS-CoV-2: a multiscale approach
Ferenc A. Bartha, Nóra Juhász, Sadegh Marzban +2
Paxlovid is a promising, orally bioavailable novel drug for SARS--CoV--2 with excellent safety profiles. Our main goal here is to explore the pharmacometric features of this new an…
Dynamics of an SIRWS model with waning of immunity and varying immune boosting period
Richmond Opoku-Sarkodie, Ferenc A. Bartha, Mónika Polner +1
SIRS models capture transmission dynamics of infectious diseases for which immunity is not lifelong. Extending these models by a W compartment for individuals with waning immunity,…
Extremizers and stability of the Betke--Weil inequality
Ferenc A. Bartha, Ferenc Bencs, Károly J. Böröczky +1
Let be a compact convex domain in the Euclidean plane. The mixed area of and can be bounded from above by , where is the perimete…
Central diagonal sections of the -cube
Ferenc Bartha, Ferenc Fodor, Bernardo González Merino
We prove that the volume of central hyperplane sections of a unit cube in orthogonal to a diameter of the cube is a strictly monotonically increasing function of the…
Language Support for Adaptation: Intent-Driven Programming in FAST
Yao-Hsiang Yang, Adam Duracz, Ferenc A. Bartha +7
Historically, programming language semantics has focused on assigning a precise mathematical meaning to programs. That meaning is a function from the program's input domain to its…
Compile-Time Extensions to Hybrid ODEs
Yingfu Zeng, Ferenc Bartha, Walid Taha
Reachability analysis for hybrid systems is an active area of development and has resulted in many promising prototype tools. Most of these tools allow users to express hybrid syst…
Local stability implies global stability for the 2-dimensional Ricker map
Ferenc A. Bartha, Ábel Garab, Tibor Krisztin
Consider the difference equation where is a positive parameter and d is a non-negative integer. The case d = 0 was introduced by W.E. Ricker in 1954…