- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| i4 |      | Yuting Wang, Kaustuv Chaudhuri, Andrew Gacek, Gopalan Nadathur: Reasoning About Higher-Order Relational Specifications. CoRR abs/1302.2584 (2013) |
| 2012 | ||
| c13 | | |
| c12 | | Kaustuv Chaudhuri, Stefan Hetzl, Dale Miller: A Systematic Approach to Canonicity in the Classical Sequent Calculus. CSL 2012: 183-197 |
| 2011 | ||
| c11 | | Kaustuv Chaudhuri, Nicolas Guenot, Lutz Straßburger: The Focused Calculus of Structures. CSL 2011: 159-173 |
| 2010 | ||
| c10 | | Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz: Verifying Safety Properties with the TLA+ Proof System. IJCAR 2010: 142-148 |
| c9 | | Kaustuv Chaudhuri: Classical and Intuitionistic Subexponential Logics Are Equally Expressive. CSL 2010: 185-199 |
| c8 | | Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz: The TLA+ Proof System: Building a Heterogeneous Verification Platform. ICTAC 2010: 44 |
| c7 | | Kaustuv Chaudhuri: Magically Constraining the Inverse Method Using Dynamic Polarity Assignment. LPAR (Yogyakarta) 2010: 202-216 |
| i3 | | Kaustuv Chaudhuri: Classical and Intuitionistic Subexponential Logics are Equally Expressive. CoRR abs/1006.3134 (2010) |
| i2 | | Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz: Verifying Safety Properties With the TLA+ Proof System. CoRR abs/1011.2560 (2010) |
| 2008 | ||
| j1 | | Kaustuv Chaudhuri, Frank Pfenning, Greg Price: A Logical Characterization of Forward and Backward Chaining in the Inverse Method. J. Autom. Reasoning 40(2-3): 133-177 (2008) |
| c6 | | Kaustuv Chaudhuri, Dale Miller, Alexis Saurin: Canonical Sequent Proofs via Multi-Focusing. IFIP TCS 2008: 383-396 |
| c5 | | Kaustuv Chaudhuri: Focusing Strategies in the Sequent Calculus of Synthetic Connectives. LPAR 2008: 467-481 |
| c4 | | Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz: A TLA+ Proof System. LPAR Workshops 2008 |
| i1 | | Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz: A TLA+ Proof System. CoRR abs/0811.1914 (2008) |
| 2006 | ||
| c3 | | Kaustuv Chaudhuri, Frank Pfenning, Greg Price: A Logical Characterization of Forward and Backward Chaining in the Inverse Method. IJCAR 2006: 97-111 |
| 2005 | ||
| c2 | | Kaustuv Chaudhuri, Frank Pfenning: A Focusing Inverse Method Theorem Prover for First-Order Linear Logic. CADE 2005: 69-83 |
| c1 | | |
| 1 | Damien Doligez | |
| 2 | Andrew Gacek | |
| 3 | Nicolas Guenot | |
| 4 | Stefan Hetzl | |
| 5 | Leslie Lamport | |
| 6 | Stephan Merz | |
| 7 | Dale Miller | |
| 8 | Gopalan Nadathur | |
| 9 | Frank Pfenning | |
| 10 | Greg Price | |
| 11 | Alexis Saurin | |
| 12 | Lutz Straßburger | |
| 13 | Yuting Wang |
Colors in the list of coauthors
Last update Sat May 25 05:40:03 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page