D-Index & Metrics Best Publications
Computer Science
Israel
2023

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 102 Citations 54,981 316 World Ranking 188 National Ranking 4

Research.com Recognitions

Awards & Achievements

2023 - Research.com Computer Science in Israel Leader Award

2022 - Research.com Computer Science in Israel Leader Award

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.

Best Publications

The temporal logic of programs

Amir Pnueli.
foundations of computer science (1977)

8884 Citations

The temporal logic of reactive and concurrent systems

Zohar Manna;Amir Pnueli.
(1992)

4090 Citations

On the synthesis of a reactive module

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

2102 Citations

The Temporal Logic of Reactive and Concurrent Systems: Specification

Amir Pnueli;Zohar Manna.
(1991)

2037 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)

1952 Citations

Temporal Verification of Reactive Systems: Safety

Zohar Manna;Amir Pnueli.
(1995)

1459 Citations

On the development of reactive systems

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

1435 Citations

Temporal Verification of Reactive Systems

Zohar Manna;Amir Pnueli.
(1995)

1122 Citations

The temporal semantics of concurrent programs

Amir Pnueli.
Theoretical Computer Science (1981)

1119 Citations

Two approaches to interprocedural data flow analysis

Micha Sharir;A Pnueli.
(2011)

1083 Citations

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

Contact us

Best 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

Rupak Majumdar

Rupak Majumdar

Max Planck Institute for Software Systems

Publications: 73

Orna Grumberg

Orna Grumberg

Technion – Israel Institute of Technology

Publications: 73

Zohar Manna

Zohar Manna

Stanford University

Publications: 71

Trending Scientists

Tao Qin

Tao Qin

Microsoft (United States)

Josef Lakonishok

Josef Lakonishok

University of Illinois at Urbana-Champaign

Oliver Bimber

Oliver Bimber

Johannes Kepler University of Linz

Philippe H. Geubelle

Philippe H. Geubelle

University of Illinois at Urbana-Champaign

Alessandro Gandini

Alessandro Gandini

Grenoble Alpes University

Andreas Offenhäusser

Andreas Offenhäusser

Forschungszentrum Jülich

Guntae Kim

Guntae Kim

Ulsan National Institute of Science and Technology

Robert T. Schimke

Robert T. Schimke

Stanford University

Peter Carlsson

Peter Carlsson

University of Gothenburg

Rüdiger Wehner

Rüdiger Wehner

University of Zurich

Harald Strauss

Harald Strauss

University of Münster

Susan E. Humphris

Susan E. Humphris

Woods Hole Oceanographic Institution

Pierre-Emmanuel Kirstetter

Pierre-Emmanuel Kirstetter

University of Oklahoma

John Landsverk

John Landsverk

Boston Children's Hospital

Gregory W. Henry

Gregory W. Henry

Tennessee State University

Charles W. Engelbracht

Charles W. Engelbracht

University of Arizona

Something went wrong. Please try again later.