Passer à la navigation principale Passer à la recherche Passer au contenu principal
Aucune photo de Kaustuv Chaudhuri

Voir le profil Scopus

Kaustuv Chaudhuri

Chargé de recherche

  • 520
    Citations
20052026

Résultat de recherche par an

Empreinte digitale

Passez en revue plus en détail les thèmes de recherche où Kaustuv Chaudhuri est actif. Ces libellés thématiques proviennent des travaux de cette personne. Ensemble, ils forment une empreinte digitale unique.
  • 1 Profils similaires
Afficher l'empreinte digitale dans sa totalité

Collaborations et principaux domaines de recherche des cinq dernières années

Collaboration externe récente au niveau du pays/territoire. Voir les détails en cliquant sur les points ou
Explorer davantage le réseau
  • 29 Contribution à une conférence
  • 7 Article
  • 6 Éditorial
  • 3 Article de conférence
  • Afficher plus d’informations

  • Automating Proof Search when Equality is a Logical Connective

    Chaudhuri, K., Gantait, A. & Miller, D., 1 janv. 2026, Automated Reasoning - 13th International Joint Conference, IJCAR 2026, Proceedings. Biere, A., Lutz, C. & Negri, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 73-90 18 p. (Lecture Notes in Computer Science; Vol 16689 LNCS).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert

  • Designing a Safe Forward Chaining Tactic Using Productive Proofs

    Chaudhuri, K., Gantait, A. & Miller, D., 1 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert

  • Proceedings of the 20th InternationalWorkshop on Logical Frameworks and Meta-Languages: Theory and Practice (LFMTP 2025)

    Chaudhuri, K. & Nantes-Sobrinho, D., 1 janv. 2025, Dans: Electronic Proceedings in Theoretical Computer Science, EPTCS. 431, p. i-ii

    Résultats de recherche: Contribution à un journal › Éditorial

    Accès ouvert

  • About Trust and Proof: An Experimental Framework for Heterogeneous Verification

    Al Wardani, F., Chaudhuri, K. & Miller, D., 1 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Chapitre › Revue par des pairs

    Accès ouvert

  • Formal Reasoning Using Distributed Assertions

    Al Wardani, F., Chaudhuri, K. & Miller, D., 1 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert
    2 Citations (Scopus)

  • Subformula Linking for Intuitionistic Logic with Application to Type Theory

    Chaudhuri, K., 1 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert
    3 Citations (Scopus)

  • A proof-theoretic approach to certifying skolemization

    Chaudhuri, K., Manighetti, M. & Miller, D., 14 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    Accès ouvert
    1 Citation (Scopus)

  • Formalized meta-theory of sequent calculi for linear logics

    Chaudhuri, K., Lima, L. & Reis, G., 16 août 2019, Dans: Theoretical Computer Science. 781, p. 24-38 15 p.

    Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

    Accès ouvert
    14 Citations (Scopus)

  • Hybrid linear logic, revisited

    Chaudhuri, K., Despeyroux, J., Olarte, C. & Pimentel, E., 1 sept. 2019, Dans: Mathematical Structures in Computer Science. 29, 8, p. 1151-1176 26 p.

    Résultats de recherche: Contribution à un journal › Article › Revue par des pairs

    Accès ouvert
    6 Citations (Scopus)

  • A two-level logic perspective on (simultaneous) substitutions

    Chaudhuri, K., 8 janv. 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).

    Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

    1 Citation (Scopus)
Tout afficher 46 résultat de recherche