Hybrid programs combine digital control with differential equations, and naturally appear in
a wide range of application domains, from biology and control theory to real-time software …

Hybrid computation harbours discrete and continuous dynamics in the form of an entangled
mixture, inherently present in various natural phenomena and in applications ranging from …

Notions of guardedness serve to delineate admissible recursive definitions in various
settings in a compositional manner. In recent work, we have introduced an axiomatic notion …

Notions of iteration range from the arguably most general Elgot iteration to a very specific
Kleene iteration. The fundamental nature of Elgot iteration has been extensively explored by …

With hybrid systems becoming ever more pervasive, the underlying semantic challenges
emerge in their entirety. The need for principled semantic foundations has been recognized …

Hybrid programs combine digital control with differential equations, and naturally appear in
a wide range of application domains, from biology and control theory to real-time software …

Hybrid programs combine classical program constructs with differential equations, and thus
naturally appear in a wide range of application domains, from biology and control theory to …

An Adequate Semantics for Hybrid While Page 1 An Adequate Semantics for Hybrid While
Sergey Goncharova Renato Nevesb QAPL/ETAPS 2019, April 6, Prague aFriedrich-Alexander-Universität …

Towards Coherence for Guarded Traces Page 1 Towards Coherence for Guarded Traces
Sergey Goncharova Lutz Schrödera Paul Blain Levyb January, 7, 2019, Birmingham TCS …

Hybrid computation harbours discrete and continuous dynamics in the form of an entangled
mixture, inherently present in various natural phenomena and in applications ranging from …