PIAZZA, Carla

PIAZZA, Carla  

DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE  

Mostra records
Risultati 1 - 20 di 110 (tempo di esecuzione: 0.008 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 Proof System for Information Flow Security 1-gen-2003 Bossi, A.; Focardi, R.; Piazza, Carla; Rossi, S.
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
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
Combining static and dynamic analysis for the verification of Information Flow Security in Concurrent Programs 1-gen-2006 Bossi, A; Piazza, Carla; Rossi, S.
Comparing Expressiveness of Set Constructor Symbols 1-gen-2000 Dovier, Agostino; Piazza, Carla; Policriti, Alberto
Complexity of Nesting Analysis in Mobile Ambients 1-gen-2003 Braghin, C.; Cortesi, A.; Focardi, R.; Luccio, F. L.; Piazza, Carla
Composing FOCoRe Hybrid Automata 1-gen-2011 A., Casagrande; B., Mishra; Piazza, Carla
Compositional information flow security for concurrent programs 1-gen-2007 Bossi, A.; Piazza, Carla; Rossi, S.
Computing in Non Standard Set Theories 1-gen-2002 Piazza, Carla
Computing strongly connected components in a linear number of symbolic steps 1-gen-2003 Gentilini, R; Piazza, Carla; Policriti, Alberto