Kaustuv Chaudhuri (INRIA Saclay - Ile de France)

Identifiers

• name variant Kaustuv Chaudhuri (INRIA Saclay - Ile de France) 0.60 · backfill

Papers (3)

1. A Hybrid Linear Logic for Constrained Transition Systems with Applications to Molecular Biology cs.LO · 2013 · author #1
2. Reasoning About Higher-Order Relational Specifications cs.LO · 2013 · author #2
3. Verifying Safety Properties With the TLA+ Proof System cs.LO · 2010 · author #1

Mentions

• 1310.4310 #1 · backfill · confidence 0.70 Kaustuv Chaudhuri (INRIA Saclay - Ile de France)
• 1302.2584 #2 · backfill · confidence 0.70 Kaustuv Chaudhuri (INRIA Saclay - Ile de France)
• 1011.2560 #1 · backfill · confidence 0.70 Kaustuv Chaudhuri (INRIA Saclay - Ile de France)

Frequent Coauthors

• Andrew Gacek 1 shared papers
• Damien Doligez (INRIA Rocquencourt) 1 shared papers
• Gopalan Nadathur 1 shared papers
• Joelle Despeyroux 1 shared papers
• Leslie Lamport 1 shared papers
• Stephan Merz (INRIA Lorraine) 1 shared papers
• Yuting Wang 1 shared papers