AP
Amir Pnueli
New York University368
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)