Kaustuv Chaudhuri

48 papers A 4B 15C 2Journal 13Unranked 11

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