dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Michele Bugliesi (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichele Bugliesi, Damiano Macedonio, Luca Pino, Sabina Rossi: Compliance Preorders for Web Services. WS-FM 2009: 76-91
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiovanni Bernardi, Michele Bugliesi, Damiano Macedonio, Sabina Rossi: A Theory of Adaptable Contract-Based Service Composition. SYNASC 2008: 327-334
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichele Bugliesi, Damiano Macedonio, Sabina Rossi: Static vs Dynamic Typing for Access Control in Pi-Calculus. ASIAN 2007: 282-296
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichele Bugliesi, Sabina Rossi: Non-interference proof techniques for the analysis of cryptographic protocols. Journal of Computer Security 13(1): 87-113 (2005)
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichele Bugliesi, Ambra Ceccato, Sabina Rossi: Context-Sensitive Equivalences for Non-interference Based Protocol Analysis. FCT 2003: 364-375

Selection of 5 from 72 records - Michele Bugliesi has 50 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page