Scholar
Pierre Ganty
Google Scholar ID: j8fTqW0AAAAJ
Associate Research Professor, IMDEA Software Institute
verification
language theory
automata theory
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,356
H-index
20
i10-index
33
Publications
20
Co-authors
40
list available
Publications
1 items
A Myhill-Nerode Characterization and Active Learning for One-Clock Timed Automata
2026
Cited
0
Co-authors
13 total
Rupak Majumdar
MPI for Software Systems
Javier Esparza
Professor of Computer Science, Technical University of Munich
Jean-François Raskin
Université Libre de Bruxelles, U.L.B.
Francesco Ranzato
Professor of Computer Science, University of Padova, Italy
Jerome Leroux
CNRS researcher, LaBRI, France
Giorgio Delzanno
Associate Professor, Università di Genova
Stefan Kiefer
Professor of Computer Science, University of Oxford
Boris Köpf
Azure Research, Microsoft
