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

Michele Bugliesi Vis

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

*2009
60EEMichele Bugliesi, Riccardo Focardi: Security Abstractions and Intruder Models (Extended Abstract). Electr. Notes Theor. Comput. Sci. 242(1): 99-112 (2009)
59EEMichele Bugliesi, Dario Colazzo, Silvia Crafa, Damiano Macedonio: A type system for Discretionary Access Control. Mathematical Structures in Computer Science 19(4): 839-875 (2009)
2008
58EEMichele Bugliesi, Riccardo Focardi: Language Based Secure Communication. CSF 2008: 3-16
2007
57EEMichele Bugliesi, Damiano Macedonio, Sabina Rossi: Static vs Dynamic Typing for Access Control in Pi-Calculus. ASIAN 2007: 282-296
56EEMichele Bugliesi, Marco Giunti: Secure implementations of typed channel abstractions. POPL 2007: 251-262
55EEMichele Bugliesi, Riccardo Focardi, Matteo Maffei: Dynamic types for authentication. Journal of Computer Security 15(6): 563-617 (2007)
54EEFranco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone: Space-aware ambients and processes. Theor. Comput. Sci. 373(1-2): 41-69 (2007)
2006
53 Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener: Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I Springer 2006
52 Michele Bugliesi, Bart Preneel, Vladimiro Sassone, Ingo Wegener: Automata, Languages and Programming, 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II Springer 2006
2005
51EEMichele Bugliesi, Riccardo Focardi, Matteo Maffei: Analysis of Typed Analyses of Authentication Protocols. CSFW 2005: 112-125
50EEMichele Bugliesi, Marco Giunti: Typed Processes in Untyped Contexts. TGC 2005: 19-32
49EEViviana Bono, Michele Bugliesi, Sophia Drossopoulou: Preface. Electr. Notes Theor. Comput. Sci. 138(2): 1-2 (2005)
48EEMichele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone: Communication and mobility control in boxed ambients. Inf. Comput. 202(1): 39-86 (2005)
47 Michele Bugliesi, Sabina Rossi: Non-interference proof techniques for the analysis of cryptographic protocols. Journal of Computer Security 13(1): 87-113 (2005)
2004
46EEMichele Bugliesi, Dario Colazzo, Silvia Crafa: Type Based Discretionary Access Control. CONCUR 2004: 225-239
45EEMichele Bugliesi, Riccardo Focardi, Matteo Maffei: Compositional Analysis of Authentication Protocols. ESOP 2004: 140-154
44EEMichele Bugliesi, Riccardo Focardi, Matteo Maffei: Authenticity by tagging and typing. FMSE 2004: 1-12
43EEMichele Bugliesi, Giuseppe Castagna, Silvia Crafa: Access control for mobile agents: The calculus of boxed ambients. ACM Trans. Program. Lang. Syst. 26(1): 57-124 (2004)
2003
42EEFranco Barbanera, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Vladimiro Sassone: A Calculus of Bounded Capacities. ASIAN 2003: 205-223
41EEMichele Bugliesi, Riccardo Focardi, Matteo Maffei: Principles for Entity Authentication. Ershov Memorial Conference 2003: 294-306
40EEMichele Bugliesi, Ambra Ceccato, Sabina Rossi: Context-Sensitive Equivalences for Non-interference Based Protocol Analysis. FCT 2003: 364-375
39EEMichele Bugliesi, Silvia Crafa, Amela Prelic, Vladimiro Sassone: Secrecy in Untrusted Networks. ICALP 2003: 969-983
38EEViviana Bono, Michele Bugliesi: First Workshop on Object Oriented Developments. Electr. Notes Theor. Comput. Sci. 82(7): (2003)
2002
37EEMichele Bugliesi, Giuseppe Castagna, Silvia Crafa, Riccardo Focardi, Vladimiro Sassone: A Survey of Name-Passing Calculi and Crypto-Primitives. FOSAD 2002: 91-138
36EEMichele Bugliesi, Silvia Crafa, Massimo Merro, Vladimiro Sassone: Communication Interference in Mobile Boxed Ambients. FSTTCS 2002: 71-84
35EEViviana Bono, Michele Bugliesi, Silvia Crafa: Typed interpretations of extensible objects. ACM Trans. Comput. Log. 3(4): 562-603 (2002)
34 Michele Bugliesi, Giuseppe Castagna: Behavioural typing for safe ambients. Comput. Lang. 28(1): 61-99 (2002)
33EESilvia Crafa, Michele Bugliesi, Giuseppe Castagna: Information Flow Security for Boxed Ambients. Electr. Notes Theor. Comput. Sci. 66(3): (2002)
32EEMichele Bugliesi, Santiago M. Pericás-Geertsen: Type Inference for Variant Object Types. Inf. Comput. 177(1): 2-27 (2002)
2001
31EEMichele Bugliesi, Giuseppe Castagna, Silvia Crafa: Reasoning about Security in Mobile Ambients. CONCUR 2001: 102-120
30EEMichele Bugliesi, Giuseppe Castagna, Silvia Crafa: Subtyping and Matching for Mobile Objects. ICTCS 2001: 235-255
29EEMichele Bugliesi, Giuseppe Castagna: Secure safe ambients. POPL 2001: 222-235
28EEMichele Bugliesi, Giuseppe Castagna, Silvia Crafa: Boxed Ambients. TACS 2001: 38-63
27EEGiuseppe Castagna, Michele Bugliesi, Silvia Crafa: An overview of Boxed Ambients. Electr. Notes Theor. Comput. Sci. 62: (2001)
2000
26EEMichele Bugliesi, Giuseppe Castagna, Silvia Crafa: Typed Mobile Objects. CONCUR 2000: 504-520
25 Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli: Object calculi in linear logic. J. Log. Comput. 10(1): 75-104 (2000)
1999
24EEViviana Bono, Michele Bugliesi: Interpretations of Extensible Objects and Types. FCT 1999: 112-123
23 Viviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori: A Subtyping for Extensible, Incomplete Objects. Fundam. Inform. 38(4): 325-364 (1999)
22EEViviana Bono, Michele Bugliesi: Matching for the lambda Calculus of Objects. Theor. Comput. Sci. 212(1-2): 101-140 (1999)
1998
21EEMichele Bugliesi, Anna Ciampolini, Evelina Lamma, Paola Mello: Optimizing Modular Logic Languages. ACM Comput. Surv. 30(3es): 10 (1998)
1997
20EEViviana Bono, Michele Bugliesi, Mariangiola Dezani-Ciancaglini, Luigi Liquori: Subtyping Constraints for Incomplete Objects (Extended Abstract). TAPSOFT 1997: 465-477
19 Viviana Bono, Michele Bugliesi: Matching Constraints for the Lambda Calculus of Objects. TLCA 1997: 46-62
1996
18 Michele Bugliesi, Giorgio Delzanno, Luigi Liquori, Maurizio Martelli: A Linear Logic Calculus Objects. JICSLP 1996: 67-81
17EEViviana Bono, Michele Bugliesi, Luigi Liquori: A Lambda Calculus of Incomplete Objects. MFCS 1996: 218-229
16 Annalisa Bossi, Michele Bugliesi, Maurizio Gabbrielli, Giorgio Levi, Maria Chiara Meo: Differential Logic Programs: Programming Methodologies and Semantics. Sci. Comput. Program. 27(3): 217-262 (1996)
1995
15EEMichele Bugliesi, Hasan M. Jamil: A Stable Model Semantics for Behavioral Inheritance in Deductive Object Oriented Languages. ICDT 1995: 222-237
1994
14 Michele Bugliesi, Hasan M. Jamil: A Logic for Encapsulation in Object-Oriented Languages. GULP-PRODE (2) 1994: 161-175
13EEMichele Bugliesi, Hasan M. Jamil: A Logic for Encapsulation in Object Oriented Languages. PLILP 1994: 215-229
12 Michele Bugliesi, Evelina Lamma, Paola Mello: Modularity in Logic Programming. J. Log. Program. 19/20: 443-502 (1994)
1993
11 Annalisa Bossi, Michele Bugliesi, Massimo Fabris: A New Fixpoint Semantics for Prolog. GULP 1993: 617-632
10 Annalisa Bossi, Michele Bugliesi, Massimo Fabris: A New Fixpoint Semantics for Prolog. ICLP 1993: 374-389
9 Michele Bugliesi, Giuseppe Nardiello: SelfLog: Language and Implementation. ICLP-Workshops on Implementation of Logic Programming Systems 1993: 1-15
8 Michele Bugliesi, Giuseppe Nardiello: SelfLog: Language and Implementation. PLILP 1993: 412-413
7 Annalisa Bossi, Michele Bugliesi: Differential Logic Programming. POPL 1993: 359-370
6 Michele Bugliesi, Evelina Lamma, Paola Mello: Partial Deduction for Structured Logic Programming. J. Log. Program. 16(1): 89-122 (1993)
1992
5EEMichele Bugliesi: On the Semantics of Inheritance in Logic Programming: Compositionality and Full Abstraction. ELP 1992: 205-215
4 Michele Bugliesi: A Declarative View of Inheritance in Logic Programming. JICSLP 1992: 113-127
1990
3EEMarco Bellia, Michele Bugliesi, M. Eugenia Occhiuto: Combinatory Forms for Equational Programming: Instances, Unification and Narrowing. CAAP 1990: 42-56
2 Michele Bugliesi, Evelina Lamma, Paola Mello: Partial Evaluation for Hierarchies of Logic Theories. NACLP 1990: 359-376
1989
1 Michele Bugliesi, F. Russo: Partial Evaluation in Prolog: Some Improvements about Cut. NACLP 1989: 645-660

