SPANO', Alvise
SPANO', Alvise
Dipartimento di Scienze Ambientali, Informatica e Statistica
A formal specification for Casanova, a language for computer games
2012-01-01 Giuseppe, Maggiore; Alvise, Spanò; Orsini, Renzo; Bugliesi, Michele; Abbadi, Mohamed; Steffinlongo, Enrico
A Wearable System for Jump Detection in Inline Figure Skating
2022-01-01 Panfili, A.; Spano, A.; Cortesi, A.
ALGOMOVE – A Move Embedding for Algorand
2023-01-01 Benetollo, Lorenzo; Bugliesi, Michele; Crafa, Silvia; Rossi, Sabina; Spanò, Alvise
Automatic Energy-aware Performance Analysis of Mobile Ad-hoc Networks
2012-01-01 Gallina, Lucia; T., Han; M., Kwiatkowska; Marin, Andrea; Rossi, Sabina; S., Spanò
Designing Casanova: a language for games
2011-01-01 Giuseppe, Maggiore; Alvise, Spanò; Orsini, Renzo; Giulia, Costantini; Bugliesi, Michele; Abbadi, Mohamed
Flexible and reversible conversion between extensible records and overloading constraints for ML
2024-01-01 Spanò, Alvise
Geographic location based dynamic and opportunistic RPL for distributed networks
2019-01-01 Chakraborty, M.; Spano, A.; Cortesi, A.
Geographic location based secure, dynamic and opportunistic RPL for distributed networks
2021-01-01 Chakraborty, M.; Spano, A.; Cortesi, A.
Legodroid: A Type-Driven Library for Android and LEGO Mindstorms Interoperability
2020-01-01 Spano, A.; Cortesi, A.
Lintent: Towards Security Type-Checking of Android Applications
2013-01-01 Bugliesi, Michele; Calzavara, Stefano; Spano', Alvise
RINmaker: a fast, versatile and reliable tool to determine residue interaction networks in proteins
2023-01-01 Spanò, Alvise; Fanton, Lorenzo; Pizzolato, Davide; Moi, Jacopo; Vinci, Francesco; Pesce, Alberto; Dongmo Foumthuim, Cedrix J.; Giacometti, Achille; Simeoni, Marta
Smart contract languages: A comparative analysis
2024-01-01 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
Type-driven cross-programming for android and LEGO Mindstorms interoperability
2019-01-01 Spano, A.; Cortesi, A.; Zausa, G.
Type-Flow Analysis for Legacy Cobol Code
2011-01-01 Spano', Alvise; Bugliesi, Michele; Cortesi, Agostino
Typing Legacy COBOL Code
2013-01-01 Spano', Alvise; Bugliesi, Michele; Cortesi, Agostino