PIAZZA, Carla

Nome completo

PIAZZA, Carla

Afferenza

Dipartimento di Informatica (attivo dal 01/01/2002 al 31/12/2010)

Mostra records

Risultati 1 - 8 di 8 (tempo di esecuzione: 0.0 secondi).

2019-01-01 Marin, A.; Piazza, C.; Rossi, S.

2021-01-01 Marin, A.; Piazza, C.; Rossi, S.

2017-01-01 Sottana, Matteo; Piazza, Carla; Albarelli, Andrea

2018-01-01 Hillston, Jane; Marin, Andrea; Piazza, Carla; Rossi, Sabina

2018-01-01 Giacomo, Alzetta; Marin, Andrea; Piazza, Carla; Rossi, Sabina

2018-01-01 Hillston, Jane; Piazza, Carla; Rossi, Sabina

2021-01-01 Hillston, J.; Marin, A.; Piazza, C.; Rossi, S.

2021-01-01 Marin, A.; Piazza, C.; Rossi, S.

Titolo	Data di pubblicazione	Autori	Tipo	Abstract
A process algebra for (delimited) persistent stochastic non-interference	1-gen-2019	Marin A.Piazza C.Rossi S.	4.1 Articolo in Atti di convegno	-
D_PSNI: Delimited persistent stochastic non-interference	1-gen-2021	Marin A.Piazza C.Rossi S.	2.1 Articolo su rivista	-
Efficient Computation of Renaming Functions for ρ-reversible Discrete and Continuous Time Markov Chains	1-gen-2017	SOTTANA, MATTEOCarla PiazzaAndrea Albarelli	4.1 Articolo in Atti di convegno	-
Information Flow Security for Stochastic Processes	1-gen-2018	Hillston, JaneMarin, AndreaPiazza, CarlaRossi, Sabina	4.1 Articolo in Atti di convegno	-
Lumping-based equivalences in Markovian automata: Algorithms and applications to product-form analyses	1-gen-2018	Giacomo AlzettaAndrea MarinPIAZZA, CarlaSabina Rossi + -	2.1 Articolo su rivista	-
Persistent Stochastic Non-Interference	1-gen-2018	Jane HillstonCarla PiazzaSabina Rossi + -	4.1 Articolo in Atti di convegno	-
Persistent Stochastic Non-Interference	1-gen-2021	Hillston J.Marin A.Piazza C.Rossi S.	2.1 Articolo su rivista	-
Proportional lumpability and proportional bisimilarity	1-gen-2021	Marin A.Piazza C.Rossi S.	2.1 Articolo su rivista	-