Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Gennaro Parlato
The Tree Width of Auxiliary Storage
ACM SIGPLAN Notices
Computer Science
On Sequentializing Concurrent Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Getting Rid of Store-Buffers in TSO Analysis
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Security Analysis for Temporal Role Based Access Control
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
Security Analysis of Role-Based Access Control Through Program Verification
A Robust Class of Context-Sensitive Languages
