K
v
ire
.com
←
Back
Night
Docs
Library
Review
…
Author
Amir Pnueli
also known as A Pnueli, A. Pnueli, AMIR PNUELI
New York University · Mercer (Czechia) · Supélec · Universidad Complutense de Madrid
About this author
Works
368
Cited by
38,846
h-index
88
i10
243
Top papers
The temporal logic of programs
Amir Pnueli
·
1977
↗ 5,639
The Temporal Logic of Reactive and Concurrent Systems
Zohar Manna, Amir Pnueli
·
1992
↗ 2,966
On the synthesis of a reactive module
Amir Pnueli, Roni Rosner
·
1989
↗ 1,444
OA
The Temporal Logic of Reactive and Concurrent Systems: Specification
Amir Pnueli, Zohar Manna
·
1991
↗ 1,364
STATEMATE: a working environment for the development of complex reactive systems
David Harel, H. Lachover, A. Naamad, et al.
·
1990
·
IEEE Transactions on Software Engineering
↗ 1,122
Temporal Verification of Reactive Systems: Safety
Zohar Manna, Amir Pnueli
·
1995
·
Medical Entomology and Zoology
↗ 949
On the Development of Reactive Systems
David Harel, Amir Pnueli
·
1985
↗ 835
Temporal Verification of Reactive Systems
Zohar Manna, Amir Pnueli
·
1995
↗ 814
On the temporal analysis of fairness
Dov M. Gabbay, Amir Pnueli, Saharon Shelah, et al.
·
1980
↗ 729
The temporal semantics of concurrent programs
Amir Pnueli
·
1981
·
Theoretical Computer Science
↗ 701
Two approaches to interprocedural data flow analysis
Micha Sharir, Amir Pnueli
·
2011
↗ 661
Checking that finite state concurrent programs satisfy their linear specification
Orna Lichtenstein, Amir Pnueli
·
1985
↗ 619
OA