Grigore Rosu
Scholar

Grigore Rosu

Google Scholar ID: yxpqbdQAAAAJ
University of Illinois at Urbana Champaign
Formal MethodsProgramming LanguagesSoftware EngineeringRuntime Verification
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
16,556
 
H-index
68
 
i10-index
212
 
Publications
20
 
Co-authors
46
list available
Contact
No contact links provided.
Publications
2 items
Circular Induction
2026
Cited
0
FastSet: Parallel Claim Settlement
2025
Cited
0
Resume (English only)
Co-authors
46 total
Co-author 1
Co-author 1
Co-author 2
Co-author 2
Dorel Lucanu
Dorel Lucanu
Professor of Computer Science, Alexandru Ioan Cuza University, Iasi, RO
Co-author 4
Co-author 4
Jose Meseguer
Jose Meseguer
Professor of Computer Science, University of Illinois at Urbana-Champaign
Co-author 6
Co-author 6
Koushik Sen
Koushik Sen
Professor of Computer Science, University of California, Berkeley
Co-author 8
Co-author 8