IRIS

PIAZZA, Carla

PIAZZA, Carla  

DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE  

Mostra records
Risultati 1 - 20 di 129 (tempo di esecuzione: 0.05 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.
Adaptive Directions for Bernstein-Based Polynomial Set Evolution 1-gen-2023 Casagrande, Alberto; Piazza, Carla
AI-enhanced blockchain technology: A review of advancements and opportunities 1-gen-2024 Ressi, D.; Romanello, R.; Piazza, C.; 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 ASP Approach for the Synthesis of CNOT Minimal Quantum Circuits 1-gen-2023 Piazza, C.; Romanello, R.; Wille, R.
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