Catuscia Palamidessi

12 works on record

Works

Automata, Languages and Programming (vol. # 3580)

Theory Of Security And Applications Joint Workshop Tosca 2011 Saarbrcken Germany March 31 April 1 2011 Revised Selected Papers

Computational Logic CL 2000 00

Horizons of the Mind. A Tribute to Prakash Panangaden

Trustworthy Global Computing

Formal Techniques for Distributed Objects, Components, and Systems

Methods for Location Privacy

The Science of Quantitative Information Flow

Theory of Security and Applications

Logic Programming

CONCUR 2000 - Concurrency Theory