| Publication | Date of Publication | Type |
|---|
| Deformation Modelling for a Physics-Based Perception System | 2022-12-01 | Paper |
| Non-rigid Tracking Using RGB-D Data | 2022-12-01 | Paper |
| Removing ε-transitions in timed automata | 2022-11-09 | Paper |
| Poset properties of complex traces | 2022-08-18 | Paper |
| An integrable model for first-order three-planet mean motion resonances | 2021-11-09 | Paper |
| Asynchronous cellular automata for infinite traces | 2019-12-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4967236 | 2019-07-03 | Paper |
| On the undecidability of deadlock detection in families of nets | 2017-12-04 | Paper |
| On the power of non-observable actions in timed automata | 2017-11-16 | Paper |
| An extension of the wreath product principle for finite Mazurkiewicz traces | 2016-06-09 | Paper |
| Modular constructions of distributing automata | 2010-06-17 | Paper |
| Computer Aided Verification | 2010-04-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5190773 | 2009-07-27 | Paper |
| Intersection of Regular Signal-Event (Timed) Languages | 2008-07-08 | Paper |
| Refinements and Abstractions of Signal-Event (Timed) Languages | 2008-07-08 | Paper |
| Timed substitutions for regular signal-event languages | 2007-10-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5485974 | 2006-09-06 | Paper |
| Updatable timed automata | 2004-11-12 | Paper |
| An algebraic approach to data languages and timed languages | 2003-07-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4807830 | 2003-05-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4791839 | 2003-02-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536359 | 2002-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2754107 | 2001-11-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2743234 | 2001-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2733893 | 2001-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4699318 | 2000-08-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4938626 | 2000-02-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4260375 | 1999-09-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4264103 | 1999-09-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4218111 | 1999-06-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4381400 | 1998-05-12 | Paper |
| Introduction à l'algorithmique des objets partagés | 1997-12-14 | Paper |
| Rational and recognizable complex trace languages | 1995-04-10 | Paper |
| Recognizable trace languages, distributed automata and the distribution problem | 1994-05-10 | Paper |
| An extension of Kleene's and Ochmański's theorems to infinite traces | 1994-04-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4035234 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4036568 | 1993-05-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4031678 | 1993-04-01 | Paper |
| Decidability of the star problem in \(A^*\times{}\{ b\}^*\) | 1993-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3975164 | 1992-06-26 | Paper |
