Home Advanced Search
Advanced Search - Page 1
Foundations and Applications of Security Analysis: Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ... Computer Science Security and Cryptology)
- English
- Year: 2009
- Author: Pierpaolo Degano, Luca Viganò
Computational Methods in Systems Biology
- English
- Year: 2009
- Author: Pierpaolo Degano, Roberto Gorrieri
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, April 7–11, 2003 Proceedings
- English
- Year: 2003
- Author: Xavier Leroy (auth.), Pierpaolo Degano (eds.)
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
- English
- Year: 2008
- Author: Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
- English
- Year: 2008
- Author: Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)
Concurrency, Graphs and Models: Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday
- English
- Year: 2008
- Author: Rocco De Nicola, Pierpaolo Degano, José Meseguer (auth.), Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.)
Programming Languages with Applications to Biology and Security
- EPUB
- English
- Year: 2015
- Author: Bodei, Chiara;Degano, Pierpaolo;Ferrari, Gian-Luigi;Priami, Corrado
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
- English
- Year: 2012
- Author: Cynthia Dwork (auth.), Pierpaolo Degano, Joshua D. Guttman (eds.)
Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers
- English
- Year: 2010
- Author: Anindya Banerjee (auth.), Pierpaolo Degano, Joshua D. Guttman (eds.)
Formal Aspects in Security and Trust: 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers
- English
- Year: 2010
- Author: Anindya Banerjee (auth.), Pierpaolo Degano, Joshua D. Guttman (eds.)