IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 124
Titolo Data di pubblicazione Autore(i) File
Computing strongly connected components in a linear number of symbolic steps 1-gen-2003 Gentilini, R; Piazza, Carla; Policriti, Alberto
BANANA - A Tool for Boundary Ambients Nesting ANAlysis 1-gen-2003 Braghin, C.; Cortesi, A.; Filippone, S.; Focardi, R.; Luccio, F. L.; Piazza, Carla
Complexity of Nesting Analysis in Mobile Ambients 1-gen-2003 Braghin, C.; Cortesi, A.; Focardi, R.; Luccio, F. L.; Piazza, Carla
The Subgraph Bisimulation Problem 1-gen-2003 Dovier, Agostino; Piazza, Carla
Refinement Operators and Information Flow Security 1-gen-2003 Bossi, A.; Focardi, R.; Piazza, Carla; Rossi, S.
Bisimulation and Unwinding for Verifying Possibilistic Security Properties 1-gen-2003 Bossi, A.; Focardi, R.; Piazza, Carla; Rossi, S.
Information Flow Security and Recursive Systems 1-gen-2003 Bossi, A.; Macedonio, D.; Piazza, Carla; Rossi, S.
Secure Contexts for Confidential Data 1-gen-2003 Bossi, A.; Macedonio, D.; Piazza, Carla; Rossi, S.
Unwinding in Information Flow Security 1-gen-2004 Bossi, A; Focardi, R; Macedonio, D; Piazza, Carla; Rossi, S.
Verifying Persistent Security Properties 1-gen-2004 Bossi, A.; Focardi, R.; Piazza, Carla; Rossi, S.
Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice 1-gen-2004 Antoniotti, M.; Piazza, Carla; Policriti, Alberto; Simeoni, M.; Mishra, B.
Nesting Analysis of Mobile Ambients 1-gen-2004 Braghin, C.; Cortesi, A.; Focardi, R.; Luccio, F. L.; Piazza, Carla
Disunification in ACI1 Theories 1-gen-2004 Dovier, Agostino; Piazza, Carla; Pontelli, E.
Checking Integrity via CoPS and Banana: the E-Commerce Case Study 1-gen-2004 Braghin, C; Piazza, Carla
Behind Banana: Design and Implemantation of a Tool for Nesting Analysis of Mobile Ambients 1-gen-2004 Braghin, C; Cortesi, A; Focardi, R; Luccio, F. L.; Piazza, Carla
Ackermann Encodings, Bisimulations, and OBDDs 1-gen-2004 Policriti, Alberto; Piazza, Carla
Modelling Downgrading in Information Flow Security 1-gen-2004 Bossi, A; Piazza, Carla; Rossi, S.
An Efficient Algorithm for Computing Bisimulation Equivalence 1-gen-2004 Dovier, Agostino; Piazza, Carla; Policriti, Alberto
CoPS - Checker of Persistent Security 1-gen-2004 Piazza, Carla; Pivato, E.; Rossi, S.
Independent Dynamics Hybrid Automata in System Biology 1-gen-2005 Casagrande, A; Mysore, V; Piazza, Carla; Mishra, B.
Mostrati risultati da 21 a 40 di 124
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