CATTA, DAVIDE
CATTA, DAVIDE
DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.006 secondi).
Reasoning about Intuitionistic Computation Tree Logic
2023 Catta, D.; Malvone, V.; Murano, A.
A Game Theoretic Approach to Attack Graphs
2023 Catta, D.; Di Stasio, A.; Leneutre, J.; Malvone, V.; Murano, A.
An Intuitionistic Version of Computation Tree Logic
2024 Capone, Andrea; Catta, Davide; Murano, Aniello
| Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|---|
| Reasoning about Intuitionistic Computation Tree Logic | 2.1 Contributo in volume (Capitolo o Saggio) | 2023 | Catta, D.; Malvone, V.; Murano, A. | |
| A Game Theoretic Approach to Attack Graphs | 2.1 Contributo in volume (Capitolo o Saggio) | 2023 | Catta, D.; Di Stasio, A.; Leneutre, J.; Malvone, V.; Murano, A. | |
| An Intuitionistic Version of Computation Tree Logic | 3.1 Monografia o trattato scientifico | 2024 | Capone, Andrea; Catta, Davide; Murano, Aniello |