Leslie Lamport

Identifiers

• name variant Leslie Lamport 0.60 · backfill

Papers (7)

1. On the Glitch Phenomenon cs.IT · 2017 · author #1
2. Auxiliary Variables in TLA+ cs.LO · 2017 · author #1
3. Coalescing: Syntactic Abstraction for Reasoning in First-Order Modal Logics cs.LO · 2014 · author #3
4. TLA+ Proofs cs.SE · 2012 · author #3
5. Verifying Safety Properties With the TLA+ Proof System cs.LO · 2010 · author #3
6. A TLA+ Proof System cs.LO · 2008 · author #3
7. Consensus on Transaction Commit cs.DC · 2004 · author #2

Mentions

• 1409.3819 #3 · backfill · confidence 0.70 Leslie Lamport
• 1208.5933 #3 · backfill · confidence 0.70 Leslie Lamport
• 1011.2560 #3 · backfill · confidence 0.70 Leslie Lamport
• 0811.1914 #3 · backfill · confidence 0.70 Leslie Lamport

Frequent Coauthors

• Damien Doligez (INRIA Rocquencourt) 2 shared papers
• Damien Doligez 1 shared papers
• Damien Doligez (INRIA Paris-Rocquencourt) 1 shared papers
• Daniel Ricketts 1 shared papers
• Denis Cousineau 1 shared papers
• Hern\'an Vanzetto 1 shared papers
• Jael Kriener (MSR - INRIA) 1 shared papers
• Jim Gray 1 shared papers
• Kaustuv C. Chaudhuri (MRI) 1 shared papers
• Kaustuv Chaudhuri (INRIA Saclay - Ile de France) 1 shared papers
• Richard Palais 1 shared papers
• Stephan Merz 1 shared papers
• Stephan Merz (INRIA Lorraine) 1 shared papers
• Stephan Merz (INRIA Lorraine - LORIA) 1 shared papers
• Stephan Merz (INRIA Nancy - Grand Est / LORIA) 1 shared papers
• Stephan Merz (VERIDIS) 1 shared papers
• Tomer Libal (MSR - INRIA) 1 shared papers