On Hybrid Systems and the Modal µ-calculus. - Jennifer M. Davoren (Hybrid Systems, 1997)

Topological Semantics for Hybrid Systems. - Sergei N. Artëmov; Jennifer M. Davoren; Anil Nerode (LFCS, 1997)

Topologies, continuity and bisimulations. - Jennifer M. Davoren (RAIRO Theor. Informatics Appl., 1999)

Bimodal Logics for Reasoning About Continuous Dynamics. - Jennifer M. Davoren; Rajeev Goré (Advances in Modal Logic, 2000)

Logics for hybrid systems. - Jennifer M. Davoren; Anil Nerode (Proc. IEEE, 2000)

Computational advantages of a two-level hybrid control architecture. - Thomas Moor; Jörg Raisch; Jennifer M. Davoren (CDC, 2001)

Modular supervisory control of a class of hybrid systems in a behavioural framework. - Thomas Moor; Jennifer M. Davoren; Jörg Raisch (ECC, 2001)

Robust Controller Synthesis for Hybrid Systems Using Modal Logic. - Thomas Moor; Jennifer M. Davoren (HSCC, 2001)

Robust hybrid control from a behavioural perspective. - Thomas Moor; Jennifer M. Davoren; Brian D. O. Anderson (CDC, 2002)

Hybrid Control Loops, A/D Maps, and Dynamic Specifications. - Jennifer M. Davoren; Thomas Moor; Anil Nerode (HSCC, 2002)

Admissibility Criteria for a Hierarchical Design of Hybrid Control Systems1. - Thomas Moor; Jörg Raisch; Jennifer M. Davoren (ADHS, 2003)

On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies. - Jennifer M. Davoren; Thomas Moor; Rajeev Goré; Vaughan Coulthard; Anil Nerode (FORMATS/FTRTFT, 2004)

Non-deterministic Temporal Logics for General Flow Systems. - Jennifer M. Davoren; Vaughan Coulthard; Nicolas Markey; Thomas Moor (HSCC, 2004)

Non-Deterministic Reactive Systems, from Hybrid Systems and Behavioural Systems Perspectives. - Jennifer M. Davoren; Thomas Moor (ADHS, 2006)

On Simulations and Bisimulations of General Flow Systems. - Jennifer M. Davoren; Paulo Tabuada (HSCC, 2007)

Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics. - Jennifer M. Davoren (LFCS, 2007)

Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces. - Jennifer M. Davoren (HSCC, 2009)

On intuitionistic modal and tense logics and their classical companion logics: Topological semantics and bisimulations. - Jennifer M. Davoren (Ann. Pure Appl. Log., 2009)