IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 124
Titolo Data di pubblicazione Autore(i) File
Stability of Hybrid Systems and Related Questions from Systems Biology 1-gen-2005 Mishra, B; Piazza, Carla
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology⋆ 1-gen-2005 Piazza, Carla; M., Antoniotti; V., Mysore; Policriti, Alberto; F., Winkler; B., Mishra
Information flow in secure contexts 1-gen-2005 Bossi, A; Macedonio, D; Piazza, Carla; Rossi, S.
Algebraic Model Checking II: Decidability of Semi-Algebraic Model Checking and its Applications to Systems Biology 1-gen-2005 Mysore, V; Piazza, Carla; Mishra, B.
Unwinding Conditions for Security in Imperative Languages 1-gen-2005 Bossi, A; Piazza, Carla; Rossi, S.
Semi-Algebraic Constant Reset Hybrid Automata - SACoRe 1-gen-2005 Casagrande, A; Piazza, Carla; Mishra, B.
Combining static and dynamic analysis for the verification of Information Flow Security in Concurrent Programs 1-gen-2006 Bossi, A; Piazza, Carla; Rossi, S.
Tolque: A Tool for Algorithmic Algebraic Model Checking 1-gen-2006 Casagrande, A; Mysore, V; Piazza, Carla; Mishra, B.
Exploiting Model Checking in Constraint-based Approaches to the Protein Folding. 1-gen-2006 De Maria, E.; Dovier, Agostino; Montanari, Angelo; Piazza, Carla
Compositional information flow security for concurrent programs 1-gen-2007 Bossi, A.; Piazza, Carla; Rossi, S.
Synchronized Product of Semi-Algebraic O-Minimal Hybrid Automata 1-gen-2007 Casagrande, A; Corvaja, Pietro; Piazza, Carla; Mishra, B.
Translating Time-Course Gene Expression Profiles into Semi-algebraic Hybrid Automata Via Dimensionality Reduction 1-gen-2007 Casagrande, A.; Casey, K.; Falchi, R.; Piazza, Carla; Ruperti, B.; Vizzotto, Giannina; Mishra, B.
Systems Biology: Models and Logics 1-gen-2008 Piazza, Carla
Model Checking, Hybrid Automata, and Systems Biology 1-gen-2008 Piazza, Carla
Systems Biology: Models and Logics 1-gen-2008 Piazza, Carla; Policriti, Alberto
Symbolic Graphs: Linear Solutions to Connectivity Related Problems 1-gen-2008 Gentilini, R.; Piazza, Carla; Policriti, Alberto
PicNIc - Pi-calculus Non-Interference checker 1-gen-2008 Crafa, Silvia; Miculan, Marino; Mio, Matteo; Piazza, Carla; Rossi, Sabina
Discreteness, hybrid automata, and biology 1-gen-2008 Casagrande, A; Piazza, Carla; Policriti, Alberto
Action Refinement in Process Algebra and Security Issues 1-gen-2008 Bossi, A; Piazza, Carla; Rossi, S.
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets 1-gen-2008 Dovier, Agostino; Piazza, Carla; Rossi, Gianfranco
Mostrati risultati da 41 a 60 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