MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Michele Bugliesi – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

35 documents found, showing 1 through 10. Next 10 →

ATOM

Abstract Object Calculi with Dynamic Messages
by Michele Bugliesi, Silvia Crafa
…Abstract Object Calculi with Dynamic Messages Michele Bugliesi ∗ Silvia Crafa Dip. di Informatica…
Add To MetaCart

Secure Safe Ambients and JVM Security (Abstract)
by Michele Bugliesi, Giuseppe Castagna — 2000
…Secure Safe Ambients and JVM Security (Abstract) Michele Bugliesi Dipartimento di Informatica…
Add To MetaCart

Non-Interference Proof Techniques for the Analysis of Cryptographic Protocols
by Michele Bugliesi, Sabina Rossi — 2003 — In Proceedings of 2003 IFIP WG 1.7, ACM SIGPLAN and GI FoMSESS Workshop on Issues in the Theory of Security (WITS'03), April 5 - 6
…Non-Interference Proof Techniques for the Analysis of Cryptographic Protocols ∗ Michele Bugliesi…
Cited by 1 (0 self) – Add To MetaCart

Matching Constraints for the Lambda Calculus of Objects
by Viviana Bono, Michele Bugliesi — 1997 — IN PROC. OF TLCA
…, Universita di Torino C.so Svizzera 185, I-10149 Torino, Italy e-mail: bono@(email omitted); Michele Bugliesi…
Cited by 8 (3 self) – Add To MetaCart

Interpretations of Extensible Objects and Types
by Viviana Bono, Michele Bugliesi — 1999 — In Proceedings of FCT’99, volume 1684 of LNCS
…Interpretations of Extensible Objects and Types Viviana Bono Michele Bugliesi School of Computer…
Cited by 1 (1 self) – Add To MetaCart

Object Calculi with Dynamic Messages
by Michele Bugliesi, Silvia Crafa — 1999 — In FOOL'6 Proc. of the 6th Int. Workshop on Foundations of Object Oriented Languages. 1999. Electronic Proceedings
…Object Calculi with Dynamic Messages Michele Bugliesi Silvia Crafa Dip. di Informatica Dip. di…
Cited by 1 (1 self) – Add To MetaCart

Boxed ambients
by Michele Bugliesi, Silvia Crafa — 2001 — In Proc. TACS 2001, LNCS 2215
…Boxed Ambients ⋆ Michele Bugliesi 1 , Giuseppe Castagna 2 , and Silvia Crafa 1,2 1 Dipartimento di…
Cited by 67 (8 self) – Add To MetaCart

Reasoning about security in mobile ambients
by Michele Bugliesi, Silvia Crafa — 2001 — In Concur 2001, number 2154 in LNCS
…Reasoning about Security in Mobile Ambients ⋆ Michele Bugliesi 1 , Giuseppe Castagna 2…
Cited by 17 (5 self) – Add To MetaCart

Matching for the Lambda Calculus of Objects
by Viviana Bono, Michele Bugliesi — 1998 — Theoretical Computer Science
…, Universit`a di Torino C.so Svizzera 185, I-10149 Torino, Italy e-mail: bono@(email omitted); Michele Bugliesi…
Cited by 7 (7 self) – Add To MetaCart

Mobile Objects
by Michele Bugliesi, Giuseppe Castagna — 2000
…Mobile Objects (Preliminary Report) Michele Bugliesi Dipartimento di Informatica Universita Ca…
Cited by 12 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB