BUGLIESI, MICHELE
BUGLIESI, MICHELE
DIPARTIMENTO DI MATEMATICA PURA ED APPLICATA (attivo dal 1987 al 2011)
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.006 secondi).
AlgoMove: Typed Abstractions for Algorand Smart Contracts
2026 Spanò, Alvise; Benetollo, Lorenzo; Bugliesi, Michele; Crafa, Silvia; Ressi, Dalila; Rossi, Sabina
Smart contract languages: A comparative analysis
2024 Bartoletti, Massimo; Benetollo, Lorenzo; Bugliesi, Michele; Crafa, Silvia; Sasso, Giacomo Dal; Pettinau, Roberto; Pinna, Andrea; Piras, Mattia; Rossi, Sabina; Salis, Stefano; Spanò, Alvise; Tkachenko, Viacheslav; Tonelli, Roberto; Zunino, Roberto
| Titolo | Data di pubblicazione | Autori | Rivista | Serie | Titolo libro |
|---|---|---|---|---|---|
| AlgoMove: Typed Abstractions for Algorand Smart Contracts | 2026 | Bugliesi, MicheleCrafa, Silvia + | BLOCKCHAIN: RESEARCH AND APPLICATIONS | - | - |
| Smart contract languages: A comparative analysis | 2024 | Bugliesi, MicheleCrafa, Silvia + | FUTURE GENERATION COMPUTER SYSTEMS | - | - |