Top1000 Scholar

Scholarly Index

Grigore Roşu

University of Illinois Urbana-Champaign; 7,661 total citations; 230 total publications; best world rank #24

University of Illinois Urbana-Champaign

7,661Total citations
230Total publications
46H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, programming, and type systemsLifetime24US 1899.36
Formal Methods in VerificationLifetime43US 2799.31
Software Testing and Debugging TechniquesLifetime81US 4699.01
Security and Verification in ComputingLifetime70US 4198.59
Parallel Computing and Optimization TechniquesLifetime744US 45497.37
Advanced Software Engineering MethodologiesLifetime375US 9696.68
Logic, Reasoning, and KnowledgeLifetime270US 8296.38
Distributed systems and fault toleranceLifetime602US 34596.12
Software System Performance and ReliabilityLifetime543US 19295.82
Software Reliability and Analysis ResearchLifetime623US 18895.07
Software Engineering ResearchLifetime945US 30294.92
Real-Time Systems SchedulingLifetime780US 23691.54
Advanced Algebra and LogicLifetime831US 19990.04
Logic, programming, and type systems2021-2025358US 6963.60
Formal Methods in Verification2021-2025687US 14461.00