Sergio Yovine
Scholar

Sergio Yovine

Google Scholar ID: IFVbNzUAAAAJ
Universidad ORT Uruguay
Timed automataParallel programmingHybrid systemsModel checkingMachine learning
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
12,645
 
H-index
40
 
i10-index
72
 
Publications
20
 
Co-authors
34
list available
Contact
No contact links provided.
Publications
1 items
Minimality of Random Moore Automata under Prefix-Dependent Congruences
2026
Cited
0
Resume (English only)
Co-authors
34 total
Joseph Sifakis
Joseph Sifakis
Reseracher at Verimag laboratory, Grenoble
Stavros Tripakis
Stavros Tripakis
Associate Professor, Northeastern University
Thomas Henzinger
Thomas Henzinger
IST Austria
Co-author 4
Co-author 4
Diego Garbervetsky
Diego Garbervetsky
Department of Computer Science, Universidad de Buenos Aires. ICC-CONICET
George Pappas
George Pappas
UPS Foundation Professor, Electrical and Systems Engineering, University of Pennsylvania
Co-author 7
Co-author 7
Co-author 8
Co-author 8