| 2019 | MICCAI | Physics-Based Deep Neural Network for Augmented Reality During Liver Surgery. | Jean-Nicolas Brunet, Andrea Mendizabal, Antoine Petit, Nicolas Golse, Eric Vibert, Stphane Cotin |
| 2018 | IROS | Capturing Deformations of Interacting Non-rigid Objects Using RGB-D Data. | Antoine Petit, Stephane Cotin, Vincenzo Lippiello, Bruno Siciliano |
| 2018 | IROS | FEM-Based Deformation Control for Dexterous Manipulation of 3D Soft Objects. | Fanny Ficuciello, A. Migliozzi, Eulalie Coevoet, Antoine Petit, Christian Duriez |
| 2017 | ICINCO | Using Physical Modeling and RGB-D Registration for Contact Force Sensing on Deformable Objects. | Antoine Petit, Fanny Ficuciello, Giuseppe Andrea Fontanelli, Luigi Villani, Bruno Siciliano |
| 2017 | ISMAR | Deformed Reality: Proof of Concept and Preliminary Results. | Nazim Haouchine, Antoine Petit, Frdrick Roy, Stephane Cotin |
| 2015 | ICRA | 3D object pose detection using foreground/background segmentation. | Antoine Petit, ric Marchand, Rafiq Sekkal, Keyvan Kanani |
| 2015 | IROS | Real-time tracking of 3D elastic objects with an RGB-D sensor. | Antoine Petit, Vincenzo Lippiello, Bruno Siciliano |
| 2014 | ICRA | Combining complementary edge, keypoint and color features in model-based tracking for highly dynamic scenes. | Antoine Petit, ric Marchand, Keyvan Kanani |
| 2013 | IROS | A robust model-based tracker combining geometrical and color edge information. | Antoine Petit, ric Marchand, Keyvan Kanani |
| 2013 | ISMAR | Augmenting markerless complex 3D objects by combining geometrical and color edge information. | Antoine Petit, ric Marchand, Keyvan Kanani |
| 2012 | IROS | Tracking complex targets for space rendezvous and debris removal applications. | Antoine Petit, ric Marchand, Keyvan Kanani |
| 2011 | IROS | Vision-based space autonomous rendezvous: A case study. | Antoine Petit, ric Marchand, Keyvan Kanani |
| 2003 | CAV | Timed Control with Partial Observability. | Patricia Bouyer, Deepak D'Souza, P. Madhusudan, Antoine Petit |
| 2001 | CONCUR | An Algebraic Characterization of Data and Timed Languages. | Patricia Bouyer, Antoine Petit, Denis Thrien |
| 2000 | CAV | Are Timed Automata Updatable? | Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit |
| 2000 | MFCS | Expressiveness of Updatable Timed Automata. | Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit |
| 2000 | SMC | Towards the automatic verification of PLC programs written in Instruction List. | Graud Canet, Sandrine Couffin, Jean-Jacques Lesage, Antoine Petit, Philippe Schnoebelen |
| 1999 | ICALP | Decomposition and Composition of Timed Automata. | Patricia Bouyer, Antoine Petit |
| 1998 | MFCS | A (Non-elementary) Modular Decision Procedure for LTrL. | Paul Gastin, Raphal Meyer, Antoine Petit |
| 1998 | STACS | Expressive Completeness of LTrL on Finite Traces: An Algebraic Proof. | Raphal Meyer, Antoine Petit |
| 1997 | MFCS | Decomposition of TrPTL Formulas. | Raphal Meyer, Antoine Petit |
| 1997 | STACS | Removing epsilon-Transitions in Timed Automata. | Volker Diekert, Paul Gastin, Antoine Petit |
| 1996 | STACS | On the Power of Non-Observable Actions in Timed Automata. | Batrice Brard, Paul Gastin, Antoine Petit |
| 1995 | DLT | Recent Developments in Trace Theory. | Volker Diekert, Paul Gastin, Antoine Petit |
| 1995 | MFCS | Modular Constructions of Distributing Automata. | Sbastien Huguet, Antoine Petit |
| 1995 | STACS | On the Undecidability of Deadlock Detection in Families of Nets. | Anne-Ccile Fabret, Antoine Petit |
| 1993 | MFCS | Speedup of Recognizable Trace Languages. | Christophe Crin, Antoine Petit |
| 1992 | ICALP | Asynchronous Cellular Automata for Infinite Traces. | Paul Gastin, Antoine Petit |
| 1992 | MFCS | Poset Properties of Complex Traces. | Paul Gastin, Antoine Petit |
| 1991 | ICALP | A Kleene Theorem for Infinite Trace Languages. | Paul Gastin, Antoine Petit, Wieslaw Zielonka |
| 1991 | MFCS | Recognizable Complex Trace Languages. | Volker Diekert, Paul Gastin, Antoine Petit |
| 1991 | STACS | Detection of Deadlocks in an Infinite Family of Nets. | Joffroy Beauquier, Annie Choquet, Antoine Petit, Guy Vidal-Naquet |
| 1989 | MFCS | Characterization of Recognizable Trace Languages by Distributed Automata (Extended Abstract). | Antoine Petit |
| 1988 | MFCS | Distribution of Sequential Processes. | Joffroy Beauquier, Antoine Petit |
| 1985 | STACS | Deterministic Languages and Non-Generators. | Luc Boasson, Antoine Petit |