Sfoglia per Autore
Complexity of Nesting Analysis in Mobile Ambients
2003-01-01 C., Braghin; Cortesi, Agostino; Focardi, Riccardo; Luccio, Flaminia; C., Piazza
Special section on verification, model checking, and abstract interpretation. Preface by the section editors
2004-01-01 Lenore, Zuck; Paul, Attie; Cortesi, Agostino
Nesting analysis of mobile ambients
2004-01-01 Chiara, Braghin; Cortesi, Agostino; Focardi, Riccardo; Luccio, Flaminia; Carla, Piazza
Behind BANANA: Design and Implementation of a Tool for Nesting Analysis of Mobile Ambients
2004-01-01 C., Braghin; Cortesi, Agostino; Focardi, Riccardo; Luccio, Flaminia; C., Piazza
Informatica Umanistica: Una Disciplina di Confine
2004-01-01 Celentano, Augusto; Cortesi, Agostino; Mastandrea, Paolo
The Quality Certification Mark for Italian University Degree Programs in Computer Science
2005-01-01 Cortesi, Agostino; Nardelli, E.
Abstract Interpretation Based Verification of Non-Functional Requirements
2005-01-01 Cortesi, Agostino; Logozzo, F.
Preface. Special Issue on Abstract Interpretation for Object Oriented Languages.
2005-01-01 Cortesi, Agostino; Logozzo, F.
Abstract Interpretation for Object Oriented Languages: Quo Vadis?
2005-01-01 Cortesi, Agostino; Logozzo, F.
Flow-Sensitive Leakage Analysis in Mobile Ambients
2005-01-01 C., Braghin; Cortesi, Agostino
The Italian Certification of Computer Science University Curricula
2006-01-01 Cortesi, Agostino; Enrico, Nardelli
Prefazione
2006-01-01 Cortesi, Agostino
La certificazione Grin per la formazione informatica universitaria
2006-01-01 Cortesi, Agostino; Enrico, Nardelli
Semantic Hierarchy Refactoring by Abstract Interpretation
2006-01-01 Cortesi, Agostino; Logozzo, F.
Ada web portal: promoting women access to informatics
2007-01-01 Boschetto, E; Cortesi, Agostino
Towards an European Certification of Computer Science Curricula
2007-01-01 Cortesi, Agostino; Nardelli, E.
Causality-Based Abstraction of Multiplicity in Security Protocols
2007-01-01 Backes, M; Cortesi, Agostino; Maffei, M.
A calculus of challenges and responses
2007-01-01 M., Backes; Cortesi, Agostino; Focardi, Riccardo; Maffei, Matteo
Information flow security in Boundary Ambients
2008-01-01 Braghin, C; Cortesi, Agostino; Focardi, Riccardo
Property Driven Program Slicing
2008-01-01 Bhattacharya, S.; Cortesi, Agostino
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