Sfoglia per Serie CEUR WORKSHOP PROCEEDINGS
Unbiasing collaborative filtering for popularity-aware recommendation
2021-01-01 Caroprese, L.; Manco, G.; Minici, M.; Pisani, F. S.; Ritacco, E.
Visualizing CHC Verification Conditions for Smart Contracts Auditing
2024-01-01 Di Ianni, M.; Fioravanti, F.; Matricardi, G.
Well founded semantics for P2P deductive databases
2019-01-01 Caroprese, L.; Zumpano, E.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Unbiasing collaborative filtering for popularity-aware recommendation | 2021 | Caroprese, L.; Manco, G.; Minici, M.; Pisani, F. S.; Ritacco, E. | |
| Visualizing CHC Verification Conditions for Smart Contracts Auditing | 2024 | Di Ianni, M.; Fioravanti, F.; Matricardi, G. | |
| Well founded semantics for P2P deductive databases | 2019 | Caroprese, L.; Zumpano, E. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile