Antoine Petit - Concepedia

Author

Antoine Petit

Institut national de recherche en sciences et technologies du numérique ORCID

Also Known As

A. Petit, Alain Petit, Antoine Petit, Petit, A., Petit, Antoine

102

Publications

2.5K

Citations

H-Index

Concepts

All Affiliations

Institut national de recherche en sciences et technologies du numérique Centre National de la Recherche Scientifique Centre Inria de l'Université de Rennes Université de Rennes Institut de Recherche en Informatique et Systèmes Aléatoires

About

Antoine Petit is an author at Institut national de recherche en sciences et technologies du numérique specializing in engineering, robotics, and field robotics.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	16	20	971
2	Natural Sciences	7	7	211
3	Computer Engineering	3	3	193
4	Health Sciences	1	1	83
5	Language Studies	1	1	12

Antoine Petit

Publications

1.1K

Citations

H-Index

Page 1

	Year	Citations
Characterization of the Expressive Power of Silent Transitions in Timed Automata Béatrice Bérard, Antoine Petit, Volker Diekert, Fundamenta Informaticae EngineeringTimed LanguagesPushdown AutomatonFormal VerificationSilent Transitions	1998	142
Towards the automatic verification of PLC programs written in Instruction List Géraud Canet, S. Couffin, Jean-Jacques Lesage, Program CheckingEngineeringVerificationComputer-aided VerificationSoftware Engineering	2002	120
Updatable timed automata Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Theoretical Computer Science Logical AutomatonEngineeringAutomated ReasoningVerificationFormal Methods	2004	103
Augmented Reality during Open Liver Surgery Using a Markerless Non-rigid Registration System Nicolas Golse, Antoine Petit, M. Lewin, Journal of Gastrointestinal Surgery EngineeringComputer-assisted SurgeryMedical ImagingOpen Liver SurgeryRobotic Technology	2020	83
An algebraic approach to data languages and timed languages Patricia Bouyer, Antoine Petit, Denis Thérien Information and Computation Programming Language TheoryEngineeringProgram AnalysisFormal MethodsComputer Science	2003	71
Real-time tracking of 3D elastic objects with an RGB-D sensor Antoine Petit, Vincenzo Lippiello, Bruno Siciliano EngineeringHuman Pose Estimation3D Pose EstimationMechanical EngineeringField Robotics	2015	60
Tracking elastic deformable objects with an RGB-D sensor for a pizza chef robot Antoine Petit, Vincenzo Lippiello, Giuseppe Andrea Fontanelli, Robotics and Autonomous Systems Robot KinematicsMachine VisionSoft RoboticsEngineeringMechanics	2016	58
Tracking complex targets for space rendezvous and debris removal applications Antoine Petit, Éric Marchand, Keyvan Kanani EngineeringField RoboticsMulti-view GeometrySpace DebrisSatellite Debris	2012	55
Vision-based space autonomous rendezvous: A case study Antoine Petit, Éric Marchand, Keyvan Kanani 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems EngineeringSpace RoboticsAerospace EngineeringOdometryVisual Servoing	2011	48
Vision-based space autonomous rendezvous: A case study Antoine Petit, Éric Marchand, Keyvan Kanani 2011 IEEE/RSJ International Conference on Intelligent Robots and Systems EngineeringSpace RoboticsAerospace EngineeringOdometryVisual Servoing	2011	44

Page 1