Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 233
Titolo Data di pubblicazione Autori Tipo File Abstract
Complexity of Nesting Analysis in Mobile Ambients 1-gen-2003 CORTESI, AgostinoFOCARDI, RiccardoLUCCIO, Flaminia + 4.1 Articolo in Atti di convegno -
Special section on verification, model checking, and abstract interpretation. Preface by the section editors 1-gen-2004 CORTESI, Agostino + 2.1 Articolo su rivista -
Nesting analysis of mobile ambients 1-gen-2004 CORTESI, AgostinoFOCARDI, RiccardoLUCCIO, Flaminia + 2.1 Articolo su rivista -
Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients 1-gen-2004 CORTESI, AgostinoFOCARDI, RiccardoLUCCIO, Flaminia + 4.1 Articolo in Atti di convegno -
Informatica Umanistica: Una Disciplina di Confine 1-gen-2004 CELENTANO, AugustoCORTESI, AgostinoMASTANDREA, Paolo 2.1 Articolo su rivista -
The Quality Certification Mark for Italian University Degree Programs in Computer Science 1-gen-2005 CORTESI, Agostino + 4.1 Articolo in Atti di convegno -
Abstract Interpretation Based Verification of Non-Functional Requirements 1-gen-2005 CORTESI, Agostino + 4.1 Articolo in Atti di convegno -
Preface. Special Issue on Abstract Interpretation for Object Oriented Languages. 1-gen-2005 CORTESI, Agostino + 4.1 Articolo in Atti di convegno -
Abstract Interpretation for Object Oriented Languages: Quo Vadis? 1-gen-2005 CORTESI, Agostino + 4.1 Articolo in Atti di convegno -
Flow-Sensitive Leakage Analysis in Mobile Ambients 1-gen-2005 CORTESI, Agostino + 4.1 Articolo in Atti di convegno -
The Italian Certification of Computer Science University Curricula 1-gen-2006 CORTESI, Agostino + 4.1 Articolo in Atti di convegno -
Prefazione 1-gen-2006 CORTESI, Agostino 3.2 Prefazione/Postfazione -
La certificazione Grin per la formazione informatica universitaria 1-gen-2006 CORTESI, Agostino + 3.1 Articolo su libro -
Semantic Hierarchy Refactoring by Abstract Interpretation 1-gen-2006 CORTESI, Agostino + 4.1 Articolo in Atti di convegno -
Ada web portal: promoting women access to informatics 1-gen-2007 CORTESI, Agostino + 4.1 Articolo in Atti di convegno -
Towards an European Certification of Computer Science Curricula 1-gen-2007 CORTESI, Agostino + 2.1 Articolo su rivista -
Causality-Based Abstraction of Multiplicity in Security Protocols 1-gen-2007 CORTESI, Agostino + 4.1 Articolo in Atti di convegno -
A calculus of challenges and responses 1-gen-2007 CORTESI, AgostinoFOCARDI, RiccardoMAFFEI, Matteo + 4.1 Articolo in Atti di convegno -
Information flow security in Boundary Ambients 1-gen-2008 CORTESI, AgostinoFOCARDI, Riccardo + 2.1 Articolo su rivista -
Property Driven Program Slicing 1-gen-2008 CORTESI, Agostino + 4.1 Articolo in Atti di convegno -
Mostrati risultati da 41 a 60 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