Damien Doligez (INRIA Rocquencourt)

Identifiers

• name variant Damien Doligez (INRIA Rocquencourt) 0.60 · backfill

Papers (2)

1. Verifying Safety Properties With the TLA+ Proof System cs.LO · 2010 · author #2
2. A TLA+ Proof System cs.LO · 2008 · author #2

Mentions

• 1011.2560 #2 · backfill · confidence 0.70 Damien Doligez (INRIA Rocquencourt)
• 0811.1914 #2 · backfill · confidence 0.70 Damien Doligez (INRIA Rocquencourt)

Frequent Coauthors

• Leslie Lamport 2 shared papers
• Kaustuv C. Chaudhuri (MRI) 1 shared papers
• Kaustuv Chaudhuri (INRIA Saclay - Ile de France) 1 shared papers
• Stephan Merz (INRIA Lorraine) 1 shared papers
• Stephan Merz (INRIA Lorraine - LORIA) 1 shared papers