| Publication | Date of Publication | Type |
|---|
Computing the bandwidth of meager timed automata
| 2025-01-20 | Paper |
Pattern Matching and Parameter Identification for Parametric Timed Regular Expressions
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Bounded delay timed channel coding
| 2023-01-18 | Paper |
On the complexity of timed pattern matching
| 2022-03-24 | Paper |
Online timed pattern matching using derivatives
| 2019-09-17 | Paper |
On some relations between dynamical systems and transition systems
Automata, Languages and Programming | 2019-04-29 | Paper |
Online timed pattern matching using automata
| 2018-12-06 | Paper |
Distance on timed words and applications
| 2018-12-06 | Paper |
Asymptotic behaviour in temporal logic
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) | 2018-04-23 | Paper |
Entropy Games and Matrix Multiplication Games
| 2018-01-24 | Paper |
Combining the temporal and epistemic dimensions for MTL monitoring
| 2017-12-01 | Paper |
Achilles and the tortoise climbing up the arithmetical hierarchy
Lecture Notes in Computer Science | 2017-01-19 | Paper |
Timed regular expressions
Journal of the ACM | 2015-10-30 | Paper |
Timed pattern matching
Lecture Notes in Computer Science | 2015-08-06 | Paper |
Entropy of regular timed languages
Information and Computation | 2015-05-04 | Paper |
Balanced timed regular expressions
| 2013-08-16 | Paper |
Spectral gap in timed automata
Lecture Notes in Computer Science | 2013-08-16 | Paper |
Toward a timed theory of channel coding
Lecture Notes in Computer Science | 2012-11-21 | Paper |
Generating Functions of Timed Languages
Mathematical Foundations of Computer Science 2012 | 2012-09-25 | Paper |
Two size measures for timed languages
| 2012-08-29 | Paper |
Low dimensional hybrid systems -- decidable, undecidable, don't know
Information and Computation | 2012-05-24 | Paper |
Thin and thick timed regular languages
Lecture Notes in Computer Science | 2011-10-07 | Paper |
Verification of timed automata via satisfiability checking
Lecture Notes in Computer Science | 2011-04-08 | Paper |
Using redundant constraints for refinement
Automated Technology for Verification and Analysis | 2010-10-04 | Paper |
scientific article; zbMATH DE number 5722781 (Why is no real title available?)
| 2010-06-17 | Paper |
Fair adversaries and randomization in two-player games
Foundations of Software Science and Computational Structures | 2010-04-27 | Paper |
On the computation of covert channel capacity
RAIRO - Theoretical Informatics and Applications | 2010-03-12 | Paper |
Volume and entropy of regular timed languages: analytic approach
Lecture Notes in Computer Science | 2009-12-01 | Paper |
Volume and Entropy of Regular Timed Languages: Discretization Approach
CONCUR 2009 - Concurrency Theory | 2009-10-22 | Paper |
scientific article; zbMATH DE number 5604117 (Why is no real title available?)
| 2009-09-15 | Paper |
Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools
Theoretical Computer Science | 2008-03-05 | Paper |
Attenuation Regulation as a Term Rewriting System
Algebraic Biology | 2007-11-29 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2007-09-25 | Paper |
Algorithmic analysis of polygonal hybrid systems. I: Reachability
Theoretical Computer Science | 2007-07-16 | Paper |
Hybridization methods for the analysis of nonlinear systems
Acta Informatica | 2007-03-05 | Paper |
Scheduling with timed automata
Theoretical Computer Science | 2006-04-28 | Paper |
Automata, Languages and Programming
Lecture Notes in Computer Science | 2006-01-10 | 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 2085315 (Why is no real title available?)
| 2004-08-09 | Paper |
scientific article; zbMATH DE number 1956619 (Why is no real title available?)
| 2003-07-30 | Paper |
scientific article; zbMATH DE number 1956584 (Why is no real title available?)
| 2003-07-30 | Paper |
scientific article; zbMATH DE number 1927563 (Why is no real title available?)
| 2003-06-12 | Paper |
scientific article; zbMATH DE number 1905117 (Why is no real title available?)
| 2003-05-21 | Paper |
scientific article; zbMATH DE number 1905118 (Why is no real title available?)
| 2003-05-21 | Paper |
scientific article; zbMATH DE number 1794363 (Why is no real title available?)
| 2002-09-03 | Paper |
scientific article; zbMATH DE number 1794362 (Why is no real title available?)
| 2002-09-03 | Paper |
scientific article; zbMATH DE number 1670792 (Why is no real title available?)
| 2001-11-11 | Paper |
scientific article; zbMATH DE number 1303059 (Why is no real title available?)
| 2001-01-11 | Paper |
scientific article; zbMATH DE number 1444339 (Why is no real title available?)
| 2000-06-21 | Paper |
scientific article; zbMATH DE number 1304998 (Why is no real title available?)
| 1999-09-23 | Paper |
Achilles and the tortoise climbing up the arithmetical hierarchy
Journal of Computer and System Sciences | 1999-04-26 | Paper |
Reachability analysis of dynamical systems having piecewise-constant derivatives
Theoretical Computer Science | 1997-09-29 | Paper |
