J. M. Davoren

From MaRDI portal
Person:636274

Available identifiers

zbMath Open davoren.jennifer-mMaRDI QIDQ636274

List of research outcomes





PublicationDate of PublicationType
MITL verification under timing uncertainty2023-01-18Paper
Sampling polynomial trajectories for LTL verification2021-12-01Paper
On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations2011-08-26Paper
Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces2009-04-30Paper
On Simulations and Bisimulations of General Flow Systems2009-03-11Paper
Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics2008-01-04Paper
Hybrid Systems: Computation and Control2007-09-25Paper
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems2005-08-19Paper
https://portal.mardi4nfdi.de/entity/Q47365812004-08-09Paper
https://portal.mardi4nfdi.de/entity/Q44303952003-10-09Paper
https://portal.mardi4nfdi.de/entity/Q45524842002-09-03Paper
Topologies, Continuity and Bisimulations2000-03-16Paper
https://portal.mardi4nfdi.de/entity/Q42468112000-01-12Paper

Research outcomes over time

This page was built for person: J. M. Davoren

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:636274&oldid=7273585"
Powered by MediaWiki