D-Index & Metrics Best Publications

D-Index & Metrics D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines.

Discipline name D-index D-index (Discipline H-index) only includes papers and citation values for an examined discipline in contrast to General H-index which accounts for publications across all disciplines. Citations Publications World Ranking National Ranking
Computer Science D-index 96 Citations 54,793 358 World Ranking 255 National Ranking 158

Research.com Recognitions

Awards & Achievements

2016 - Fellow of the American Association for the Advancement of Science (AAAS)

2008 - IEEE Fellow For contributions to automata, logics, and verification techniques for real-time and hybrid systems

2007 - ACM Fellow For contributions to the specification and verification of reactive and hybrid systems.

1999 - Fellow of Alfred P. Sloan Foundation

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Operating system
  • Algorithm

The scientist’s investigation covers issues in Theoretical computer science, Model checking, Temporal logic, Algorithm and Programming language. His work carried out in the field of Theoretical computer science brings together such families of science as Finite-state machine and Asynchronous communication. His research in Model checking intersects with topics in Correctness, Recursion and Bounded function.

His work deals with themes such as Linear temporal logic, Real-time operating system and Mathematical logic, which intersect with Temporal logic. His work in Programming language addresses issues such as Hybrid system, which are connected to fields such as Modular design, Embedded system and Distributed computing. The Automaton study combines topics in areas such as Semantics and Reachability.

His most cited work include:

  • A theory of timed automata (5832 citations)
  • A Temporal Logic of Nested Calls and Returns (3336 citations)
  • The algorithmic analysis of hybrid systems (1707 citations)

What are the main themes of his work throughout his whole career to date?

Rajeev Alur focuses on Theoretical computer science, Model checking, Programming language, Algorithm and Automaton. His study in Theoretical computer science is interdisciplinary in nature, drawing from both Finite-state machine and Set. Rajeev Alur usually deals with Model checking and limits it to topics linked to Nested word and Pushdown automaton.

In his research, Linear system and Distributed computing is intimately related to Hybrid system, which falls under the overarching field of Programming language. His Algorithm research includes themes of Bounded function, State space and Asynchronous communication. His Automaton research includes themes of Discrete mathematics and Decision problem.

He most often published in these fields:

  • Theoretical computer science (46.34%)
  • Model checking (31.15%)
  • Programming language (20.16%)

What were the highlights of his more recent work (between 2014-2021)?

  • Theoretical computer science (46.34%)
  • Set (9.42%)
  • Distributed computing (9.69%)

In recent papers he was focusing on the following fields of study:

His primary scientific interests are in Theoretical computer science, Set, Distributed computing, Implementation and Correctness. His study in the fields of Automaton and Model checking under the domain of Theoretical computer science overlaps with other disciplines such as Constraint. His work carried out in the field of Set brings together such families of science as Linear temporal logic, Data stream mining, Program synthesis and Finite set.

His Distributed computing research is multidisciplinary, incorporating perspectives in Robot, Control theory, Computer network and Bounded function. His Correctness research incorporates themes from Finite-state machine, Static analysis, Hybrid system and Software engineering. His Hybrid system research incorporates elements of Decidability and Reachability.

Between 2014 and 2021, his most popular works were:

  • Principles of Cyber-Physical Systems (189 citations)
  • Scaling Enumerative Program Synthesis via Divide and Conquer (81 citations)
  • Verisig: verifying safety properties of hybrid systems with neural network controllers (80 citations)

In his most recent research, the most cited papers focused on:

  • Programming language
  • Operating system
  • Algorithm

His primary areas of investigation include Theoretical computer science, Programming language, Program synthesis, Distributed computing and Set. Rajeev Alur performs integrative study on Theoretical computer science and Constraint. His research integrates issues of Time complexity, Regular language and Counterexample in his study of Programming language.

His Program synthesis study incorporates themes from Discrete mathematics, Divide and conquer algorithms, Transfer of learning, Machine learning and Domain-specific language. His Distributed computing research is multidisciplinary, relying on both Control theory and Computer network. His study in Algorithm is interdisciplinary in nature, drawing from both Data structure and Concatenation.

This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.

Best Publications

A theory of timed automata

Rajeev Alur;David L. Dill.
Theoretical Computer Science (1994)

9625 Citations

A Temporal Logic of Nested Calls and Returns

