> home / research / publications
Most published papers are under copyright I don’t own. Electronic copies are provided here on author’s privilege
Refereed
Journals
| [CPP08] | K. Chaudhuri, F. Pfenning and G. Price, A Logical Characterization of Forward and Backward Chaining in the Inverse Method. Journal of Automated Reasoning, 40(2–3), pp. 133–177. 2008. |
Conferences
| [Cha08] | K. Chaudhuri, Focusing Strategies in the Sequent Calculus of Synthetic Connectives. Logic for Programming, Artificial Intelligence and Reasoning (LPAR-15), Doha, Qatar. Springer-Verlag LNCS 5330, pp. 467–481. November 2008. |
| [CMS08] | K. Chaudhuri, D. Miller and A. Saurin, Canonical Sequent Proofs via Multi-Focusing. IFIP International Conference on Theoretical Computer Science (TCS-5), Milan, Italy. IFIP 273, pp. 383–396. September 2008. |
| [CPP06] | K. Chaudhuri, F. Pfenning and G. Price, A Logical Characterization of Forward and Backward Chaining in the Inverse Method. International Joint Conference on Automated Reasoning (IJCAR-3), Seattle, Washinton. Springer-Verlag LNCS 4130, pp. 97–111. August 2006. |
| [CP05b] | K. Chaudhuri and F. Pfenning, Focusing the Inverse Method for Linear Logic. Computer Science Logic (CSL-19), Oxford, UK. Springer-Verlag LNCS 3634, pp. 200–215. August 2005. |
| [CP05a] | K. Chaudhuri and F. Pfenning, A Focusing Inverse Method Theorem Prover for First-Order Linear Logic. Conference on Automated Deduction (CADE-20), Tallinn, Estonia. Springer-Verlag LNCS 3632, pp. 69–83. July 2005. |
Workshops
| [CDLM08] | K. Chaudhuri, D. Doligez, L. Lamport and S. Merz, A TLA+ Proof System. Workshop on Knowledge Exchange: Automated Provers and Proof Assistants (KEAPPA). CEUR Workshop Proceedings 418, pp. 17–37. November 2008. |
Not Refereeed
Technical Reports
| [CD09] | K. Chaudhuri and J. Despeyroux, A Logic for Constrained Process Calculi with Applications to Molecular Biology. INRIA. Technical Report. May 2009. |
| [CP05t] | K. Chaudhuri and F. Pfenning, Focusing the Inverse Method for Linear Logic. Carnegie Mellon University. Technical Report CMU-CS-05-106. July 2005. |
| [Cha03] | K. Chaudhuri, The Inverse Method for Intuitionistic Linear Logic (The Propositional Fragment). Carnegie Mellon University. Technical Report CMU-CS-03-140. November 2003. |
| [CCP03] | B.-Y. E. Chang, K. Chaudhuri and F. Pfenning, A Judgemental Analysis of Linear Logic. Carnegie Mellon University. Technical Report CMU-CS-03-131R. April 2003. |
Theses
| [Cha06] | K. Chaudhuri, The Focused Inverse Method for Linear Logic. Carnegie Mellon University. Ph.D. thesis, available as technical report CMU-CS-06-162. December 2006. |
| [Cha04] | K. Chaudhuri, Theorem Proving with the Inverse Method for Linear Logic. Carnegie Mellon University. Thesis proposal. January 2004. |
Miscellaneous
| [Cha07n] | K. Chaudhuri, Polarities in Theorem Proving and Logic Programming. Association of Logic Programming. Newsletter. May 2007. |