15
Publications
687
Citations
12
H-Index
1989
Active since
Gérard Ligozat is an author at Université Paris-Sud specializing in engineering, computer science, and automated reasoning.
Top concepts
EngineeringComputer ScienceAutomated ReasoningFormal MethodsDiscrete MathematicsData ScienceTemporal ReasoningFormal VerificationGeographyReasoning
Publications per year
1989–2009
15
15
Rows per page
1–5 of 15