DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Amir Pnueli
Amir Pnueli
Obituary: Amir Pnueli, 1941–2009 Krzysztof R. Apt and Lenore D. Zuck
Pdf, 184.84 KB
The Best Nurturers in Computer Science Research
Sooner Is Safer Than Later Department of Computer Science
Arxiv:2106.11534V1 [Cs.DL] 22 Jun 2021 2 Nanjing University of Science and Technology, Nanjing, China 3 University of Southampton, Southampton, U.K
Amir Pnueli University of Pennsylvania, Pa. 191D4 and Tel-Aviv University, Tel Aviv, Israel
Alan Mathison Turing and the Turing Award Winners
COMP 516 Research Methods in Computer Science Research Methods in Computer Science Lecture 3: Who Is Who in Computer Science Research
COS 360 Programming Languages Formal Semantics
20Th International Conference on Computer Aided Verifi Cation PRINCETON July 7–14UNIVERSITY P R I N C E T O N
Computing Paradigm Not a Branch of Science
Etude on Recursion Elimination by Program Manipulation and Problem Analysis
Nachum Dershowitz Dziekuje˛ ˛
Reserved Books for CS 812 - Programing Language Semantics - Spring 2008
The TLA Toolbox
Oral History of Leslie Lamport, Part 2
Verification of the Chord Protocol with TLA+
Fall 2009 Newsletter
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
Software Verification 2000, for the first Time Since 20 Years
An Interview with Leslie Lamport 2013 Recipient of the ACM Turing Award
A Prosopography of Turing Award Laureates (1966-2016)
Department of Computer Science
Temporal Logic: the Lesser of Three Evils
Edsger W. Dijkstra: a Commemoration
Download Chapter 296KB
Hybrid Systems in TLA+
A Selected Bibliography of Publications By, and About, Edsger W
Mccarthy 91 Function 1 Mccarthy 91 Function