Items where Author is "Degano, Pierpaolo"
Group by: Item Type | No Grouping Jump to: Book Number of items: 9. BookDegano, Pierpaolo and Mezzetti, Gianluca and Ferrari, Gianluigi (2011) Nominal models and resource usage control. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Degano, Pierpaolo and Gorrieri, Roberto (2009) Computational Methods in Systems Biology '09 -- Abstracts of the Posters. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Bartoletti, Massimo and Degano, Pierpaolo and Ferrari, Gianluigi and Zunino, Roberto (2008) Hard life with weak binders. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Zunino, Roberto and Bartoletti, Massimo and Degano, Pierpaolo and Ferrari, Gianluigi (2008) Model checking usage policies. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Bodei, Chiara and Gao, Han and Degano, Pierpaolo (2008) A Formal Analysis of Complex Type Flaw Attacks on Security Protocols. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Bodei, Chiara and Degano, Pierpaolo and Gao, Han and Brodo, Linda (2007) Detecting and Preventing Type flaws: a Control Flow Analysis with tags. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Bartoletti, Massimo and Degano, Pierpaolo and Ferrari, Gianluigi (2007) Planning and Verifying Service Composition. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Degano, Pierpaolo (1996) Venticinque anni di informatica. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. Degano, Pierpaolo and Priami, Corrado (1996) Compact Transition Systems. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT. |