| Abella: A system for reasoning about relational specifications D Baelde, K Chaudhuri, A Gacek, D Miller, G Nadathur, A Tiu, Y Wang Journal of Formalized Reasoning 7 (2), 1-89, 2014 | 103 | 2014 |
| A judgmental analysis of linear logic BYE Chang, K Chaudhuri, F Pfenning | 103 | 2003 |
| Verifying Safety Properties with the TLA + Proof System K Chaudhuri, D Doligez, L Lamport, S Merz Automated Reasoning: 5th International Joint Conference, IJCAR 2010 …, 2010 | 96 | 2010 |
| Canonical Sequent Proofs via Multi-Focusing. K Chaudhuri, D Miller, A Saurin IFIP TCS, 383-396, 2008 | 79 | 2008 |
| A logical characterization of forward and backward chaining in the inverse method K Chaudhuri, F Pfenning, G Price Journal of Automated Reasoning 40 (2-3), 133-177, 2008 | 77 | 2008 |
| A TLA+ proof system KC Chaudhuri, D Doligez, L Lamport, S Merz arXiv preprint arXiv:0811.1914, 2008 | 53 | 2008 |
| The focused inverse method for linear logic K Chaudhuri CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE, 2006 | 49 | 2006 |
| The TLA + Proof System: Building a Heterogeneous Verification Platform K Chaudhuri, D Doligez, L Lamport, S Merz Theoretical Aspects of Computing–ICTAC 2010: 7th International Colloquium …, 2010 | 48 | 2010 |
| The focused calculus of structures K Chaudhuri, N Guenot, L Straßburger 20th EACSL Annual Conference on Computer Science Logic 12, 159-173, 2011 | 39 | 2011 |
| Focusing the inverse method for linear logic K Chaudhuri, F Pfenning Computer Science Logic: 19th International Workshop, CSL 2005, 14th Annual …, 2005 | 37 | 2005 |
| Focusing Strategies in the Sequent Calculus of Synthetic Connectives. K Chaudhuri LPAR 8, 467-481, 2008 | 34 | 2008 |
| A logical characterization of forward and backward chaining in the inverse method K Chaudhuri, F Pfenning, G Price Automated Reasoning: Third International Joint Conference, IJCAR 2006 …, 2006 | 28 | 2006 |
| A focusing inverse method theorem prover for first-order linear logic K Chaudhuri, F Pfenning Automated Deduction–CADE-20: 20th International Conference on Automated …, 2005 | 28 | 2005 |
| A multi-focused proof system isomorphic to expansion proofs K Chaudhuri, S Hetzl, D Miller Journal of Logic and Computation 26 (2), 577-603, 2016 | 26 | 2016 |
| Modular focused proof systems for intuitionistic modal logics K Chaudhuri, S Marin, L Straßburger 1st International Conference on Formal Structures for Computation and …, 2016 | 23 | 2016 |
| Focused and synthetic nested sequents K Chaudhuri, S Marin, L Straßburger Foundations of Software Science and Computation Structures: 19th …, 2016 | 21 | 2016 |
| Classical and intuitionistic subexponential logics are equally expressive K Chaudhuri Computer Science Logic: 24th International Workshop, CSL 2010, 19th Annual …, 2010 | 21 | 2010 |
| Reasoning about higher-order relational specifications Y Wang, K Chaudhuri, A Gacek, G Nadathur Proceedings of the 15th Symposium on Principles and Practice of Declarative …, 2013 | 19 | 2013 |
| Formalized meta-theory of sequent calculi for substructural logics K Chaudhuri, L Lima, G Reis Electronic Notes in Theoretical Computer Science 332, 57-73, 2017 | 17 | 2017 |
| A systematic approach to canonicity in the classical sequent calculus K Chaudhuri, S Hetzl, D Miller Computer Science Logic (CSL'12)-26th International Workshop/21st Annual …, 2012 | 14 | 2012 |
