Catuscia Palamidessi

Identifiers

Open LibraryOL3242821A

Top Subjects

Logics and Meanings of Programs (1)
Computer science (1)
Artificial intelligence (1)
Programming Techniques (1)
Artificial Intelligence (incl. Robotics) (1)
Mathematical Logic and Formal Languages (1)
Logic design (1)

Books by Catuscia Palamidessi

Total count: 9

Computational Logic CL 2000 00First International Conference London, UK, July 2428, 2000 Proceedings

Springer-Verlag Berlin Heidelberg2000-01-01
CONCUR 2000 - Concurrency Theory11th International Conference, University Park, PA, USA, August 22-25, 2000 Proceedings (Lecture Notes in Computer Science)1 edition

Springer2000-09-15
Logic Programming19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings

Springer London, Limited2003-01-01
Automata, Languages and Programming32nd International Colloquim, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings

Springer London, Limited2005-01-01
Theory of Security and ApplicationsJoint Workshop, TOSCA 2011, Saarbrücken, Germany,March 31-April 1, 2011, Revised Selected Papers

Springer2012-02-28
Trustworthy Global Computing7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers

Springer London, Limited2013-01-01
Horizons of the Mind. a Tribute to Prakash PanangadenEssays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday

Springer London, Limited2014-01-01
Formal Techniques for Distributed Objects, Components, and Systems34th IFIP WG 6. 1 International Conference, FORTE 2014, Held As Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings

Springer London, Limited2014-01-01
The Science of Quantitative Information Flow

Springer2020-09-21