PIAZZA, Carla
PIAZZA, Carla
Dipartimento di Informatica (attivo dal 01/01/2002 al 31/12/2010)
A process algebra for (delimited) persistent stochastic non-interference
2019 Marin, A.; Piazza, C.; Rossi, S.
D_PSNI: Delimited persistent stochastic non-interference
2021 Marin, A.; Piazza, C.; Rossi, S.
Efficient Computation of Renaming Functions for ρ-reversible Discrete and Continuous Time Markov Chains
2017 Sottana, Matteo; Piazza, Carla; Albarelli, Andrea
Information Flow Security for Stochastic Processes
2018 Hillston, Jane; Marin, Andrea; Piazza, Carla; Rossi, Sabina
LINC01605 Is a Novel Target of Mutant p53 in Breast and Ovarian Cancer Cell Lines
2023 Coan, Michela; Toso, Martina; Cesaratto, Laura; Rigo, Ilenia; Borgna, Silvia; Dalla Pietà, Anna; Zandonà, Luigi; Iuri, Lorenzo; Zucchetto, Antonella; Piazza, Carla; Baldassarre, Gustavo; Spizzo, Riccardo; Nicoloso, Milena Sabrina
Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses
2018 Giacomo, Alzetta; Marin, Andrea; Piazza, Carla; Rossi, Sabina
Persistent Stochastic Non-Interference
2021 Hillston, J.; Marin, A.; Piazza, C.; Rossi, S.
Persistent Stochastic Non-Interference
2018 Hillston, Jane; Piazza, Carla; Rossi, Sabina
Proportional lumpability and proportional bisimilarity
2021 Marin, A.; Piazza, C.; Rossi, S.
Vulnerability Detection in Solidity Smart Contracts via Machine Learning: A Qualitative Analysis
2025 Ressi, Dalila; Spanò, Alvise; Benetollo, Lorenzo; Bugliesi, Michele; Piazza, Carla; Rossi, Sabina