17
Publications
414
Citations
12
H-Index
1998
Active since
Jean-François Condotta is an author at Centre National de la Recherche Scientifique specializing in engineering, automated reasoning, and computer science.
Top concepts
EngineeringComputer ScienceAutomated ReasoningFormal MethodsData ScienceVerificationFormal VerificationMathematical ProgrammingGraph TheoryNetwork Analysis
Publications per year
1998–2017
17
17
Rows per page
1–5 of 17