Kaustuv Chaudhuri

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 17

Top Topics

Specification Languages

Top Venues

Math. Struct. Comput. Sci.

Publications

Farah Al Wardani, Kaustuv Chaudhuri, Dale Miller
Formal Reasoning Using Distributed Assertions. FroCoS (2023)
Kaustuv Chaudhuri
Subformula Linking for Intuitionistic Logic with Application to Type Theory. CADE (2021)
Kaustuv Chaudhuri, Joëlle Despeyroux, Carlos Olarte, Elaine Pimentel
Hybrid linear logic, revisited. Math. Struct. Comput. Sci. 29 (8) (2019)
Kaustuv Chaudhuri, Leonardo Lima, Giselle Reis
Formalized meta-theory of sequent calculi for linear logics. Theor. Comput. Sci. 781 (2019)
Kaustuv Chaudhuri, Matteo Manighetti, Dale Miller
A proof-theoretic approach to certifying skolemization. CPP (2019)
Kaustuv Chaudhuri
A two-level logic perspective on (simultaneous) substitutions. CPP (2018)
Kaustuv Chaudhuri
Expressing additives using multiplicatives and subexponentials. Math. Struct. Comput. Sci. 28 (5) (2018)
Iliano Cervesato, Kaustuv Chaudhuri
Preface - Special Issue on Logical Frameworks and Meta-Languages 2015. Math. Struct. Comput. Sci. 28 (9) (2018)
Kaustuv Chaudhuri, Sonia Marin, Lutz Straßburger
Modular Focused Proof Systems for Intuitionistic Modal Logics. FSCD (2016)
Kaustuv Chaudhuri, Leonardo Lima, Giselle Reis
Formalized Meta-Theory of Sequent Calculi for Substructural Logics. LSFA (2016)
Kaustuv Chaudhuri, Sonia Marin, Lutz Straßburger
Focused and Synthetic Nested Sequents. FoSSaCS (2016)
Kaustuv Chaudhuri, Stefan Hetzl, Dale Miller
A multi-focused proof system isomorphic to expansion proofs. J. Log. Comput. 26 (2) (2016)
Joëlle Despeyroux, Kaustuv Chaudhuri
A Hybrid Linear Logic for Constrained Transition Systems. CoRR (2016)
Kaustuv Chaudhuri, Giselle Reis
An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials. LPAR (2015)
Kaustuv Chaudhuri, Matteo Cimini, Dale Miller
A Lightweight Formalization of the Metatheory of Bisimulation-Up-To. CPP (2015)
Taus Brock-Nannestad, Kaustuv Chaudhuri
Disproving Using the Inverse Method by Iterative Refinement of Finite Approximations. TABLEAUX (2015)
Yuting Wang, Kaustuv Chaudhuri
A Proof-theoretic Characterization of Independence in Type Theory. TLCA (2015)
Mary Southern, Kaustuv Chaudhuri
A Two-Level Logic Approach to Reasoning About Typed Specification Languages. FSTTCS (2014)
Kaustuv Chaudhuri, Nicolas Guenot
Equality and fixpoints in the calculus of structures. CSL-LICS (2014)
David Baelde, Kaustuv Chaudhuri, Andrew Gacek, Dale Miller, Gopalan Nadathur, Alwen Tiu, Yuting Wang
Abella: A System for Reasoning about Relational Specifications. J. Formaliz. Reason. 7 (2) (2014)
Olivier Savary Bélanger, Kaustuv Chaudhuri
Automatically Deriving Schematic Theorems for Dynamic Contexts. LFMTP (2014)
Kaustuv Chaudhuri
Undecidability of Multiplicative Subexponential Logic. LINEARITY (2014)
Kaustuv Chaudhuri
Subformula Linking as an Interaction Method. ITP (2013)
Kaustuv Chaudhuri, Joëlle Despeyroux
A Hybrid Linear Logic for Constrained Transition Systems with Applications to Molecular Biology. CoRR (2013)
Joëlle Despeyroux, Kaustuv Chaudhuri
A Hybrid Linear Logic for Constrained Transition Systems. TYPES (2013)
Yuting Wang, Kaustuv Chaudhuri, Andrew Gacek, Gopalan Nadathur
Reasoning About Higher-Order Relational Specifications CoRR (2013)
Yuting Wang, Kaustuv Chaudhuri, Andrew Gacek, Gopalan Nadathur
Reasoning about higher-order relational specifications. PPDP (2013)
Kaustuv Chaudhuri
Compact Proof Certificates for Linear Logic. CPP (2012)
Kaustuv Chaudhuri, Stefan Hetzl, Dale Miller
A Systematic Approach to Canonicity in the Classical Sequent Calculus. CSL (2012)
Kaustuv Chaudhuri, Nicolas Guenot, Lutz Straßburger
The Focused Calculus of Structures. CSL (2011)
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
Verifying Safety Properties With the TLA+ Proof System CoRR (2010)
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
Verifying Safety Properties with the TLA+ Proof System. IJCAR (2010)
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
Proof System: Building a Heterogeneous Verification Platform. ICTAC (2010)
Kaustuv Chaudhuri
Magically Constraining the Inverse Method Using Dynamic Polarity Assignment. LPAR (Yogyakarta) (2010)
Kaustuv Chaudhuri
Classical and Intuitionistic Subexponential Logics Are Equally Expressive. CSL (2010)
Kaustuv Chaudhuri
Classical and Intuitionistic Subexponential Logics are Equally Expressive CoRR (2010)
Kaustuv Chaudhuri, Frank Pfenning, Greg Price
A Logical Characterization of Forward and Backward Chaining in the Inverse Method. J. Autom. Reason. 40 (2-3) (2008)
Kaustuv Chaudhuri, Dale Miller, Alexis Saurin
Canonical Sequent Proofs via Multi-Focusing. IFIP TCS (2008)
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
A TLA+ Proof System. LPAR Workshops (2008)
Kaustuv Chaudhuri, Damien Doligez, Leslie Lamport, Stephan Merz
A TLA+ Proof System CoRR (2008)
Kaustuv Chaudhuri
Focusing Strategies in the Sequent Calculus of Synthetic Connectives. LPAR (2008)
Kaustuv Chaudhuri, Frank Pfenning, Greg Price
A Logical Characterization of Forward and Backward Chaining in the Inverse Method. IJCAR (2006)
Kaustuv Chaudhuri, Frank Pfenning
A Focusing Inverse Method Theorem Prover for First-Order Linear Logic. CADE (2005)
Kaustuv Chaudhuri, Frank Pfenning
Focusing the Inverse Method for Linear Logic. CSL (2005)