Sfoglia per Autore

opzioni
Mostrati risultati da 1 a 20 di 81
Titolo Data di pubblicazione Autori Tipo File Abstract
Differential logic programs: Programming methodologies and semantics 1-gen-1996 BOSSI, AnnalisaBUGLIESI, Michele + 2.1 Articolo su rivista -
Matching for the Lambda Calculus of Objects 1-gen-1999 BUGLIESI, Michele + 2.1 Articolo su rivista -
A subtyping for Extensible Incomplete Objects 1-gen-1999 BUGLIESI, Michele + 2.1 Articolo su rivista -
Object Calculi in Linear Logic 1-gen-2000 BUGLIESI, Michele + 2.1 Articolo su rivista -
Typed Mobile Objects 1-gen-2000 BUGLIESI, Michele + 4.1 Articolo in Atti di convegno -
Subtyping and Matching for Mobile Objects 1-gen-2001 BUGLIESI, Michele + 4.1 Articolo in Atti di convegno -
An overview of Boxed Ambients 1-gen-2001 BUGLIESI, Michele + 2.1 Articolo su rivista -
Reasoning about Security in Mobile Ambients 1-gen-2001 BUGLIESI, Michele + 4.1 Articolo in Atti di convegno -
Boxed Ambients 1-gen-2001 BUGLIESI, Michele + 4.1 Articolo in Atti di convegno -
Secure Safe Ambients 1-gen-2001 BUGLIESI, Michele + 4.1 Articolo in Atti di convegno -
Behavioural typing for safe ambients 1-gen-2002 BUGLIESI, Michele + 2.1 Articolo su rivista -
A Survey of Name-Passing Calculi and Crypto-Primitives 1-gen-2002 BUGLIESI, MicheleFOCARDI, Riccardo + 3.1 Articolo su libro -
Typed Interpretations of Extensible Objects 1-gen-2002 BUGLIESI, Michele + 2.1 Articolo su rivista -
Communication Interference in Mobile Boxed Ambient 1-gen-2002 BUGLIESI, Michele + 4.1 Articolo in Atti di convegno -
Information Flow Security for Boxed Ambients 1-gen-2002 BUGLIESI, Michele + 2.1 Articolo su rivista -
Type Inference for Variant Object Types 1-gen-2002 BUGLIESI, Michele + 2.1 Articolo su rivista -
Context-Sensitive Equivalences for Non-Interference based Protocol Analysis 1-gen-2003 BUGLIESI, MicheleROSSI, Sabina + 4.1 Articolo in Atti di convegno -
A Calculus of Bounded Capacities 1-gen-2003 BUGLIESI, Michele + 4.1 Articolo in Atti di convegno -
First Workshop on Object Oriented Developments (WOOD 2003) 1-gen-2003 BUGLIESI, Michele + 5.1 Curatela -
Secrecy in Untrusted Networks 1-gen-2003 BUGLIESI, Michele + 4.1 Articolo in Atti di convegno -
Mostrati risultati da 1 a 20 di 81
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile