Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 233
Titolo Data di pubblicazione Autori Tipo File Abstract
Combinations of Abstract Domains for Logic Programming: Open Product and Generic Pattern Construction 1-gen-2000 CORTESI, Agostino + 2.1 Articolo su rivista -
Abstract Domains for Reordering CLP(RLin) Programs 1-gen-2000 CORTESI, Agostino + 2.1 Articolo su rivista -
Control Flow Analysis for information flow security 1-gen-2001 CORTESI, AgostinoFOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
Information Flow Security in Mobile Ambients 1-gen-2001 CORTESI, AgostinoFOCARDI, Riccardo 4.1 Articolo in Atti di convegno -
Operational Semantics for Reexecution-based Analysis of Logic Programs with Delay Declarations 1-gen-2001 CORTESI, AgostinoROSSI, Sabina + 2.1 Articolo su rivista -
Reexecution-Based Analysis of Logic Programs with Delay Declarations. 1-gen-2001 CORTESI, AgostinoROSSI, Sabina + 4.1 Articolo in Atti di convegno -
Distinctness and Sharing Domains for Static Analysis of Java Programs 1-gen-2001 CORTESI, Agostino + 4.1 Articolo in Atti di convegno -
Freshness Analysis in Security Protocols 1-gen-2002 CORTESI, AgostinoFOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
Italian National Curriculum on ICT for Schools 1-gen-2002 CORTESI, Agostino + 4.1 Articolo in Atti di convegno -
Special issue on "Computer Languages and Security" 1-gen-2002 CORTESI, AgostinoFOCARDI, Riccardo 5.1 Curatela -
Boundary Inference for Enforcing Security Policies in Mobile Ambients 1-gen-2002 CORTESI, AgostinoFOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
Verification, Model Checking, and Abstract Interpretation 1-gen-2002 CORTESI, Agostino 5.1 Curatela -
Control Flow Analysis of Mobile Ambients with Security Boundaries 1-gen-2002 CORTESI, AgostinoFOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
Computer Languages and Security 1-gen-2002 CORTESI, AgostinoFOCARDI, Riccardo 2.1 Articolo su rivista -
Security Boundaries in Mobile Ambient 1-gen-2002 CORTESI, AgostinoFOCARDI, Riccardo + 2.1 Articolo su rivista -
Operational and Abstract Semantics of the Query Language G-Log 1-gen-2002 CORTESI, Agostino + 2.1 Articolo su rivista -
Verification, Model Checking, and AbstractInterpretation, 4th International Conference, VMCAI 2003 1-gen-2003 CORTESI, Agostino + 5.1 Curatela -
BANANA: A tool for Boundary Ambients Nesting ANAlysis 1-gen-2003 CORTESI, AgostinoFOCARDI, RiccardoLUCCIO, Flaminia + 4.1 Articolo in Atti di convegno -
Static Analysis 1-gen-2003 CORTESI, Agostino + 2.1 Articolo su rivista -
Information Leakage Detection in Boundary Ambients 1-gen-2003 CORTESI, AgostinoFOCARDI, Riccardo + 4.1 Articolo in Atti di convegno -
Mostrati risultati da 21 a 40 di 233
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