AP

Amir Pnueli

New York University

368

Publications

38,885

Citations

88

h-index

243

i10-index

Loading papers...

Search by keywords

Filter by Type

Article (188)
Book Chapter (156)
Book (11)
Report (11)
Erratum (1)

Filter by Open Access Type

Open Access (64)
Closed Access (304)

Filter by Authors

Amir Pnueli (368)
Zohar Manna (71)
Lenore D. Zuck (44)
Oded Maler (28)
Yonit Kesten (24)

Filter by Topics

Formal Methods in Verification (268)
Logic, programming, and type systems (164)
Model-Driven Software Engineering Techniques (57)
Embedded Systems Design Techniques (48)
Logic, Reasoning, and Knowledge (44)