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

4,791

H-index

36

i10-index

103

Publications

20

Co-authors

46

list available

Contact

No contact links provided.

Publications

1 items

FastSet: Parallel Claim Settlement

2025

Cited

0

Resume (English only)

Co-authors

46 total

Professor of Computer Science, Alexandru Ioan Cuza University, Iasi, RO

Professor of Computer Science, University of Illinois at Urbana-Champaign

Professor of Computer Science, University of California, Berkeley