IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 50 di 129
Titolo Data di pubblicazione Autore(i) File
On the Representation and Management of Finite Sets in CLP-languages 1-gen-1998 Dovier, Agostino; Piazza, Carla; Pontelli, E.; Rossi, G.
ACI1 Constraints 1-gen-1999 Dovier, Agostino; Piazza, Carla; Pontelli, E.; Rossi, G.
Sets and Constraint Logic Programming 1-gen-2000 Dovier, Agostino; Piazza, Carla; Pontelli, E.; Rossi, G.
Comparing Expressiveness of Set Constructor Symbols 1-gen-2000 Dovier, Agostino; Piazza, Carla; Policriti, Alberto
Towards tableau-based decision procedures for non-well-founded fragments of set theory 1-gen-2000 Piazza, Carla; Policriti, Alberto
Ackermann Encoding, Bisimulations, and OBDD's 1-gen-2001 Piazza, Carla; Policriti, Alberto
A Fast Bisimulation Algorithm 1-gen-2001 Dovier, Agostino; Piazza, Carla; Policriti, Alberto
Multiset Constraints and P Systems 1-gen-2001 Dovier, Agostino; Piazza, Carla; Rossi, G.
Multiset rewriting by multiset constraint solving 1-gen-2001 Dovier, Agostino; Piazza, Carla; Rossi, G.
Simulation as Coarsest Partition Problem 1-gen-2002 Gentilini, R.; Piazza, Carla; Policriti, Alberto
Rank-Based Symbolic Bisimulation (and Model Checking) 1-gen-2002 Dovier, Agostino; Gentilini, R; Piazza, Carla; Policriti, Alberto
Transforming Processes to Check and Ensure Information Flow Security 1-gen-2002 Bossi, A.; Focardi, R.; Piazza, Carla; Rossi, S.
Computing in Non Standard Set Theories 1-gen-2002 Piazza, Carla
Simulation Reduction as Constraint 1-gen-2002 Gentilini, R; Piazza, Carla; Policriti, Alberto
Proofs Methods for Bisimulation Based Information Flow Security 1-gen-2002 Focardi, R.; Piazza, Carla; Rossi, S.
A sense of life: computational and experimental investigations with models of biochemical and evolutionary processes 1-gen-2003 Mishra, Bud; Daruwala, Raoul Sam; Zhou, Yi; Ugel, Nadia; Policriti, Alberto; Antoniotti, Marco; Paxia, Salvatore; Rejali, Marc; Rudra, Archisman; Cherepinsky, Vera; Silver, Naomi; Casey, William; Piazza, Carla; Simeoni, Marta; Barbano, Paolo; Spivak, Marina; Feng, Jiawu; Gill, Ofer; Venkatesh, Mysore; Cheng, Fang; Sun, Bing; Ioniata, Iuliana; Anantharaman, Thomas; Hubbard, E. Jane Albert; Pnueli, Amir; Harel, David; Chandru, Vijay; Hariharan, Ramesh; Wigler, Michael; Park, Frank; Lin, Shih Chieh; Lazebnik, Yuri; Winkler, Franz; Cantor, Charles R; Carbone, Alessandra; Gromov, Mikhael
Refinement Operators and Information Flow Security 1-gen-2003 Bossi, A.; Focardi, R.; Piazza, Carla; Rossi, S.
Complexity of Nesting Analysis in Mobile Ambients 1-gen-2003 Braghin, C.; Cortesi, A.; Focardi, R.; Luccio, F. L.; Piazza, Carla
BANANA - A Tool for Boundary Ambients Nesting ANAlysis 1-gen-2003 Braghin, C.; Cortesi, A.; Filippone, S.; Focardi, R.; Luccio, F. L.; Piazza, Carla
From Bisimulation to Simulation: Coarsest Partition Problems 1-gen-2003 Gentilini, R.; Piazza, Carla; Policriti, Alberto
Computing strongly connected components in a linear number of symbolic steps 1-gen-2003 Gentilini, R; Piazza, Carla; Policriti, Alberto
Information Flow Security and Recursive Systems 1-gen-2003 Bossi, A.; Macedonio, D.; Piazza, Carla; Rossi, S.
Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing 1-gen-2003 Antoniotti, M.; Mishra, B.; Piazza, Carla; Policriti, Alberto; Simeoni, M.
The Subgraph Bisimulation Problem 1-gen-2003 Dovier, Agostino; Piazza, Carla
A Proof System for 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.
Secure Contexts for Confidential Data 1-gen-2003 Bossi, A.; Macedonio, D.; Piazza, Carla; Rossi, S.
Simulating Polyadic Modal Logics by Monadic Ones 1-gen-2003 Goguadze, G.; Piazza, Carla; Venema, Y.
Checking Integrity via CoPS and Banana: the E-Commerce Case Study 1-gen-2004 Braghin, C; Piazza, Carla
Ackermann Encodings, Bisimulations, and OBDDs 1-gen-2004 Policriti, Alberto; Piazza, Carla
CoPS - Checker of Persistent Security 1-gen-2004 Piazza, Carla; Pivato, E.; Rossi, S.
An Efficient Algorithm for Computing Bisimulation Equivalence 1-gen-2004 Dovier, Agostino; Piazza, Carla; Policriti, Alberto
Disunification in ACI1 Theories 1-gen-2004 Dovier, Agostino; Piazza, Carla; Pontelli, E.
Verifying Persistent Security Properties 1-gen-2004 Bossi, A.; Focardi, R.; Piazza, Carla; Rossi, S.
Nesting Analysis of Mobile Ambients 1-gen-2004 Braghin, C.; Cortesi, A.; Focardi, R.; Luccio, F. L.; Piazza, Carla
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.
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
Unwinding in Information Flow Security 1-gen-2004 Bossi, A; Focardi, R; Macedonio, D; Piazza, Carla; Rossi, S.
Modelling Downgrading in Information Flow Security 1-gen-2004 Bossi, A; 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.
Semi-Algebraic Constant Reset Hybrid Automata - SACoRe 1-gen-2005 Casagrande, A; Piazza, Carla; Mishra, B.
Unwinding Conditions for Security in Imperative Languages 1-gen-2005 Bossi, A; Piazza, Carla; Rossi, S.
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology⋆ 1-gen-2005 Piazza, Carla; M., Antoniotti; V., Mysore; Policriti, Alberto; F., Winkler; B., Mishra
Stability of Hybrid Systems and Related Questions from Systems Biology 1-gen-2005 Mishra, B; Piazza, Carla
Information flow in secure contexts 1-gen-2005 Bossi, A; Macedonio, D; Piazza, Carla; Rossi, S.
Independent Dynamics Hybrid Automata in System Biology 1-gen-2005 Casagrande, A; Mysore, V; 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.
Exploiting Model Checking in Constraint-based Approaches to the Protein Folding. 1-gen-2006 De Maria, E.; Dovier, Agostino; Montanari, Angelo; Piazza, Carla
Tolque: A Tool for Algorithmic Algebraic Model Checking 1-gen-2006 Casagrande, A; Mysore, V; Piazza, Carla; Mishra, B.
Synchronized Product of Semi-Algebraic O-Minimal Hybrid Automata 1-gen-2007 Casagrande, A; Corvaja, Pietro; Piazza, Carla; Mishra, B.
Mostrati risultati da 1 a 50 di 129
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