BUGLIESI, MICHELE
BUGLIESI, MICHELE
DIPARTIMENTO DI MATEMATICA PURA ED APPLICATA (attivo dal 1987 al 2011)
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.008 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
ALGOMOVE – A Move Embedding for Algorand
2023 Benetollo, Lorenzo; Bugliesi, Michele; Crafa, Silvia; Rossi, Sabina; Spano', Alvise
| 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 | - | - |
| ALGOMOVE – A Move Embedding for Algorand | 2023 | michele bugliesisilvia crafa + | - | - | 2023 IEEE International Conference on Blockchain (Blockchain) |