Pierre Ganty
Scholar

Pierre Ganty

Google Scholar ID: j8fTqW0AAAAJ
Associate Research Professor, IMDEA Software Institute
verificationlanguage theoryautomata theory
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,356
 
H-index
20
 
i10-index
33
 
Publications
20
 
Co-authors
40
list available
Contact
No contact links provided.
Publications
1 items
A Myhill-Nerode Characterization and Active Learning for One-Clock Timed Automata
2026
Cited
0
Resume (English only)
Co-authors
40 total
Rupak Majumdar
Rupak Majumdar
MPI for Software Systems
Javier Esparza
Javier Esparza
Professor of Computer Science, Technical University of Munich
Jean-François Raskin
Jean-François Raskin
Université Libre de Bruxelles, U.L.B.
Francesco Ranzato
Francesco Ranzato
Professor of Computer Science, University of Padova, Italy
Jerome Leroux
Jerome Leroux
CNRS researcher, LaBRI, France
Co-author 6
Co-author 6
Giorgio Delzanno
Giorgio Delzanno
Associate Professor, Università di Genova
Stefan Kiefer
Stefan Kiefer
Professor of Computer Science, University of Oxford