Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
7 links
Kaustuv Chaudhuri
Researcher
PaperClassical and Intuitionistic Subexponential Logics are Equally ExpressiveAuthorship / preprint / 2010PaperVerifying Safety Properties With the TLA+ Proof SystemAuthorship / preprint / 2010PaperA Hybrid Linear Logic for Constrained Transition Systems with Applications to Molecular BiologyAuthorship / preprint / 2013PaperUndecidability of Multiplicative Subexponential LogicAuthorship / preprint / 2015PaperReasoning About Higher-Order Relational SpecificationsAuthorship / preprint / 2013PaperProceedings Tenth International Workshop on Logical Frameworks and Meta Languages: Theory and PracticeAuthorship / preprint / 2015PaperA Hybrid Linear Logic for Constrained Transition SystemsAuthorship / preprint / 2016