STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Pierpaolo Degano | lit.salon
Pierpaolo Degano
Born:
1950
No bio available.
Add one in Open Library.
Born:
1950
Books by Pierpaolo Degano (50 max)
+ shelf
+ list
Programming Languages and Systems: 12th European Symposium on Programming, ESOP 2003, Held as Part of the Joint European Conferences on Theory and Practice ... (Lecture Notes in Computer Science)
2003
Pierpaolo Degano
+ shelf
+ list
Automata, Languages and Programming: 24th International Colloquium, ICALP'97, Bologna, Italy, July 7 - 11, 1997, Proceedings (Lecture Notes in Computer Science)
1997
Pierpaolo Degano
+ shelf
+ list
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
2008
Pierpaolo Degano, Rocco de Nicola, José Meseguer
+ shelf
+ list
Concurrency Graphs And Models Essays Dedicated To Ugo Montanari On The Occasion Of His 65th Birthday
2008
Pierpaolo Degano
+ shelf
+ list
Formal Methods for Computational Systems Biology 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008 Bertinoro, Italy, June 2-7 2008
2008
Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro
+ shelf
+ list
Computational Methods in Systems Biology 7th International Conference, CMSB 2009, Bologna, Italy, August 31-September 1, 2009. Proceedings
2009
Pierpaolo Degano
+ shelf
+ list
Formal Aspects in Security and Trust 5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers
2009
Pierpaolo Degano, Joshua Guttman, Fabio Martinelli
+ shelf
+ list
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, 2009, Revised Selected Papers
2009
Pierpaolo Degano, Luca Viganò
+ shelf
+ list
Formal Aspects in Security and Trust 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers
2010
Pierpaolo Degano
+ shelf
+ list
Formal Aspects of Security and Trust: 7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers
2011
Pierpaolo Degano
+ shelf
+ list
Formal Aspects in Security and Trust
2011
Pierpaolo Degano, Joshua Guttman
+ shelf
+ list
Principles of Security and Trust First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings
2012
Pierpaolo Degano
+ shelf
+ list
Principles of Security and Trust First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of ... March 24 - April 1, 2012, Proceedings
2012
Pierpaolo Degano, Joshua Guttman
