31
Publications
865
Citations
18
H-Index
1997
Active since
Olivier Carton is an author at Laboratoire d'Informatique Gaspard-Monge specializing in engineering, formal methods, and automated reasoning.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated ReasoningLinguisticsLanguageMaterial ScienceApplied PhysicsFormal VerificationComputational Complexity
Publications per year
1997–2017
31
31
Rows per page
1–5 of 31