Catuscia Palamidessi

6 published titles

Principles of declarative programming : 10th International Symposium, PLILP'98, held jointly with the 6th International Conference, ALP'98, Pisa, Italy, 16-18, September 1998 : proceedings

(Contributor)

1 edition

CONCUR 2000 : concurrency theory : 11th International Conference, University Park, PA, USA, August 22-25, 2000 proceedings

(Contributor)

1 edition

Logic programming : 19th international conference, ICLP 2003, Mumbai, India, December 9-13, 2003 : proceedings

(Contributor)

1 edition

Theory of security and applications : joint workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1 2011 : revised selected papers

(Contributor)

1 edition

Trustworthy global computing : 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, revised selected papers

(Contributor)

1 edition

Formal techniques for distributed objects, components, and systems : 34thIFIP WG 6.1 international conference, FORTE 2014, Held as part of the 9th international federated conference on distributed com

(Contributor)

1 edition