Kaustuv Chaudhuri

	2011
15		Kaustuv Chaudhuri, Nicolas Guenot, Lutz Straßburger: The Focused Calculus of Structures. CSL 2011: 159-173
	2010
14		Kaustuv Chaudhuri: Classical and Intuitionistic Subexponential Logics Are Equally Expressive. CSL 2010: 185-199
13		Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz: The TLA+ Proof System: Building a Heterogeneous Verification Platform. ICTAC 2010: 44
12		Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz: Verifying Safety Properties with the TLA+ Proof System. IJCAR 2010: 142-148
11		Kaustuv Chaudhuri: Magically Constraining the Inverse Method Using Dynamic Polarity Assignment. LPAR (Yogyakarta) 2010: 202-216
10		Kaustuv Chaudhuri: Classical and Intuitionistic Subexponential Logics are Equally Expressive CoRR abs/1006.3134: (2010)
9		Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz: Verifying Safety Properties With the TLA+ Proof System CoRR abs/1011.2560: (2010)
	2008
8		Kaustuv Chaudhuri, Dale Miller, Alexis Saurin: Canonical Sequent Proofs via Multi-Focusing. IFIP TCS 2008: 383-396
7		Kaustuv Chaudhuri: Focusing Strategies in the Sequent Calculus of Synthetic Connectives. LPAR 2008: 467-481
6		Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz: A TLA+ Proof System. LPAR Workshops 2008
5		Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz: A TLA+ Proof System CoRR abs/0811.1914: (2008)
4		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)
	2006
3		Kaustuv Chaudhuri, Frank Pfenning, Greg Price: A Logical Characterization of Forward and Backward Chaining in the Inverse Method. IJCAR 2006: 97-111
	2005
2		Kaustuv Chaudhuri, Frank Pfenning: A Focusing Inverse Method Theorem Prover for First-Order Linear Logic. CADE 2005: 69-83
1		Kaustuv Chaudhuri, Frank Pfenning: Focusing the Inverse Method for Linear Logic. CSL 2005: 200-215

Coauthor Index

1	Damien Doligez	[5] [6] [9] [12] [13]
2	Nicolas Guenot	[15]
3	Leslie Lamport	[5] [6] [9] [12] [13]
4	Stephan Merz	[5] [6] [9] [12] [13]
5	Dale Miller	[8]
6	Frank Pfenning	[1] [2] [3] [4]
7	Greg Price	[3] [4]
8	Alexis Saurin	[8]
9	Lutz Straßburger	[15]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page