Antoine Petit

Available identifiers

zbMath Open petit.antoine-cMaRDI QIDQ1201864

List of research outcomes

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/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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Antoine Petit