Concepedia

Amir Pnueli

AP

Statistics

Publications

117

Citations

19.4K

H-Index

55

Active since

1968

Affiliations

Weizmann Institute of Science(Current)

New York University

Stanford University

Tel Aviv University

Verimag

Amir Pnueli is an author at Weizmann Institute of Science specializing in computer science, computing, and formal methods.

Publications per year

1968–2019

117

Publications

117

The temporal logic of programs

Amir Pnueli · 1977 · 5.7K citations

, , +16

On the synthesis of a reactive module

Amir Pnueli, Roni Rosner · 1989 · 1.4K citations · Full text

, , +17

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

David Harel, H. Lachover, A. Naamad et al. · IEEE Transactions on Software Engineering · 1990 · 1.1K citations

, , +17

On the temporal analysis of fairness

Dov M. Gabbay, Amir Pnueli, Saharon Shelah et al. · 1980 · 731 citations

, , +12

The temporal semantics of concurrent programs

Amir Pnueli · Theoretical Computer Science · 1981 · 701 citations

, , +14

1–5 of 117