J. M. Davoren

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
MITL verification under timing uncertainty (available as arXiv preprint)	2023-01-18	Paper
Sampling polynomial trajectories for LTL verification Theoretical Computer Science	2021-12-01	Paper
On intuitionistic modal and tense logics and their classical companion logics: topological semantics and bisimulations Annals of Pure and Applied Logic	2011-08-26	Paper
Epsilon-Tubes and Generalized Skorokhod Metrics for Hybrid Paths Spaces Hybrid Systems: Computation and Control	2009-04-30	Paper
On Simulations and Bisimulations of General Flow Systems Hybrid Systems: Computation and Control	2009-03-11	Paper
Topological Semantics and Bisimulations for Intuitionistic Modal Logics and Their Classical Companion Logics Logical Foundations of Computer Science	2008-01-04	Paper
Hybrid Systems: Computation and Control Lecture Notes in Computer Science	2007-09-25	Paper
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems Lecture Notes in Computer Science	2005-08-19	Paper
scientific article; zbMATH DE number 2085322 (Why is no real title available?)	2004-08-09	Paper
scientific article; zbMATH DE number 1989648 (Why is no real title available?)	2003-10-09	Paper
scientific article; zbMATH DE number 1794383 (Why is no real title available?)	2002-09-03	Paper
Topologies, Continuity and Bisimulations RAIRO - Theoretical Informatics and Applications	2000-03-16	Paper
Topologies, Continuity and Bisimulations RAIRO - Theoretical Informatics and Applications	2000-03-16	Paper
scientific article; zbMATH DE number 1301613 (Why is no real title available?)	2000-01-12	Paper

Research outcomes over time

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