( en | de | ru )

 

Disambiguation of "Chaudhuri, Kaustuv"

Author of the publication

copydeleteadd this publication to your clipboard
The TLA<sup> + </sup> Proof System: Building a Heterogeneous Verification Platform

, , , and . Theoretical Aspects of Computing – ICTAC 2010, volume 6255 of Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 10.1007/978-3-642-14808-8_3.(2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Nondini Chaudhuri

Mitochondriale Bildung von reaktiven Sauerstoffspezies in Abhängigkeit vom Sauerstoffpartialdruck und der mitochondrialen Aktivität. Uni Heidelberg, (2010)

Manis Chaudhuri

Indronil Chaudhuri

Bidisha Chaudhuri

Tushar Chaudhuri

 

Other publications of authors with the same name

A two-level logic perspective on (simultaneous) substitutions.. CPP, page 280-292. ACM, (2018)A Two-Level Logic Approach to Reasoning About Typed Specification Languages., and . FSTTCS, volume 29 of LIPIcs, page 557-569. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2014)Magically Constraining the Inverse Method Using Dynamic Polarity Assignment.. LPAR (Yogyakarta), volume 6397 of Lecture Notes in Computer Science, page 202-216. Springer, (2010)A Hybrid Linear Logic for Constrained Transition Systems., and . TYPES, volume 26 of LIPIcs, page 150-168. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)A Systematic Approach to Canonicity in the Classical Sequent Calculus., , and . CSL, volume 16 of LIPIcs, page 183-197. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Automatically Deriving Schematic Theorems for Dynamic Contexts., and . LFMTP, page 9: 1-9: 8. ACM, (2014)Classical and Intuitionistic Subexponential Logics Are Equally Expressive.. CSL, volume 6247 of Lecture Notes in Computer Science, page 185-199. Springer, (2010)A Lightweight Formalization of the Metatheory of Bisimulation-Up-To., , and . CPP, page 157-166. ACM, (2015)Disproving Using the Inverse Method by Iterative Refinement of Finite Approximations., and . TABLEAUX, volume 9323 of Lecture Notes in Computer Science, page 153-168. Springer, (2015)Focusing the Inverse Method for Linear Logic., and . CSL, volume 3634 of Lecture Notes in Computer Science, page 200-215. Springer, (2005)