K
v
ire
.com
←
Back
Night
Docs
Library
Review
…
Author
Rajeev Alur
also known as Alur, Rajeev, R ALUR, R. Alur
California University of Pennsylvania · Ben-Gurion University of the Negev · AT&T (United States) · Alcatel Lucent (Germany)
About this author
Works
408
Cited by
37,981
h-index
82
i10
245
ORCID ↗
Top papers
A theory of timed automata
Rajeev Alur, David L. Dill
·
1994
·
Theoretical Computer Science
↗ 6,445
A Temporal Logic of Nested Calls and Returns
Rajeev Alur, Kousha Etessami, P. Madhusudan
·
2004
·
Lecture notes in computer science
↗ 3,337
The algorithmic analysis of hybrid systems
Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, et al.
·
1995
·
Theoretical Computer Science
↗ 1,874
OA
Alternating-time temporal logic
Rajeev Alur, Thomas A. Henzinger, Orna Kupferman
·
2002
·
Journal of the ACM
↗ 1,409
Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
Rajeev Alur, Costas Courcoubetis, Thomas A. Henzinger, et al.
·
1993
·
Lecture notes in computer science
↗ 1,100
Model-checking for real-time systems
Rajeev Alur, Costas Courcoubetis, David L. Dill
·
2002
↗ 894
Automata for modeling real-time systems
Rajeev Alur, David L. Dill
·
2005
·
Lecture notes in computer science
↗ 894
Model-Checking in Dense Real-Time
Rajeev Alur, Costas Courcoubetis, David L. Dill
·
1993
·
Information and Computation
↗ 828
Discrete abstractions of hybrid systems
Rajeev Alur, Thomas A. Henzinger, Gerardo Lafferriere, et al.
·
2000
·
Proceedings of the IEEE
↗ 816
OA
Logics and models of real time: A survey
Rajeev Alur, Thomas A. Henzinger
·
1992
·
Lecture notes in computer science
↗ 555
Visibly pushdown languages
Rajeev Alur, P. Madhusudan
·
2004
↗ 552
OA
Reactive Modules
Rajeev Alur, Thomas A. Henzinger
·
1999
·
Formal Methods in System Design
↗ 540
Books
Principles of Cyber-Physical Systems
2015
·
MIT Press
Embedded Software
2003
·
Springer
Hybrid systems
2004
·
Springer
Hybrid Systems : Computation and Control
2004
·
Springer London, Limited
Computer aided verification
2004
·
Springer