Fingerprint
Dive into the research topics where Kaustuv Chaudhuri is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Designing a Safe Forward Chaining Tactic Using Productive Proofs
Chaudhuri, K., Gantait, A. & Miller, D., 1 Jan 2026, Automated Reasoning with Analytic Tableaux and Related Methods - 34th International Conference, TABLEAUX 2025, Proceedings. Pozzato, G. L. & Uustalu, T. (eds.). Springer Science and Business Media Deutschland GmbH, p. 299-317 19 p. (Lecture Notes in Computer Science; vol. 15980 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Proceedings of the 20th InternationalWorkshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2025)
Chaudhuri, K. & Nantes-Sobrinho, D., 1 Jan 2025, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 431, p. i-iiResearch output: Contribution to journal › Editorial
Open Access -
About Trust and Proof: An Experimental Framework for Heterogeneous Verification
Al Wardani, F., Chaudhuri, K. & Miller, D., 1 Jan 2024, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, p. 162-183 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. LNCS 14781).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review
Open Access -
Formal Reasoning Using Distributed Assertions
Al Wardani, F., Chaudhuri, K. & Miller, D., 1 Jan 2023, Frontiers of Combining Systems - 14th International Symposium, FroCoS 2023, Proceedings. Sattler, U. & Suda, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 176-194 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14279 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Subformula Linking for Intuitionistic Logic with Application to Type Theory
Chaudhuri, K., 1 Jan 2021, Automated Deduction – CADE 28 - 28th International Conference on Automated Deduction, 2021, Proceedings. Platzer, A. & Sutcliffe, G. (eds.). Springer Science and Business Media Deutschland GmbH, p. 200-216 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12699 LNAI).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
A proof-theoretic approach to certifying skolemization
Chaudhuri, K., Manighetti, M. & Miller, D., 14 Jan 2019, CPP 2019 - Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2019. Mahboubi, A. (ed.). Association for Computing Machinery, Inc, p. 78-90 13 p. (CPP 2019 - Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2019).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Open Access -
Formalized meta-theory of sequent calculi for linear logics
Chaudhuri, K., Lima, L. & Reis, G., 16 Aug 2019, In: Theoretical Computer Science. 781, p. 24-38 15 p.Research output: Contribution to journal › Article › peer-review
Open Access -
Hybrid linear logic, revisited
Chaudhuri, K., Despeyroux, J., Olarte, C. & Pimentel, E., 1 Sept 2019, In: Mathematical Structures in Computer Science. 29, 8, p. 1151-1176 26 p.Research output: Contribution to journal › Article › peer-review
Open Access -
A two-level logic perspective on (simultaneous) substitutions
Chaudhuri, K., 8 Jan 2018, CPP 2018 - Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2018. Felty, A. & Andronick, J. (eds.). Association for Computing Machinery, Inc, p. 280-292 13 p. (CPP 2018 - Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Co-located with POPL 2018; vol. 2018-January).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Expressing additives using multiplicatives and subexponentials
Chaudhuri, K., 1 May 2018, In: Mathematical Structures in Computer Science. 28, 5, p. 651-666 16 p.Research output: Contribution to journal › Article › peer-review
Open Access