Amir Pnueli
![Arxiv:2106.11534V1 [Cs.DL] 22 Jun 2021 2 Nanjing University of Science and Technology, Nanjing, China 3 University of Southampton, Southampton, U.K](http://data.docslib.org/img/264x/1d4166fa187cf485ebb7f06cf2ccd4a2.webp)
Top View
- Amir Pnueli and the Dawn of Hybrid Systems
- Formal Semantics of Orc Based on TLA+
- [Cs.CC] 1 Aug 1991
- Amir Pnueli a Gentle Giant: Lord of the ??S and the ??S
- April 22Nd on This Day, Aiken Outlined His While Pnueli Was Studying Ideas to Monroe's Chief Engineer, Mathematics at the Israel George C
- Program Analysis for Compiler Validation ∗
- Synthesis of Coordination Programs from Linear Temporal Specifications
- Moshe Y. Vardi
- A Bibliography of the ACM Turing Awards (1966–Date)
- The Computer Science of Concurrency: the Early Years
- Mccarthy 91 Function 1 Mccarthy 91 Function
- Science of Computer Programming Remembering Amir Pnueli, a Great Scientist and a Great Friend (April 22, 1941 – November 2, 2009)
- Zohar Manna (1939–2018)
- Verifying Hyperproperties with TLA
- A Prosopography of Turing Award Laureates (1966-2016) Camille Akmut
- Mordechai (Moti) Ben-Ari
- Linear Temporal Logic Symbolic Model Checking
- BPM Newsletter