Discover open access scientific publications

Search, annotate, share and cite publications

Publications by P. Madhusudan

The Tree Width of Auxiliary Storage

ACM SIGPLAN Notices
Computer Science
2011English

ICE: A Robust Framework for Learning Invariants

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Compositionality Entails Sequentializability

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Security Analysis for Temporal Role Based Access Control

Journal of Computer Security
RiskComputer NetworksHardwareCommunicationsReliabilitySafetyArchitectureQualitySoftware
2014English

Security Analysis of Role-Based Access Control Through Program Verification

2012English

Adding Nesting Structure to Words

Journal of the ACM
ControlSystems EngineeringInformation SystemsHardwareArchitectureArtificial IntelligenceSoftware
2009English

Causal Atomicity

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Visibly Pushdown Languages

2004English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy