Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Petit, Antoine
add a person with the name Petit, Antoine
 

Other publications of authors with the same name

Introduction à l'algorithmique des objets partagés., , and . ITA, 31 (2): 97-148 (1997)Recognizable Complex Trace Languages., , and . MFCS, volume 520 of Lecture Notes in Computer Science, page 131-140. Springer, (1991)Detection of Deadlocks in an Infinite Family of Nets., , , and . STACS, volume 480 of Lecture Notes in Computer Science, page 334-347. Springer, (1991)Expressive Completeness of LTrL on Finite Traces: An Algebraic Proof., and . STACS, volume 1373 of Lecture Notes in Computer Science, page 533-543. Springer, (1998)Intersection of Regular Signal-Event (Timed) Languages., , and . FORMATS, volume 4202 of Lecture Notes in Computer Science, page 52-66. Springer, (2006)Recognizable Trace Languages, Distributed Automata and the Distribution Problem.. Acta Inf., 30 (1): 89-101 (1993)An Extension of the Wreath Product Principle for Finite Mazurkiewicz Traces., , , and . Inf. Process. Lett., 67 (6): 277-282 (1998)Towards the automatic verification of PLC programs written in Instruction List., , , , and . SMC, page 2449-2454. IEEE, (2000)3D object pose detection using foreground/background segmentation., , , and . ICRA, page 1858-1865. IEEE, (2015)Deformed Reality: Proof of Concept and Preliminary Results., , , and . ISMAR Adjunct, page 166-167. IEEE Computer Society, (2017)