DELLA MONICA, DARIO
DELLA MONICA, DARIO
DIPARTIMENTO DI INGEGNERIA ELETTRICA E TECNOLOGIE DELL'INFORMAZIONE
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.012 secondi).
Laboratorio ASTREA - Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione - Università degli Studi di Napoli Federico II
2016 Murano, Aniello; Rubin, Sasha; Sorrentino, Loredana; Maubert, Bastien; DELLA MONICA, Dario; Malvone, Vadim; Arcucci, Rossella; Di Stasio, Antonio
Evaluation of temporal datasets via interval temporal logic model checking
2017 Monica, Dario Della; De Frutos-escrig, David; Montanari, Angelo; Murano, Aniello; Sciavicco, Guido
Preface
2020 Della Monica, D.; Murano, A.; Sauro, L.
Ultimately-periodic interval model checking for temporal dataset evaluation
2019 Della Monica, D.; Montanari, A.; Murano, A.; Sciavicco, G.
Parity-energy ATL for Qualitative and Quantitative Reasoning in MAS
2018 DELLA MONICA, Dario; Murano, Aniello
| Titolo | Tipologia | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|---|
| Laboratorio ASTREA - Dipartimento di Ingegneria Elettrica e Tecnologie dell'Informazione - Università degli Studi di Napoli Federico II | 8.05 Partecip. Consigli Scientifici/Direttivi | 2016 | Murano, Aniello; Rubin, Sasha; Sorrentino, Loredana; Maubert, Bastien; DELLA MONICA, Dario; Malvone, Vadim; Arcucci, Rossella; Di Stasio, Antonio | |
| Evaluation of temporal datasets via interval temporal logic model checking | 4.1 Articoli in Atti di convegno | 2017 | Monica, Dario Della; De Frutos-escrig, David; Montanari, Angelo; Murano, Aniello; Sciavicco, Guido | |
| Preface | 1.2 Recensione in rivista | 2020 | Della Monica, D.; Murano, A.; Sauro, L. | |
| Ultimately-periodic interval model checking for temporal dataset evaluation | 4.1 Articoli in Atti di convegno | 2019 | Della Monica, D.; Montanari, A.; Murano, A.; Sciavicco, G. | |
| Parity-energy ATL for Qualitative and Quantitative Reasoning in MAS | 4.1 Articoli in Atti di convegno | 2018 | DELLA MONICA, Dario; Murano, Aniello |