PIAZZA, Carla
PIAZZA, Carla
DMIF - DIPARTIMENTO DI SCIENZE MATEMATICHE, INFORMATICHE E FISICHE
1781P Feasibility of an automated data solution for Binary Alignment Map (BAM) files generated through next generation sequencing (NGS) of circulating tumor DNA (ctDNA)
2021-01-01 Pellizzari, L.; Rossi, N.; Verardo, M.; Spizzo, R.; Belletti, B.; Piazza, C.; Puglisi, F.; Gerratana, L.
A Proof System for Information Flow Security
2003-01-01 Bossi, A.; Focardi, R.; Piazza, Carla; Rossi, S.
ACI1 Constraints
1999-01-01 Dovier, Agostino; Piazza, Carla; Pontelli, E.; Rossi, G.
Ackermann Encoding, Bisimulations, and OBDD's
2001-01-01 Piazza, Carla; Policriti, Alberto
Ackermann Encodings, Bisimulations, and OBDDs
2004-01-01 Policriti, Alberto; Piazza, Carla
Action Refinement in Process Algebra and Security Issues
2008-01-01 Bossi, A; Piazza, Carla; Rossi, S.
Algebraic Model Checking II: Decidability of Semi-Algebraic Model Checking and its Applications to Systems Biology
2005-01-01 Mysore, V; Piazza, Carla; Mishra, B.
Algorithmic Algebraic Model Checking I: Challenges from Systems Biology⋆
2005-01-01 Piazza, Carla; M., Antoniotti; V., Mysore; Policriti, Alberto; F., Winkler; B., Mishra
Approximated Symbolic Computations over Hybrid Automata
2013-01-01 A., Casagrande; Dreossi, Tommaso; Piazza, Carla
BANANA - A Tool for Boundary Ambients Nesting ANAlysis
2003-01-01 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
2004-01-01 Braghin, C; Cortesi, A; Focardi, R; LUCCIO F., L; Piazza, Carla
Bisimulation and Unwinding for Verifying Possibilistic Security Properties
2003-01-01 Bossi, A.; Focardi, R.; Piazza, Carla; Rossi, S.
Checking Integrity via CoPS and Banana: the E-Commerce Case Study
2004-01-01 Braghin, C; Piazza, Carla
Combining static and dynamic analysis for the verification of Information Flow Security in Concurrent Programs
2006-01-01 Bossi, A; Piazza, Carla; Rossi, S.
Comparing Expressiveness of Set Constructor Symbols
2000-01-01 Dovier, Agostino; Piazza, Carla; Policriti, Alberto
Complexity of Nesting Analysis in Mobile Ambients
2003-01-01 Braghin, C.; Cortesi, A.; Focardi, R.; Luccio, F. L.; Piazza, Carla
Composing FOCoRe Hybrid Automata
2011-01-01 A., Casagrande; B., Mishra; Piazza, Carla
Compositional information flow security for concurrent programs
2007-01-01 Bossi, A.; Piazza, Carla; Rossi, S.
Computing in Non Standard Set Theories
2002-01-01 Piazza, Carla
Computing strongly connected components in a linear number of symbolic steps
2003-01-01 Gentilini, R; Piazza, Carla; Policriti, Alberto