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-01-01 Marin, A.; Piazza, C.; Rossi, S.
D_PSNI: Delimited persistent stochastic non-interference
2021-01-01 Marin, A.; Piazza, C.; Rossi, S.
Efficient Computation of Renaming Functions for ρ-reversible Discrete and Continuous Time Markov Chains
2017-01-01 Sottana, Matteo; Piazza, Carla; Albarelli, Andrea
Information Flow Security for Stochastic Processes
2018-01-01 Hillston, Jane; Marin, Andrea; Piazza, Carla; Rossi, Sabina
LINC01605 Is a Novel Target of Mutant p53 in Breast and Ovarian Cancer Cell Lines
2023-01-01 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-01-01 Giacomo, Alzetta; Marin, Andrea; Piazza, Carla; Rossi, Sabina
Persistent Stochastic Non-Interference
2018-01-01 Hillston, Jane; Piazza, Carla; Rossi, Sabina
Persistent Stochastic Non-Interference
2021-01-01 Hillston, J.; Marin, A.; Piazza, C.; Rossi, S.
Proportional lumpability and proportional bisimilarity
2021-01-01 Marin, A.; Piazza, C.; Rossi, S.