Suivre
Kaustuv Chaudhuri
Kaustuv Chaudhuri
INRIA
Adresse e-mail validée de chaudhuri.info - Page d'accueil
Titre
Citée par
Citée par
Année
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
1122014
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
1062010
A judgmental analysis of linear logic
BYE Chang, K Chaudhuri, F Pfenning
School of Computer Science, Carnegie Mellon University, 2003
1062003
Canonical sequent proofs via multi-focusing
K Chaudhuri, D Miller, A Saurin
Fifth Ifip International Conference On Theoretical Computer Science–Tcs 2008 …, 2008
862008
A logical characterization of forward and backward chaining in the inverse method
K Chaudhuri, F Pfenning, G Price
Journal of Automated Reasoning 40 (2), 133-177, 2008
802008
A TLA+ proof system
KC Chaudhuri, D Doligez, L Lamport, S Merz
arXiv preprint arXiv:0811.1914, 2008
542008
The focused inverse method for linear logic
K Chaudhuri
Dissertation Abstracts International 68 (01), 2006
512006
The TLA +  Proof System: Building a Heterogeneous Verification Platform
K Chaudhuri, D Doligez, L Lamport, S Merz
International Colloquium on Theoretical Aspects of Computing, 44-44, 2010
492010
The focused calculus of structures
K Chaudhuri, N Guenot, L Straßburger
20th EACSL Annual Conference on Computer Science Logic 12, 159-173, 2011
422011
Focusing the inverse method for linear logic
K Chaudhuri, F Pfenning
International Workshop on Computer Science Logic, 200-215, 2005
382005
Focusing strategies in the sequent calculus of synthetic connectives
K Chaudhuri
Logic for Programming, Artificial Intelligence, and Reasoning: 15th …, 2008
352008
A focusing inverse method theorem prover for first-order linear logic
K Chaudhuri, F Pfenning
International Conference on Automated Deduction, 69-83, 2005
322005
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
312016
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
302006
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
292016
Focused and synthetic nested sequents
K Chaudhuri, S Marin, L Straßburger
Foundations of Software Science and Computation Structures: 19th …, 2016
232016
Classical and intuitionistic subexponential logics are equally expressive
K Chaudhuri
International Workshop on Computer Science Logic, 185-199, 2010
232010
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
192013
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
182017
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
152015
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20