 | 2009 |
|---|
| 12 |       | Jennifer M. Davoren:
Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces.
HSCC 2009: 135-149 |
| 11 | | Jennifer M. Davoren:
On intuitionistic modal and tense logics and their classical companion logics: Topological semantics and bisimulations.
Ann. Pure Appl. Logic 161(3): 349-367 (2009) |
| 2007 |
|---|
| 10 | | Jennifer M. Davoren,
Paulo Tabuada:
On Simulations and Bisimulations of General Flow Systems.
HSCC 2007: 145-158 |
| 9 | | Jennifer M. Davoren:
Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics.
LFCS 2007: 162-179 |
| 2004 |
|---|
| 8 | | Jennifer M. Davoren,
Thomas Moor,
Rajeev Goré,
Vaughan Coulthard,
Anil Nerode:
On Two-Sided Approximate Model-Checking: Problem Formulation and Solution via Finite Topologies.
FORMATS/FTRTFT 2004: 52-67 |
| 7 | | Jennifer M. Davoren,
Vaughan Coulthard,
Nicolas Markey,
Thomas Moor:
Non-deterministic Temporal Logics for General Flow Systems.
HSCC 2004: 280-295 |
| 2002 |
|---|
| 6 | | Jennifer M. Davoren,
Thomas Moor,
Anil Nerode:
Hybrid Control Loops, A/D Maps, and Dynamic Specifications.
HSCC 2002: 149-163 |
| 2001 |
|---|
| 5 | | Thomas Moor,
Jennifer M. Davoren:
Robust Controller Synthesis for Hybrid Systems Using Modal Logic.
HSCC 2001: 433-446 |
| 2000 |
|---|
| 4 |  | Jennifer M. Davoren,
Rajeev Goré:
Bimodal Logics for Reasoning About Continuous Dynamics.
Advances in Modal Logic 2000: 91-111 |
| 1999 |
|---|
| 3 | | Jennifer M. Davoren:
Topologies, continuity and bisimulations.
ITA 33(4/5): 357-382 (1999) |
| 1997 |
|---|
| 2 | | Jennifer M. Davoren:
On Hybrid Systems and the Modal µ-calculus.
Hybrid Systems 1997: 38-69 |
| 1 | | Sergei N. Artëmov,
Jennifer M. Davoren,
Anil Nerode:
Topological Semantics for Hybrid Systems.
LFCS 1997: 1-8 |
Data released under the ODC-BY 1.0 license — See also our legal information page