Kaustuv Chaudhuri

发表

Frank Pfenning, Kaustuv Chaudhuri, F. Pfenning, 2006 .

Bor-Yuh Evan Chang, Frank Pfenning, Kaustuv Chaudhuri, 2003 .

Stefan Hetzl, Dale Miller, Kaustuv Chaudhuri, 2012 .

Kaustuv Chaudhuri, Kaustuv Chaudhuri, 2009 .

Frank Pfenning, Kaustuv Chaudhuri, F. Pfenning, 2003 .

Stephan Merz, Leslie Lamport, Arthur Charguéraud, 2007 .

Kaustuv Chaudhuri, 2003 .

Kaustuv Chaudhuri, Kaustuv Chaudhuri, 2010, LPAR.

Kaustuv Chaudhuri, Joëlle Despeyroux, Kaustuv Chaudhuri, 2013, TYPES.

Dale Miller, Kaustuv Chaudhuri, Stefan Hetzl, 2016, J. Log. Comput..

Frank Pfenning, Kaustuv Chaudhuri, F. Pfenning, 2005, CSL.

Lutz Straßburger, Kaustuv Chaudhuri, Sonia Marin, 2016, FoSSaCS.

Stephan Merz, Leslie Lamport, Damien Doligez, 2010, IJCAR.

Stephan Merz, Leslie Lamport, Damien Doligez, 2008, LPAR Workshops.

Kaustuv Chaudhuri, J. Despeyroux, 2009 .

Kaustuv Chaudhuri, J. Despeyroux, 2013, TYPES.

G. Nadathur, Kaustuv Chaudhuri, David Baelde, 2014, J. Formaliz. Reason..

Jonathan M. McCune, M. Reiter, Lujo Bauer, 2004 .

F. Pfenning, Kaustuv Chaudhuri, 2006 .

Dale Miller, Alexis Saurin, Kaustuv Chaudhuri, 2008, IFIP TCS.