Pierpaolo Degano

7 published titles

Integrated interactive computing systems : proceedings of the European Conference on Integrated Computing Systems, ECICS 82, Stresa, Italy, 1-3 September, 1982

(Contributor)

1 edition

Automata, languages and programming : 24th international colloquium, ICALP'97, Bologna, Italy, July 7-11, 1997 : proceedings

(Contributor)

1 edition

Programming languages and systems : 12th European Symposium on Programming, ESOP 2003, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, Ap

(Contributor)

1 edition

Foundations and applications of security analysis : Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2

(Contributor)

1 edition

Formal aspects of security and trust : 7th international workshop, FAST 2010, Pisa, Italy, September 16-17, 2010 : revised selected papers

(Contributor)

1 edition

Principles of Security and Trust : First International Conference, POST 2012, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -

(Contributor)

1 edition

Programming languages with applications to biology and security : essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday

(Contributor)

1 edition