IRIS

PIAZZA, Carla

PIAZZA, Carla  

DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE  

Mostra records
Risultati 1 - 20 di 112 (tempo di esecuzione: 0.017 secondi).
Titolo Data di pubblicazione Autore(i) File
1781P Feasibility of an automated data solution for Binary Alignment Map (BAM) files generated through next generation sequencing (NGS) of circulating tumor DNA (ctDNA) 1-gen-2021 Pellizzari, L.; Rossi, N.; Verardo, M.; Spizzo, R.; Belletti, B.; Piazza, C.; Puglisi, F.; Gerratana, L.
A Conservative Approach for Describing Cancer Progression 1-gen-2022 Rossi, Nicolò; Gigante, Nicola; Vitacolonna, Nicola; Piazza, Carla
A Fast Bisimulation Algorithm 1-gen-2001 Dovier, Agostino; Piazza, Carla; Policriti, Alberto
A graph-theoretic approach to map conceptual designs to XML schemas 1-gen-2013 Franceschet, Massimo; Gubiani, D.; Montanari, Angelo; Piazza, Carla
A process algebra for (delimited) persistent stochastic non-interference 1-gen-2019 Marin, A.; Piazza, C.; Rossi, S.
A Proof System for Information Flow Security 1-gen-2003 Bossi, A.; 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
A uniform approach to constraint-solving for lists, multisets, compact lists, and sets 1-gen-2008 Dovier, Agostino; Piazza, Carla; Rossi, Gianfranco
ACI1 Constraints 1-gen-1999 Dovier, Agostino; Piazza, Carla; Pontelli, E.; Rossi, G.
Ackermann Encoding, Bisimulations, and OBDD's 1-gen-2001 Piazza, Carla; Policriti, Alberto
Ackermann Encodings, Bisimulations, and OBDDs 1-gen-2004 Policriti, Alberto; Piazza, Carla
Action Refinement in Process Algebra and Security Issues 1-gen-2008 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.
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology⋆ 1-gen-2005 Piazza, Carla; M., Antoniotti; V., Mysore; Policriti, Alberto; F., Winkler; B., Mishra
An Efficient Algorithm for Computing Bisimulation Equivalence 1-gen-2004 Dovier, Agostino; Piazza, Carla; Policriti, Alberto
Approximated Symbolic Computations over Hybrid Automata 1-gen-2013 A., Casagrande; Dreossi, Tommaso; 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
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
Bisimulation and Unwinding for Verifying Possibilistic Security Properties 1-gen-2003 Bossi, A.; Focardi, R.; Piazza, Carla; Rossi, S.
Checking Integrity via CoPS and Banana: the E-Commerce Case Study 1-gen-2004 Braghin, C; Piazza, Carla