Catuscia Palamidessi
A list of authors with biographies, life dates, and future collections of all their books.
Author's Books
12
Automata, Languages and Programming
Computational Logic CL 2000 00
CONCUR 2000 - Concurrency Theory
Horizons of the Mind. A Tribute to Prakash Panangaden
Methods for Location Privacy
Theory of Security and Applications
The Science of Quantitative Information Flow
Formal Techniques for Distributed Objects, Components, and Systems
Trustworthy Global Computing
Automata, Languages and Programming (vol. # 3580)
Logic Programming
