A Focusing Inverse Method Theorem Prover for First-Order Linear Logic. - Kaustuv Chaudhuri; Frank Pfenning (CADE, 2005)

Focusing the Inverse Method for Linear Logic. - Kaustuv Chaudhuri; Frank Pfenning (CSL, 2005)

Canonical Sequent Proofs via Multi-Focusing. - Kaustuv Chaudhuri; Dale Miller 001; Alexis Saurin (IFIP TCS, 2008)

Focusing Strategies in the Sequent Calculus of Synthetic Connectives. - Kaustuv Chaudhuri (LPAR, 2008)

A TLA+ Proof System. - Kaustuv Chaudhuri; Damien Doligez; Leslie Lamport; Stephan Merz (LPAR Workshops, 2008)

A Logical Characterization of Forward and Backward Chaining in the Inverse Method. - Kaustuv Chaudhuri; Frank Pfenning; Greg Price (J. Autom. Reason., 2008)

Verifying Safety Properties with the TLA+ Proof System. - Kaustuv Chaudhuri; Damien Doligez; Leslie Lamport; Stephan Merz (IJCAR, 2010)

Classical and Intuitionistic Subexponential Logics Are Equally Expressive. - Kaustuv Chaudhuri (CSL, 2010)

The TLA+ Proof System: Building a Heterogeneous Verification Platform. - Kaustuv Chaudhuri; Damien Doligez; Leslie Lamport; Stephan Merz (ICTAC, 2010)

Magically Constraining the Inverse Method Using Dynamic Polarity Assignment. - Kaustuv Chaudhuri (LPAR (Yogyakarta), 2010)

The Focused Calculus of Structures. - Kaustuv Chaudhuri; Nicolas Guenot; Lutz Straßburger (CSL, 2011)

Compact Proof Certificates for Linear Logic. - Kaustuv Chaudhuri (CPP, 2012)

A Systematic Approach to Canonicity in the Classical Sequent Calculus. - Kaustuv Chaudhuri; Stefan Hetzl; Dale Miller 001 (CSL, 2012)

Subformula Linking as an Interaction Method. - Kaustuv Chaudhuri (ITP, 2013)

Reasoning about higher-order relational specifications. - Yuting Wang 001; Kaustuv Chaudhuri; Andrew Gacek; Gopalan Nadathur (PPDP, 2013)

A Hybrid Linear Logic for Constrained Transition Systems. - Joëlle Despeyroux; Kaustuv Chaudhuri (TYPES, 2013)

A Hybrid Linear Logic for Constrained Transition Systems with Applications to Molecular Biology. - Kaustuv Chaudhuri; Joëlle Despeyroux (CoRR, 2013)

Equality and fixpoints in the calculus of structures. - Kaustuv Chaudhuri; Nicolas Guenot (CSL-LICS, 2014)

A Two-Level Logic Approach to Reasoning About Typed Specification Languages. - Mary Southern; Kaustuv Chaudhuri (FSTTCS, 2014)

Automatically Deriving Schematic Theorems for Dynamic Contexts. - Olivier Savary Bélanger; Kaustuv Chaudhuri (LFMTP, 2014)

Undecidability of Multiplicative Subexponential Logic. - Kaustuv Chaudhuri (LINEARITY, 2014)

Abella: A System for Reasoning about Relational Specifications. - David Baelde; Kaustuv Chaudhuri; Andrew Gacek; Dale Miller 001; Gopalan Nadathur; Alwen Tiu; Yuting Wang 001 (J. Formaliz. Reason., 2014)

A Lightweight Formalization of the Metatheory of Bisimulation-Up-To. - Kaustuv Chaudhuri; Matteo Cimini; Dale Miller 001 (CPP, 2015)

An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials. - Kaustuv Chaudhuri; Giselle Reis (LPAR, 2015)

Disproving Using the Inverse Method by Iterative Refinement of Finite Approximations. - Taus Brock-Nannestad; Kaustuv Chaudhuri (TABLEAUX, 2015)

A Proof-theoretic Characterization of Independence in Type Theory. - Yuting Wang 001; Kaustuv Chaudhuri (TLCA, 2015)

Focused and Synthetic Nested Sequents. - Kaustuv Chaudhuri; Sonia Marin; Lutz Straßburger (FoSSaCS, 2016)

Modular Focused Proof Systems for Intuitionistic Modal Logics. - Kaustuv Chaudhuri; Sonia Marin; Lutz Straßburger (FSCD, 2016)

Formalized Meta-Theory of Sequent Calculi for Substructural Logics. - Kaustuv Chaudhuri; Leonardo Lima 001; Giselle Reis (LSFA, 2016)

A multi-focused proof system isomorphic to expansion proofs. - Kaustuv Chaudhuri; Stefan Hetzl; Dale Miller 001 (J. Log. Comput., 2016)

A two-level logic perspective on (simultaneous) substitutions. - Kaustuv Chaudhuri (CPP, 2018)

Preface - Special Issue on Logical Frameworks and Meta-Languages 2015. - Iliano Cervesato; Kaustuv Chaudhuri (Math. Struct. Comput. Sci., 2018)

Expressing additives using multiplicatives and subexponentials. - Kaustuv Chaudhuri (Math. Struct. Comput. Sci., 2018)

A proof-theoretic approach to certifying skolemization. - Kaustuv Chaudhuri; Matteo Manighetti; Dale Miller 001 (CPP, 2019)

Hybrid linear logic, revisited. - Kaustuv Chaudhuri; Joëlle Despeyroux; Carlos Olarte; Elaine Pimentel (Math. Struct. Comput. Sci., 2019)

Formalized meta-theory of sequent calculi for linear logics. - Kaustuv Chaudhuri; Leonardo Lima 001; Giselle Reis (Theor. Comput. Sci., 2019)

Subformula Linking for Intuitionistic Logic with Application to Type Theory. - Kaustuv Chaudhuri (CADE, 2021)

Formal Reasoning Using Distributed Assertions. - Farah Al Wardani; Kaustuv Chaudhuri; Dale Miller 001 (FroCoS, 2023)

About Trust and Proof: An Experimental Framework for Heterogeneous Verification. - Farah Al Wardani; Kaustuv Chaudhuri; Dale Miller 001 (The Practice of Formal Methods (II), 2024)