Scholar
Sergio Yovine
Google Scholar ID: IFVbNzUAAAAJ
Universidad ORT Uruguay
Timed automata
Parallel programming
Hybrid systems
Model checking
Machine learning
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
12,645
H-index
40
i10-index
72
Publications
20
Co-authors
34
list available
Publications
1 items
Minimality of Random Moore Automata under Prefix-Dependent Congruences
2026
Cited
0
Co-authors
10 total
Joseph Sifakis
Reseracher at Verimag laboratory, Grenoble
Stavros Tripakis
Associate Professor, Northeastern University
Thomas Henzinger
IST Austria
Diego Garbervetsky
Department of Computer Science, Universidad de Buenos Aires. ICC-CONICET
George Pappas
UPS Foundation Professor, Electrical and Systems Engineering, University of Pennsylvania
Eugene Asarin
professeur d'informatique, IRIF, Université Paris Cité
Costas Courcoubetis
Professor in SDS, CUHK Shenzhen
Rajeev Alur
Zisman Family Professor of Computer and Information Science, University of Pennsylvania
