A judgmental analysis of linear logic BYE Chang, K Chaudhuri, F Pfenning | 98 | 2003 |

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 | 76 | 2014 |

Canonical sequent proofs via multi-focusing K Chaudhuri, D Miller, A Saurin Fifth Ifip International Conference On Theoretical Computer Science–Tcs 2008 …, 2008 | 71 | 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 | 70 | 2008 |

Verifying safety properties with the TLA+ proof system K Chaudhuri, D Doligez, L Lamport, S Merz International Joint Conference on Automated Reasoning, 142-148, 2010 | 69 | 2010 |

The focused inverse method for linear logic K Chaudhuri CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE, 2006 | 43 | 2006 |

The focused calculus of structures K Chaudhuri, N Guenot, L Straßburger | 37 | 2011 |

The TLA^{ + } Proof System: Building a Heterogeneous Verification PlatformK Chaudhuri, D Doligez, L Lamport, S Merz International Colloquium on Theoretical Aspects of Computing, 44-44, 2010 | 37 | 2010 |

A TLA+ proof system KC Chaudhuri, D Doligez, L Lamport, S Merz arXiv preprint arXiv:0811.1914, 2008 | 37 | 2008 |

Focusing the inverse method for linear logic K Chaudhuri, F Pfenning International Workshop on Computer Science Logic, 200-215, 2005 | 32 | 2005 |

Focusing strategies in the sequent calculus of synthetic connectives K Chaudhuri International Conference on Logic for Programming Artificial Intelligence …, 2008 | 29 | 2008 |

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 | 22 | 2016 |

A focusing inverse method theorem prover for first-order linear logic K Chaudhuri, F Pfenning International Conference on Automated Deduction, 69-83, 2005 | 22 | 2005 |

A logical characterization of forward and backward chaining in the inverse method K Chaudhuri, F Pfenning, G Price International Joint Conference on Automated Reasoning, 97-111, 2006 | 20 | 2006 |

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 |

Classical and intuitionistic subexponential logics are equally expressive K Chaudhuri International Workshop on Computer Science Logic, 185-199, 2010 | 19 | 2010 |

Focused and synthetic nested sequents K Chaudhuri, S Marin, L Straßburger International Conference on Foundations of Software Science and Computation …, 2016 | 16 | 2016 |

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 |

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 | 13 | 2016 |

A lightweight formalization of the metatheory of bisimulation-up-to K Chaudhuri, M Cimini, D Miller Proceedings of the 2015 Conference on Certified Programs and Proofs, 157-166, 2015 | 12 | 2015 |