| 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 | 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 | 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 | 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 | 2017-01-19 | Paper |
| Timed regular expressions | 2015-10-30 | Paper |
| Timed Pattern Matching | 2015-08-06 | Paper |
| Entropy of regular timed languages | 2015-05-04 | Paper |
| Balanced timed regular expressions | 2013-08-16 | Paper |
| Spectral Gap in Timed Automata | 2013-08-16 | Paper |
| Toward a Timed Theory of Channel Coding | 2012-11-21 | Paper |
| Generating Functions of Timed Languages | 2012-09-25 | Paper |
| Two size measures for timed languages | 2012-08-29 | Paper |
| Low dimensional hybrid systems -- decidable, undecidable, don't know | 2012-05-24 | Paper |
| Thin and Thick Timed Regular Languages | 2011-10-07 | Paper |
| Verification of Timed Automata via Satisfiability Checking | 2011-04-08 | Paper |
| Using Redundant Constraints for Refinement | 2010-10-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3568124 | 2010-06-17 | Paper |
| Fair Adversaries and Randomization in Two-Player Games | 2010-04-27 | Paper |
| On the computation of covert channel capacity | 2010-03-12 | Paper |
| Volume and entropy of regular timed languages: analytic approach | 2009-12-01 | Paper |
| Volume and Entropy of Regular Timed Languages: Discretization Approach | 2009-10-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3396001 | 2009-09-15 | Paper |
| Algorithmic analysis of polygonal hybrid systems. II: Phase portrait and tools | 2008-03-05 | Paper |
| Attenuation Regulation as a Term Rewriting System | 2007-11-29 | Paper |
| Hybrid Systems: Computation and Control | 2007-09-25 | Paper |
| Algorithmic analysis of polygonal hybrid systems. I: Reachability | 2007-07-16 | Paper |
| Hybridization methods for the analysis of nonlinear systems | 2007-03-05 | Paper |
| Scheduling with timed automata | 2006-04-28 | Paper |
| Automata, Languages and Programming | 2006-01-10 | Paper |
| Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems | 2005-08-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736573 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417974 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4417926 | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4484488 | 2003-06-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4806207 | 2003-05-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4806208 | 2003-05-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4552459 | 2002-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4552458 | 2002-09-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754104 | 2001-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4249561 | 2001-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4953376 | 2000-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4251920 | 1999-09-23 | Paper |
| Achilles and the tortoise climbing up the arithmetical hierarchy | 1999-04-26 | Paper |
| Reachability analysis of dynamical systems having piecewise-constant derivatives | 1997-09-29 | Paper |
