Fabrice Chevalier

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
Automata and logics over signals Modern Applications of Automata Theory	2013-02-26	Paper
Weighted o-minimal hybrid systems Annals of Pure and Applied Logic	2011-08-26	Paper
Automata and logics over finitely varying functions Annals of Pure and Applied Logic	2011-08-26	Paper
O-minimal hybrid reachability games Logical Methods in Computer Science	2010-03-15	Paper
On the expressiveness of TPTL and MTL Information and Computation	2010-02-26	Paper
scientific article; zbMATH DE number 5605088 (Why is no real title available?)	2009-09-19	Paper
Counter-Free Input-Determined Timed Automata Lecture Notes in Computer Science	2008-07-03	Paper
On Continuous Timed Automata with Input-Determined Guards FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science	2008-04-17	Paper
scientific article; zbMATH DE number 5228180 (Why is no real title available?)	2008-01-18	Paper
Weighted O-Minimal Hybrid Systems Are More Decidable Than Weighted Timed Automata! Logical Foundations of Computer Science	2008-01-04	Paper
Controller Synthesis for MTL Specifications CONCUR 2006 – Concurrency Theory	2007-09-04	Paper
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science Lecture Notes in Computer Science	2006-11-14	Paper
Foundations of Software Science and Computational Structures Lecture Notes in Computer Science	2005-11-10	Paper

Research outcomes over time

This page was built for person: Fabrice Chevalier