Catuscia Palamidessi

• Automata, Languages and Programming (vol. # 3580)
• Computational Logic CL 2000 00
• CONCUR 2000 - Concurrency Theory
• Formal Techniques for Distributed Objects, Components, and Systems
• Horizons of the Mind. A Tribute to Prakash Panangaden
• Logic Programming
• Methods for Location Privacy
• The Science of Quantitative Information Flow
• Theory of Security and Applications
• Theory Of Security And Applications Joint Workshop Tosca 2011 Saarbrcken Germany March 31 April 1 2011 Revised Selected Papers
• Trustworthy Global Computing
• Automata, Languages and Programming