Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Kaustuv Chaudhuri
@inproceedings{DBLP:conf/frocos/WardaniCM23,
author = {Farah Al Wardani and
Kaustuv Chaudhuri and
Dale Miller},
editor = {Uli Sattler and
Martin Suda},
title = {Formal Reasoning Using Distributed Assertions},
booktitle = {Frontiers of Combining Systems - 14th International Symposium, FroCoS
2023, Prague, Czech Republic, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14279},
pages = {176--194},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43369-6\_10},
doi = {10.1007/978-3-031-43369-6\_10},
timestamp = {Wed, 01 Nov 2023 08:59:02 +0100},
biburl = {https://dblp.org/rec/conf/frocos/WardaniCM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Chaudhuri21,
author = {Kaustuv Chaudhuri},
editor = {Andr{\'{e}} Platzer and
Geoff Sutcliffe},
title = {Subformula Linking for Intuitionistic Logic with Application to Type
Theory},
booktitle = {Automated Deduction - {CADE} 28 - 28th International Conference on
Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12699},
pages = {200--216},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-79876-5\_12},
doi = {10.1007/978-3-030-79876-5\_12},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/Chaudhuri21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/ChaudhuriDOP19,
author = {Kaustuv Chaudhuri and
Jo{\"{e}}lle Despeyroux and
Carlos Olarte and
Elaine Pimentel},
title = {Hybrid linear logic, revisited},
journal = {Math. Struct. Comput. Sci.},
volume = {29},
number = {8},
pages = {1151--1176},
year = {2019},
url = {https://doi.org/10.1017/S0960129518000439},
doi = {10.1017/S0960129518000439},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/ChaudhuriDOP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/ChaudhuriLR19,
author = {Kaustuv Chaudhuri and
Leonardo Lima and
Giselle Reis},
title = {Formalized meta-theory of sequent calculi for linear logics},
journal = {Theor. Comput. Sci.},
volume = {781},
pages = {24--38},
year = {2019},
url = {https://doi.org/10.1016/j.tcs.2019.02.023},
doi = {10.1016/J.TCS.2019.02.023},
timestamp = {Fri, 14 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/ChaudhuriLR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/ChaudhuriM019,
author = {Kaustuv Chaudhuri and
Matteo Manighetti and
Dale Miller},
editor = {Assia Mahboubi and
Magnus O. Myreen},
title = {A proof-theoretic approach to certifying skolemization},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2019, Cascais, Portugal, January
14-15, 2019},
pages = {78--90},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3293880.3294094},
doi = {10.1145/3293880.3294094},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/ChaudhuriM019.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Chaudhuri18,
author = {Kaustuv Chaudhuri},
title = {Expressing additives using multiplicatives and subexponentials},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {5},
pages = {651--666},
year = {2018},
url = {https://doi.org/10.1017/S0960129516000293},
doi = {10.1017/S0960129516000293},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Chaudhuri18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CervesatoC18,
author = {Iliano Cervesato and
Kaustuv Chaudhuri},
title = {Preface - Special Issue on Logical Frameworks and Meta-Languages 2015},
journal = {Math. Struct. Comput. Sci.},
volume = {28},
number = {9},
pages = {1506},
year = {2018},
url = {https://doi.org/10.1017/S0960129518000233},
doi = {10.1017/S0960129518000233},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CervesatoC18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/Chaudhuri18,
author = {Kaustuv Chaudhuri},
editor = {June Andronick and
Amy P. Felty},
title = {A two-level logic perspective on (simultaneous) substitutions},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN} International Conference on
Certified Programs and Proofs, {CPP} 2018, Los Angeles, CA, USA, January
8-9, 2018},
pages = {280--292},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3167093},
doi = {10.1145/3167093},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpp/Chaudhuri18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/ChaudhuriHM16,
author = {Kaustuv Chaudhuri and
Stefan Hetzl and
Dale Miller},
title = {A multi-focused proof system isomorphic to expansion proofs},
journal = {J. Log. Comput.},
volume = {26},
number = {2},
pages = {577--603},
year = {2016},
url = {https://doi.org/10.1093/logcom/exu030},
doi = {10.1093/LOGCOM/EXU030},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/logcom/ChaudhuriHM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/ChaudhuriMS16,
author = {Kaustuv Chaudhuri and
Sonia Marin and
Lutz Stra{\ss}burger},
editor = {Bart Jacobs and
Christof L{\"{o}}ding},
title = {Focused and Synthetic Nested Sequents},
booktitle = {Foundations of Software Science and Computation Structures - 19th
International Conference, {FOSSACS} 2016, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2016,
Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9634},
pages = {390--407},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49630-5\_23},
doi = {10.1007/978-3-662-49630-5\_23},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/ChaudhuriMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rta/ChaudhuriMS16,
author = {Kaustuv Chaudhuri and
Sonia Marin and
Lutz Stra{\ss}burger},
editor = {Delia Kesner and
Brigitte Pientka},
title = {Modular Focused Proof Systems for Intuitionistic Modal Logics},
booktitle = {1st International Conference on Formal Structures for Computation
and Deduction, {FSCD} 2016, June 22-26, 2016, Porto, Portugal},
series = {LIPIcs},
volume = {52},
pages = {16:1--16:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.FSCD.2016.16},
doi = {10.4230/LIPICS.FSCD.2016.16},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/rta/ChaudhuriMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ChaudhuriLR17,
author = {Kaustuv Chaudhuri and
Leonardo Lima and
Giselle Reis},
editor = {Vivek Nigam and
M{\'{a}}rio Florido},
title = {Formalized Meta-Theory of Sequent Calculi for Substructural Logics},
booktitle = {11th Workshop on Logical and Semantic Frameworks with Applications,
{LSFA} 2016, Porto, Portugal, January 1, 2016},
series = {Electronic Notes in Theoretical Computer Science},
volume = {332},
pages = {57--73},
publisher = {Elsevier},
year = {2016},
url = {https://doi.org/10.1016/j.entcs.2017.04.005},
doi = {10.1016/J.ENTCS.2017.04.005},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/ChaudhuriLR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DespeyrouxC16,
author = {Jo{\"{e}}lle Despeyroux and
Kaustuv Chaudhuri},
title = {A Hybrid Linear Logic for Constrained Transition Systems},
journal = {CoRR},
volume = {abs/1603.02641},
year = {2016},
url = {http://arxiv.org/abs/1603.02641},
eprinttype = {arXiv},
eprint = {1603.02641},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/DespeyrouxC16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/ChaudhuriCM15,
author = {Kaustuv Chaudhuri and
Matteo Cimini and
Dale Miller},
editor = {Xavier Leroy and
Alwen Tiu},
title = {A Lightweight Formalization of the Metatheory of Bisimulation-Up-To},
booktitle = {Proceedings of the 2015 Conference on Certified Programs and Proofs,
{CPP} 2015, Mumbai, India, January 15-17, 2015},
pages = {157--166},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2676724.2693170},
doi = {10.1145/2676724.2693170},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpp/ChaudhuriCM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/ChaudhuriR15,
author = {Kaustuv Chaudhuri and
Giselle Reis},
editor = {Martin Davis and
Ansgar Fehnker and
Annabelle McIver and
Andrei Voronkov},
title = {An Adequate Compositional Encoding of Bigraph Structure in Linear
Logic with Subexponentials},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th
International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28,
2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9450},
pages = {146--161},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48899-7\_11},
doi = {10.1007/978-3-662-48899-7\_11},
timestamp = {Mon, 03 Jan 2022 22:31:30 +0100},
biburl = {https://dblp.org/rec/conf/lpar/ChaudhuriR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/Brock-Nannestad15,
author = {Taus Brock{-}Nannestad and
Kaustuv Chaudhuri},
editor = {Hans de Nivelle},
title = {Disproving Using the Inverse Method by Iterative Refinement of Finite
Approximations},
booktitle = {Automated Reasoning with Analytic Tableaux and Related Methods - 24th
International Conference, {TABLEAUX} 2015, Wroc{\l}aw, Poland, September
21-24, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9323},
pages = {153--168},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24312-2\_11},
doi = {10.1007/978-3-319-24312-2\_11},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/Brock-Nannestad15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tlca/WangC15,
author = {Yuting Wang and
Kaustuv Chaudhuri},
editor = {Thorsten Altenkirch},
title = {A Proof-theoretic Characterization of Independence in Type Theory},
booktitle = {13th International Conference on Typed Lambda Calculi and Applications,
{TLCA} 2015, July 1-3, 2015, Warsaw, Poland},
series = {LIPIcs},
volume = {38},
pages = {332--346},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.TLCA.2015.332},
doi = {10.4230/LIPICS.TLCA.2015.332},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tlca/WangC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/CervesatoC15,
editor = {Iliano Cervesato and
Kaustuv Chaudhuri},
title = {Proceedings Tenth International Workshop on Logical Frameworks and
Meta Languages: Theory and Practice, {LFMTP} 2015, Berlin, Germany,
1 August 2015},
series = {{EPTCS}},
volume = {185},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.185},
doi = {10.4204/EPTCS.185},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CervesatoC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfrea/BaeldeCGMNTW14,
author = {David Baelde and
Kaustuv Chaudhuri and
Andrew Gacek and
Dale Miller and
Gopalan Nadathur and
Alwen Tiu and
Yuting Wang},
title = {Abella: {A} System for Reasoning about Relational Specifications},
journal = {J. Formaliz. Reason.},
volume = {7},
number = {2},
pages = {1--89},
year = {2014},
url = {https://doi.org/10.6092/issn.1972-5787/4650},
doi = {10.6092/ISSN.1972-5787/4650},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfrea/BaeldeCGMNTW14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/ChaudhuriG14,
author = {Kaustuv Chaudhuri and
Nicolas Guenot},
editor = {Thomas A. Henzinger and
Dale Miller},
title = {Equality and fixpoints in the calculus of structures},
booktitle = {Joint Meeting of the Twenty-Third {EACSL} Annual Conference on Computer
Science Logic {(CSL)} and the Twenty-Ninth Annual {ACM/IEEE} Symposium
on Logic in Computer Science (LICS), {CSL-LICS} '14, Vienna, Austria,
July 14 - 18, 2014},
pages = {30:1--30:10},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2603088.2603140},
doi = {10.1145/2603088.2603140},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csl/ChaudhuriG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/SouthernC14,
author = {Mary Southern and
Kaustuv Chaudhuri},
editor = {Venkatesh Raman and
S. P. Suresh},
title = {A Two-Level Logic Approach to Reasoning About Typed Specification
Languages},
booktitle = {34th International Conference on Foundation of Software Technology
and Theoretical Computer Science, {FSTTCS} 2014, December 15-17, 2014,
New Delhi, India},
series = {LIPIcs},
volume = {29},
pages = {557--569},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2014},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2014.557},
doi = {10.4230/LIPICS.FSTTCS.2014.557},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/SouthernC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lfmtp/BelangerC14,
author = {Olivier Savary B{\'{e}}langer and
Kaustuv Chaudhuri},
editor = {Amy P. Felty and
Brigitte Pientka},
title = {Automatically Deriving Schematic Theorems for Dynamic Contexts},
booktitle = {Proceedings of the 2014 International Workshop on Logical Frameworks
and Meta-languages: Theory and Practice, {LFMTP} '14, Vienna, Austria,
July 17, 2014},
pages = {9: 1--9: 8},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2631172.2631181},
doi = {10.1145/2631172.2631181},
timestamp = {Tue, 06 Nov 2018 16:57:31 +0100},
biburl = {https://dblp.org/rec/conf/lfmtp/BelangerC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/Chaudhuri15,
author = {Kaustuv Chaudhuri},
editor = {Sandra Alves and
Iliano Cervesato},
title = {Undecidability of Multiplicative Subexponential Logic},
booktitle = {Proceedings Third International Workshop on Linearity, {LINEARITY}
2014, Vienna, Austria, 13th July, 2014},
series = {{EPTCS}},
volume = {176},
pages = {1--8},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.176.1},
doi = {10.4204/EPTCS.176.1},
timestamp = {Wed, 12 Sep 2018 01:05:13 +0200},
biburl = {https://dblp.org/rec/journals/corr/Chaudhuri15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/itp/Chaudhuri13,
author = {Kaustuv Chaudhuri},
editor = {Sandrine Blazy and
Christine Paulin{-}Mohring and
David Pichardie},
title = {Subformula Linking as an Interaction Method},
booktitle = {Interactive Theorem Proving - 4th International Conference, {ITP}
2013, Rennes, France, July 22-26, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7998},
pages = {386--401},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39634-2\_28},
doi = {10.1007/978-3-642-39634-2\_28},
timestamp = {Wed, 25 Sep 2019 18:17:56 +0200},
biburl = {https://dblp.org/rec/conf/itp/Chaudhuri13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/WangCGN13,
author = {Yuting Wang and
Kaustuv Chaudhuri and
Andrew Gacek and
Gopalan Nadathur},
editor = {Ricardo Pe{\~{n}}a and
Tom Schrijvers},
title = {Reasoning about higher-order relational specifications},
booktitle = {15th International Symposium on Principles and Practice of Declarative
Programming, {PPDP} '13, Madrid, Spain, September 16-18, 2013},
pages = {157--168},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2505879.2505889},
doi = {10.1145/2505879.2505889},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/WangCGN13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/types/DespeyrouxC13,
author = {Jo{\"{e}}lle Despeyroux and
Kaustuv Chaudhuri},
editor = {Ralph Matthes and
Aleksy Schubert},
title = {A Hybrid Linear Logic for Constrained Transition Systems},
booktitle = {19th International Conference on Types for Proofs and Programs, {TYPES}
2013, April 22-26, 2013, Toulouse, France},
series = {LIPIcs},
volume = {26},
pages = {150--168},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2013},
url = {https://doi.org/10.4230/LIPIcs.TYPES.2013.150},
doi = {10.4230/LIPICS.TYPES.2013.150},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/types/DespeyrouxC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-2584,
author = {Yuting Wang and
Kaustuv Chaudhuri and
Andrew Gacek and
Gopalan Nadathur},
title = {Reasoning About Higher-Order Relational Specifications},
journal = {CoRR},
volume = {abs/1302.2584},
year = {2013},
url = {http://arxiv.org/abs/1302.2584},
eprinttype = {arXiv},
eprint = {1302.2584},
timestamp = {Fri, 11 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1302-2584.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChaudhuriD13c,
author = {Kaustuv Chaudhuri and
Jo{\"{e}}lle Despeyroux},
title = {A Hybrid Linear Logic for Constrained Transition Systems with Applications
to Molecular Biology},
journal = {CoRR},
volume = {abs/1310.4310},
year = {2013},
url = {http://arxiv.org/abs/1310.4310},
eprinttype = {arXiv},
eprint = {1310.4310},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChaudhuriD13c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpp/Chaudhuri12,
author = {Kaustuv Chaudhuri},
editor = {Chris Hawblitzel and
Dale Miller},
title = {Compact Proof Certificates for Linear Logic},
booktitle = {Certified Programs and Proofs - Second International Conference, {CPP}
2012, Kyoto, Japan, December 13-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7679},
pages = {208--223},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35308-6\_17},
doi = {10.1007/978-3-642-35308-6\_17},
timestamp = {Wed, 07 Dec 2022 23:14:04 +0100},
biburl = {https://dblp.org/rec/conf/cpp/Chaudhuri12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/ChaudhuriHM12,
author = {Kaustuv Chaudhuri and
Stefan Hetzl and
Dale Miller},
editor = {Patrick C{\'{e}}gielski and
Arnaud Durand},
title = {A Systematic Approach to Canonicity in the Classical Sequent Calculus},
booktitle = {Computer Science Logic (CSL'12) - 26th International Workshop/21st
Annual Conference of the EACSL, {CSL} 2012, September 3-6, 2012, Fontainebleau,
France},
series = {LIPIcs},
volume = {16},
pages = {183--197},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.CSL.2012.183},
doi = {10.4230/LIPICS.CSL.2012.183},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/ChaudhuriHM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/ChaudhuriGS11,
author = {Kaustuv Chaudhuri and
Nicolas Guenot and
Lutz Stra{\ss}burger},
editor = {Marc Bezem},
title = {The Focused Calculus of Structures},
booktitle = {Computer Science Logic, 25th International Workshop / 20th Annual
Conference of the EACSL, {CSL} 2011, September 12-15, 2011, Bergen,
Norway, Proceedings},
series = {LIPIcs},
volume = {12},
pages = {159--173},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2011},
url = {https://doi.org/10.4230/LIPIcs.CSL.2011.159},
doi = {10.4230/LIPICS.CSL.2011.159},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/csl/ChaudhuriGS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ChaudhuriDLM10,
author = {Kaustuv Chaudhuri and
Damien Doligez and
Leslie Lamport and
Stephan Merz},
editor = {J{\"{u}}rgen Giesl and
Reiner H{\"{a}}hnle},
title = {Verifying Safety Properties with the {TLA+} Proof System},
booktitle = {Automated Reasoning, 5th International Joint Conference, {IJCAR} 2010,
Edinburgh, UK, July 16-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6173},
pages = {142--148},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14203-1\_12},
doi = {10.1007/978-3-642-14203-1\_12},
timestamp = {Wed, 25 Sep 2019 18:19:14 +0200},
biburl = {https://dblp.org/rec/conf/cade/ChaudhuriDLM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/Chaudhuri10,
author = {Kaustuv Chaudhuri},
editor = {Anuj Dawar and
Helmut Veith},
title = {Classical and Intuitionistic Subexponential Logics Are Equally Expressive},
booktitle = {Computer Science Logic, 24th International Workshop, {CSL} 2010, 19th
Annual Conference of the EACSL, Brno, Czech Republic, August 23-27,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6247},
pages = {185--199},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15205-4\_17},
doi = {10.1007/978-3-642-15205-4\_17},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/Chaudhuri10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/ChaudhuriDLM10,
author = {Kaustuv Chaudhuri and
Damien Doligez and
Leslie Lamport and
Stephan Merz},
editor = {Ana Cavalcanti and
David D{\'{e}}harbe and
Marie{-}Claude Gaudel and
Jim Woodcock},
title = {The TLA\({}^{\mbox{+}}\) Proof System: Building a Heterogeneous Verification
Platform},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2010, 7th International
Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6255},
pages = {44},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14808-8\_3},
doi = {10.1007/978-3-642-14808-8\_3},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/ictac/ChaudhuriDLM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Chaudhuri10,
author = {Kaustuv Chaudhuri},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Magically Constraining the Inverse Method Using Dynamic Polarity Assignment},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {202--216},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_15},
doi = {10.1007/978-3-642-16242-8\_15},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Chaudhuri10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1006-3134,
author = {Kaustuv Chaudhuri},
title = {Classical and Intuitionistic Subexponential Logics are Equally Expressive},
journal = {CoRR},
volume = {abs/1006.3134},
year = {2010},
url = {http://arxiv.org/abs/1006.3134},
eprinttype = {arXiv},
eprint = {1006.3134},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-3134.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1011-2560,
author = {Kaustuv Chaudhuri and
Damien Doligez and
Leslie Lamport and
Stephan Merz},
title = {Verifying Safety Properties With the {TLA+} Proof System},
journal = {CoRR},
volume = {abs/1011.2560},
year = {2010},
url = {http://arxiv.org/abs/1011.2560},
eprinttype = {arXiv},
eprint = {1011.2560},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-2560.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/ChaudhuriPP08,
author = {Kaustuv Chaudhuri and
Frank Pfenning and
Greg Price},
title = {A Logical Characterization of Forward and Backward Chaining in the
Inverse Method},
journal = {J. Autom. Reason.},
volume = {40},
number = {2-3},
pages = {133--177},
year = {2008},
url = {https://doi.org/10.1007/s10817-007-9091-0},
doi = {10.1007/S10817-007-9091-0},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/ChaudhuriPP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/ChaudhuriMS08,
author = {Kaustuv Chaudhuri and
Dale Miller and
Alexis Saurin},
editor = {Giorgio Ausiello and
Juhani Karhum{\"{a}}ki and
Giancarlo Mauri and
C.{-}H. Luke Ong},
title = {Canonical Sequent Proofs via Multi-Focusing},
booktitle = {Fifth {IFIP} International Conference On Theoretical Computer Science
- {TCS} 2008, {IFIP} 20th World Computer Congress, {TC} 1, Foundations
of Computer Science, September 7-10, 2008, Milano, Italy},
series = {{IFIP}},
volume = {273},
pages = {383--396},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-0-387-09680-3\_26},
doi = {10.1007/978-0-387-09680-3\_26},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/ChaudhuriMS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Chaudhuri08,
author = {Kaustuv Chaudhuri},
editor = {Iliano Cervesato and
Helmut Veith and
Andrei Voronkov},
title = {Focusing Strategies in the Sequent Calculus of Synthetic Connectives},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 15th
International Conference, {LPAR} 2008, Doha, Qatar, November 22-27,
2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5330},
pages = {467--481},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89439-1\_33},
doi = {10.1007/978-3-540-89439-1\_33},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Chaudhuri08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/ChaudhuriDLM08,
author = {Kaustuv Chaudhuri and
Damien Doligez and
Leslie Lamport and
Stephan Merz},
editor = {Piotr Rudnicki and
Geoff Sutcliffe and
Boris Konev and
Renate A. Schmidt and
Stephan Schulz},
title = {A {TLA+} Proof System},
booktitle = {Proceedings of the {LPAR} 2008 Workshops, Knowledge Exchange: Automated
Provers and Proof Assistants, and the 7th International Workshop on
the Implementation of Logics, Doha, Qatar, November 22, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {418},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-418/paper2.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:21 +0100},
biburl = {https://dblp.org/rec/conf/lpar/ChaudhuriDLM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0811-1914,
author = {Kaustuv Chaudhuri and
Damien Doligez and
Leslie Lamport and
Stephan Merz},
title = {A {TLA+} Proof System},
journal = {CoRR},
volume = {abs/0811.1914},
year = {2008},
url = {http://arxiv.org/abs/0811.1914},
eprinttype = {arXiv},
eprint = {0811.1914},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0811-1914.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ChaudhuriPP06,
author = {Kaustuv Chaudhuri and
Frank Pfenning and
Greg Price},
editor = {Ulrich Furbach and
Natarajan Shankar},
title = {A Logical Characterization of Forward and Backward Chaining in the
Inverse Method},
booktitle = {Automated Reasoning, Third International Joint Conference, {IJCAR}
2006, Seattle, WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4130},
pages = {97--111},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11814771\_9},
doi = {10.1007/11814771\_9},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/ChaudhuriPP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/ChaudhuriP05,
author = {Kaustuv Chaudhuri and
Frank Pfenning},
editor = {Robert Nieuwenhuis},
title = {A Focusing Inverse Method Theorem Prover for First-Order Linear Logic},
booktitle = {Automated Deduction - CADE-20, 20th International Conference on Automated
Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3632},
pages = {69--83},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11532231\_6},
doi = {10.1007/11532231\_6},
timestamp = {Sun, 02 Oct 2022 15:55:55 +0200},
biburl = {https://dblp.org/rec/conf/cade/ChaudhuriP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/ChaudhuriP05,
author = {Kaustuv Chaudhuri and
Frank Pfenning},
editor = {C.{-}H. Luke Ong},
title = {Focusing the Inverse Method for Linear Logic},
booktitle = {Computer Science Logic, 19th International Workshop, {CSL} 2005, 14th
Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3634},
pages = {200--215},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11538363\_15},
doi = {10.1007/11538363\_15},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/ChaudhuriP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 01:25 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