Coauthor Index

1Franco Barbanera [42] [54]
2Marco Bellia [3]
3Viviana Bono [17] [19] [20] [22] [23] [24] [35] [38] [49]
4Annalisa Bossi [7] [10] [11] [16]
5Giuseppe Castagna [26] [27] [28] [29] [30] [31] [33] [34] [37] [43]
6Ambra Ceccato [40]
7Anna Ciampolini [21]
8Dario Colazzo [46] [59]
9Silvia Crafa [26] [27] [28] [30] [31] [33] [35] [36] [37] [39] [43] [46] [48] [59]
10Giorgio Delzanno [18] [25]
11Mariangiola Dezani-Ciancaglini [20] [23] [42] [54]
12Sophia Drossopoulou [49]
13Massimo Fabris [10] [11]
14Riccardo Focardi [37] [41] [44] [45] [51] [55] [58] [60]
15Maurizio Gabbrielli [16]
16Marco Giunti [50] [56]
17Hasan M. Jamil [13] [14] [15]
18Evelina Lamma [2] [6] [12] [21]
19Giorgio Levi [16]
20Luigi Liquori [17] [18] [20] [23] [25]
21Damiano Macedonio [57] [59]
22Matteo Maffei [41] [44] [45] [51] [55]
23Maurizio Martelli [18] [25]
24Paola Mello [2] [6] [12] [21]
25Maria Chiara Meo [16]
26Massimo Merro [36] [48]
27Giuseppe Nardiello [8] [9]
28M. Eugenia Occhiuto [3]
29Santiago M. Pericás-Geertsen [32]
30Amela Prelic [39]
31Bart Preneel [52] [53]
32Sabina Rossi [40] [47] [57]
33F. Russo [1]
34Vladimiro Sassone [36] [37] [39] [42] [48] [52] [53] [54]
35Ingo Wegener [52] [53]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)