TURRINI, Andrea
TURRINI, Andrea
DIPARTIMENTO DI INFORMATICA (attivo dal 01/07/2001 al 30/04/2010)
Mostra
records
Risultati 1 - 4 di 4 (tempo di esecuzione: 0.004 secondi).
A Quantitative Doxastic Logic for Probabilistic Processes and Applications to Information-Hiding
2009-01-01 Kramer, S.; Palamidessi, C.; Segala, Roberto; Turrini, Andrea; Braun, C.
Approximated Computationally Bounded Simulation Relations for Probabilistic Automata
2007-01-01 Segala, Roberto; Turrini, Andrea
Conditional Automata: A Tool for Safe Removal of Negligible Events
2010-01-01 Segala, Roberto; Turrini, Andrea
Hierarchical and compositional verification of cryptographic protocols
2009-01-01 Turrini, Andrea
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Quantitative Doxastic Logic for Probabilistic Processes and Applications to Information-Hiding | 1-gen-2009 | Kramer, S.; Palamidessi, C.; Segala, Roberto; Turrini, Andrea; Braun, C. | |
Approximated Computationally Bounded Simulation Relations for Probabilistic Automata | 1-gen-2007 | Segala, Roberto; Turrini, Andrea | |
Conditional Automata: A Tool for Safe Removal of Negligible Events | 1-gen-2010 | Segala, Roberto; Turrini, Andrea | |
Hierarchical and compositional verification of cryptographic protocols | 1-gen-2009 | Turrini, Andrea |