| Publication | Date of Publication | Type |
|---|
Deformation modelling for a physics-based perception system
Springer Tracts in Advanced Robotics | 2022-12-01 | Paper |
Non-rigid tracking using RGB-D data
Springer Tracts in Advanced Robotics | 2022-12-01 | Paper |
Removing \(\epsilon \)-transitions in timed automata
Lecture Notes in Computer Science | 2022-11-09 | Paper |
Poset properties of complex traces
Mathematical Foundations of Computer Science 1992 | 2022-08-18 | Paper |
An integrable model for first-order three-planet mean motion resonances
Celestial Mechanics and Dynamical Astronomy | 2021-11-09 | Paper |
Asynchronous cellular automata for infinite traces
Automata, Languages and Programming | 2019-12-04 | Paper |
| scientific article; zbMATH DE number 7075936 (Why is no real title available?) | 2019-07-03 | Paper |
On the undecidability of deadlock detection in families of nets
STACS 95 | 2017-12-04 | Paper |
On the power of non-observable actions in timed automata
STACS 96 | 2017-11-16 | Paper |
An extension of the wreath product principle for finite Mazurkiewicz traces
Information Processing Letters | 2016-06-09 | Paper |
Modular constructions of distributing automata
Lecture Notes in Computer Science | 2010-06-17 | Paper |
Timed control with partial observability.
Lecture Notes in Computer Science | 2010-04-20 | Paper |
| scientific article; zbMATH DE number 5587265 (Why is no real title available?) | 2009-07-27 | Paper |
Intersection of Regular Signal-Event (Timed) Languages
Lecture Notes in Computer Science | 2008-07-08 | Paper |
Refinements and Abstractions of Signal-Event (Timed) Languages
Lecture Notes in Computer Science | 2008-07-08 | Paper |
Timed substitutions for regular signal-event languages
Formal Methods in System Design | 2007-10-11 | Paper |
| scientific article; zbMATH DE number 5051547 (Why is no real title available?) | 2006-09-06 | Paper |
Updatable timed automata
Theoretical Computer Science | 2004-11-12 | Paper |
An algebraic approach to data languages and timed languages
Information and Computation | 2003-07-29 | Paper |
| scientific article; zbMATH DE number 1916671 (Why is no real title available?) | 2003-05-26 | Paper |
| scientific article; zbMATH DE number 1863168 (Why is no real title available?) | 2003-02-03 | Paper |
| scientific article; zbMATH DE number 1759410 (Why is no real title available?) | 2002-11-04 | Paper |
| scientific article; zbMATH DE number 1670795 (Why is no real title available?) | 2001-11-11 | Paper |
scientific article; zbMATH DE number 1652000 (Why is no real title available?)
SCOPOS | 2001-09-27 | Paper |
| scientific article; zbMATH DE number 1633145 (Why is no real title available?) | 2001-08-12 | Paper |
| scientific article; zbMATH DE number 1361499 (Why is no real title available?) | 2000-08-03 | Paper |
| scientific article; zbMATH DE number 1405646 (Why is no real title available?) | 2000-02-23 | Paper |
| scientific article; zbMATH DE number 1333602 (Why is no real title available?) | 1999-09-19 | Paper |
| scientific article; zbMATH DE number 1337733 (Why is no real title available?) | 1999-09-16 | Paper |
| scientific article; zbMATH DE number 1222573 (Why is no real title available?) | 1999-06-21 | Paper |
| scientific article; zbMATH DE number 1136089 (Why is no real title available?) | 1998-05-12 | Paper |
Introduction à l'algorithmique des objets partagés
RAIRO - Theoretical Informatics and Applications | 1997-12-14 | Paper |
Rational and recognizable complex trace languages
Information and Computation | 1995-04-10 | Paper |
Recognizable trace languages, distributed automata and the distribution problem
Acta Informatica | 1994-05-10 | Paper |
An extension of Kleene's and Ochmański's theorems to infinite traces
Theoretical Computer Science | 1994-04-05 | Paper |
| scientific article; zbMATH DE number 176133 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 176739 (Why is no real title available?) | 1993-05-18 | Paper |
| scientific article; zbMATH DE number 150524 (Why is no real title available?) | 1993-04-01 | Paper |
Decidability of the star problem in \(A^*\times{}\{ b\}^*\)
Information Processing Letters | 1993-01-17 | Paper |
| scientific article; zbMATH DE number 17820 (Why is no real title available?) | 1992-06-26 | Paper |