Rajeev Alur;Kousha Etessami;P. Madhusudan.
tools and algorithms for construction and analysis of systems (2004)

3353 Citations

The algorithmic analysis of hybrid systems

Rajeev Alur;Costas Courcoubetis;Nicolas Halbwachs;Thomas A. Henzinger.
Theoretical Computer Science (1995)

2641 Citations

Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems

Rajeev Alur;Costas Courcoubetis;Thomas A. Henzinger;Pei-Hsin Ho.
Hybrid Systems (1993)

1810 Citations

Alternating-time temporal logic

Rajeev Alur;Thomas A. Henzinger;Orna Kupferman.
Journal of the ACM (2002)

1750 Citations

Automata for modeling real-time systems

Rajeev Alur;David L. Dill.
international colloquium on automata, languages and programming (1990)

1609 Citations

Model-checking for real-time systems

R. Alur;C. Courcoubetis;D. Dill.
logic in computer science (1990)

1403 Citations

Model-Checking in Dense Real-Time

R. Alur;C. Courcoubetis;D. Dill.
logic in computer science (1993)

1356 Citations

Discrete abstractions of hybrid systems

R. Alur;T.A. Henzinger;G. Lafferriere;G.J. Pappas.
Proceedings of the IEEE (2000)

1044 Citations

A really temporal logic

Rajeev Alur;Thomas A. Henzinger.
Journal of the ACM (1994)

971 Citations

If you think any of the details on this page are incorrect, let us know.

Contact us

Best Scientists Citing Rajeev Alur

Kim Guldstrand Larsen

Kim Guldstrand Larsen

Aalborg University

Publications: 254

Thomas A. Henzinger

Thomas A. Henzinger

Institute of Science and Technology Austria

Publications: 210

Krishnendu Chatterjee

Krishnendu Chatterjee

Institute of Science and Technology Austria

Publications: 155

Marta Kwiatkowska

Marta Kwiatkowska

University of Oxford

Publications: 121

Axel Legay

Axel Legay

Université Catholique de Louvain

Publications: 116

Patricia Bouyer

Patricia Bouyer

University of Paris-Saclay

Publications: 115

Joost-Pieter Katoen

Joost-Pieter Katoen

RWTH Aachen University

Publications: 107

Parosh Aziz Abdulla

Parosh Aziz Abdulla

Uppsala University

Publications: 94

Jean-François Raskin

Jean-François Raskin

Université Libre de Bruxelles

Publications: 94

Paul Pettersson

Paul Pettersson

Mälardalen University

Publications: 93

Stavros Tripakis

Stavros Tripakis

Northeastern University

Publications: 88

Oded Maler

Oded Maler

Grenoble Alpes University

Publications: 87

Holger Hermanns

Holger Hermanns

Saarland University

Publications: 82

Insup Lee

Insup Lee

University of Pennsylvania

Publications: 81

George J. Pappas

George J. Pappas

University of Pennsylvania

Publications: 80

Edmund M. Clarke

Edmund M. Clarke

Carnegie Mellon University

Publications: 77

Trending Scientists

James A. Landay

James A. Landay

Stanford University

Guillaume Galliero

Guillaume Galliero

University of Pau and the Adour Region

Nattamai Bhuvanesh

Nattamai Bhuvanesh

Texas A&M University

Tong-Liang Hu

Tong-Liang Hu

Nankai University

Michael B. Stadler

Michael B. Stadler

Friedrich Miescher Institute

B. W. Poovaiah

B. W. Poovaiah

Washington State University

Robert D. Possee

Robert D. Possee

Oxford Brookes University

Stephen A. Krawetz

Stephen A. Krawetz

Wayne State University

J.M. Bermúdez de Castro

J.M. Bermúdez de Castro

Spanish National Research Council

Glen R. Walker

Glen R. Walker

Commonwealth Scientific and Industrial Research Organisation

Richard C. Burgess

Richard C. Burgess

Case Western Reserve University

Torsten Schubert

Torsten Schubert

Martin Luther University Halle-Wittenberg

Joanne E. Roberts

Joanne E. Roberts

University of North Carolina at Chapel Hill

Michael Lübbert

Michael Lübbert

University of Freiburg

Truls Østbye

Truls Østbye

Duke University

Thomas A. Pearson

Thomas A. Pearson

University of Florida

Something went wrong. Please try again later.