MASTRATISI, Marco Antonio
MASTRATISI, Marco Antonio
Dipartimento di Scienze Politiche e Sociali
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.008 secondi).
Empowering Multidimensional Machine Learning over Cloud- Enabled Big Data Infrastructures with ClustCube
2024-01-01 Cuzzocrea, Alfredo; Gallo, Carmine; Mastratisi, Marco Antonio
Reasoning About Smart Contracts Encoded in LTL
2021-01-01 Fionda, V.; Greco, G.; Mastratisi, M. A.
Reasoning about Smart Contracts via LTL Encoding
2022-01-01 Fionda, V.; Greco, G.; Mastratisi, M. A.
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Empowering Multidimensional Machine Learning over Cloud- Enabled Big Data Infrastructures with ClustCube | 1-gen-2024 | Cuzzocrea, Alfredo; Gallo, Carmine; Mastratisi, Marco Antonio | |
Reasoning About Smart Contracts Encoded in LTL | 1-gen-2021 | Fionda, V.; Greco, G.; Mastratisi, M. A. | |
Reasoning about Smart Contracts via LTL Encoding | 1-gen-2022 | Fionda, V.; Greco, G.; Mastratisi, M. A. |