Statistics
Publications
147
Citations
25.3K
H-Index
62
Active since
1989
Rajeev Alur is an author at University of Pennsylvania specializing in computer science, computing, and formal methods.
Publications per year
1989–2025
147
147
Rajeev Alur, David L. Dill · Theoretical Computer Science · 1994 · 6.5K citations
The algorithmic analysis of hybrid systems
Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs et al. · Theoretical Computer Science · 1995 · 1.9K citations · Full text
Alternating-time temporal logic
Rajeev Alur, Thomas A. Henzinger, Orna Kupferman · Journal of the ACM · 2002 · 1.4K citations
Model-checking for real-time systems
Rajeev Alur, Costas Courcoubetis, David L. Dill · 2002 · 894 citations
Model-Checking in Dense Real-Time
Rajeev Alur, Costas Courcoubetis, David L. Dill · Information and Computation · 1993 · 829 citations
1–5 of 147