H-Index & Metrics Top Publications

H-Index & Metrics

Discipline name H-index Citations Publications World Ranking National Ranking
Computer Science H-index 97 Citations 52,038 270 World Ranking 167 National Ranking 3

Research.com Recognitions

Awards & Achievements

2007 - ACM Fellow For contributions to program and system verification.

2007 - ACM Software System Award For Statemate, the first embodiment in a commercial computer-aided software engineering tool of a rigorous approach to model-driven development based on statecharts, and employing techniques for the executability of visual formalisms, and for code-generation.

1996 - A. M. Turing Award For seminal work introducing temporal logic into computing science and for outstanding contributions to program and system verification.

Overview

What is he best known for?

The fields of study he is best known for:

  • Programming language
  • Algorithm
  • Artificial intelligence

Amir Pnueli focuses on Temporal logic, Theoretical computer science, Programming language, Linear temporal logic and Reactive system. His Temporal logic research is multidisciplinary, relying on both Algorithm and Satisfiability. His research integrates issues of Computation, Semantics and Parameterized complexity in his study of Theoretical computer science.

His work carried out in the field of Programming language brings together such families of science as Current and Automaton. The study incorporates disciplines such as Software system, Debugging, Software engineering and Diagrammatic reasoning in addition to Reactive system. His Computation tree logic research incorporates elements of Property Specification Language, Predicate, Automated reasoning and Deductive reasoning.

His most cited work include:

  • The temporal logic of programs (4522 citations)
  • The temporal logic of reactive and concurrent systems (2466 citations)
  • The Temporal Logic of Reactive and Concurrent Systems: Specification (1246 citations)

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

Theoretical computer science, Programming language, Temporal logic, Algorithm and Model checking are his primary areas of study. His Theoretical computer science study incorporates themes from Finite-state machine and Parameterized complexity. His work deals with themes such as Linear temporal logic and Reactive system, which intersect with Temporal logic.

His biological study spans a wide range of topics, including Multimodal logic and Dynamic logic. Amir Pnueli combines subjects such as Software engineering, Distributed computing, Set and Transition system with his study of Reactive system. As a part of the same scientific family, he mostly works in the field of Formal verification, focusing on Concurrency and, on occasion, Artificial intelligence.

He most often published in these fields:

  • Theoretical computer science (40.11%)
  • Programming language (34.34%)
  • Temporal logic (26.65%)

What were the highlights of his more recent work (between 2004-2019)?

  • Theoretical computer science (40.11%)
  • Programming language (34.34%)
  • Model checking (17.86%)

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

His primary areas of investigation include Theoretical computer science, Programming language, Model checking, Temporal logic and Liveness. His Theoretical computer science study incorporates themes from Heap and Predicate. His Programming language study frequently links to related topics such as Parallel computing.

The concepts of his Model checking study are interwoven with issues in Recursion and Reachability. His Temporal logic research incorporates themes from Automaton, Satisfiability, Discrete system, Algorithm and Linear logic. The various areas that he examines in his Computation tree logic study include Temporal logic of actions and Interval temporal logic.

Between 2004 and 2019, his most popular works were:

  • Synthesis of reactive(1) designs (493 citations)
  • Synthesis of Reactive(1) designs (315 citations)
  • Two approaches to interprocedural data flow analysis (285 citations)

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

  • Programming language
  • Algorithm
  • Artificial intelligence

Amir Pnueli spends much of his time researching Programming language, Temporal logic, Theoretical computer science, Automaton and Formal methods. His work on Compiler, Formal language, Specification language and Formal specification is typically connected to Hardware description language as part of general Programming language study, connecting several disciplines of science. His Theoretical computer science study combines topics in areas such as Flow, Algorithm and State space.

Amir Pnueli has included themes like Point, Bounded function and Boolean data type in his Automaton study. All of his Linear temporal logic and Temporal logic of actions and Interval temporal logic investigations are sub-components of the entire Linear temporal logic study. The Temporal logic of actions study combines topics in areas such as Computation tree logic and Dynamic logic.

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.

Top Publications

The temporal logic of programs

Amir Pnueli.
foundations of computer science (1977)

9633 Citations

The Temporal Logic of Reactive and Concurrent Systems

Zohar Manna;Amir Pnueli.
(1991)

4241 Citations

The Temporal Logic of Reactive and Concurrent Systems Specification

Zohar Manna;A. Pnueli.
(1992)

1981 Citations

STATEMATE: a working environment for the development of complex reactive systems

D. Harel;H. Lachover;A. Naamad;A. Pnueli.
IEEE Transactions on Software Engineering (1990)

1918 Citations

On the synthesis of a reactive module

A. Pnueli;R. Rosner.
symposium on principles of programming languages (1989)

1868 Citations

Temporal Verification of Reactive Systems: Safety

Zohar Manna;Amir Pnueli.
(1995)

1454 Citations

On the development of reactive systems

D. Harel;A. Pnueli.
Logics and models of concurrent systems (1989)

1377 Citations

Temporal Verification of Reactive Systems

Zohar Manna;Amir Pnueli.
(1995)

1099 Citations

On the temporal analysis of fairness

Dov Gabbay;Amir Pnueli;Saharon Shelah;Jonathan Stavi.
symposium on principles of programming languages (1980)

1014 Citations

The temporal semantics of concurrent programs

Amir Pnueli.
Theoretical Computer Science (1981)

987 Citations

Profile was last updated on December 6th, 2021.
Research.com Ranking is based on data retrieved from the Microsoft Academic Graph (MAG).
The ranking h-index is inferred from publications deemed to belong to the considered discipline.

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

Contact us

Top Scientists Citing Amir Pnueli

Moshe Y. Vardi

Moshe Y. Vardi

Rice University

Publications: 214

Thomas A. Henzinger

Thomas A. Henzinger

Institute of Science and Technology Austria

Publications: 174

Orna Kupferman

Orna Kupferman

Hebrew University of Jerusalem

Publications: 158

Krishnendu Chatterjee

Krishnendu Chatterjee

Institute of Science and Technology Austria

Publications: 152

David Harel

David Harel

Weizmann Institute of Science

Publications: 145

Rajeev Alur

Rajeev Alur

University of Pennsylvania

Publications: 110

Edmund M. Clarke

Edmund M. Clarke

Carnegie Mellon University

Publications: 108

Kim Guldstrand Larsen

Kim Guldstrand Larsen

Aalborg University

Publications: 105

Doron Peled

Doron Peled

Bar-Ilan University

Publications: 93

Jean-François Raskin

Jean-François Raskin

Université Libre de Bruxelles

Publications: 85

Axel Legay

Axel Legay

Université Catholique de Louvain

Publications: 84

Roderick Bloem

Roderick Bloem

Graz University of Technology

Publications: 81

Michael Fisher

Michael Fisher

University of Manchester

Publications: 77

Orna Grumberg

Orna Grumberg

Technion – Israel Institute of Technology

Publications: 73

Rupak Majumdar

Rupak Majumdar

Max Planck Institute for Software Systems

Publications: 73

Something went wrong. Please try again later.