Catuscia Palamidessi - Böcker

Horizons of the Mind. A Tribute to Prakash Panangaden

Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday

Science of Quantitative Information Flow

Logic Programming

19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings

Automata, Languages and Programming

32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings

Principles of Declarative Programming

10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, September 16-18, 1998 Proceedings

Computational Logic — CL 2000

First International Conference London, UK, July 24–28, 2000 Proceedings

CONCUR 2000 - Concurrency Theory

11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings

SOFSEM 2009: Theory and Practice of Computer Science

35th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings

Theory of Security and Applications

Joint Workshop, TOSCA 2011, Saarbrücken, Germany,March 31-April 1, 2011, Revised Selected Papers

Trustworthy Global Computing

7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers