Designing Casanova: A Language for Games. - Giuseppe Maggiore; Alvise Spanò; Renzo Orsini; Giulia Costantini; Michele Bugliesi; Mohamed Abbadi (ACG, 2011)

Type-flow Analysis for Legacy COBOL Code. - Alvise Spanò; Michele Bugliesi; Agostino Cortesi (ICSOFT (2), 2011)

Typing Legacy COBOL Code. - Alvise Spanò; Michele Bugliesi; Agostino Cortesi (ICSOFT (Selected Papers), 2011)

A formal specification for casanova, a language for computer games. - Giuseppe Maggiore; Alvise Spanò; Renzo Orsini; Michele Bugliesi; Mohamed Abbadi; Enrico Steffinlongo (EICS, 2012)

Automatic energy-aware performance analysis of Mobile Ad-Hoc Networks. - Lucia Gallina; Tingting Han 001; Marta Z. Kwiatkowska; Andrea Marin; Sabina Rossi; Alvise Spanò (Wireless Days, 2012)

Lintent: Towards Security Type-Checking of Android Applications. - Michele Bugliesi; Stefano Calzavara; Alvise Spanò (FMOODS/FORTE, 2013)

Geographic Location Based Dynamic and Opportunistic RPL for Distributed Networks. - Manali Chakraborty; Alvise Spanò; Agostino Cortesi (CISIM, 2019)

Type-Driven Cross-Programming for Android and LEGO Mindstorms Interoperability. - Alvise Spanò; Agostino Cortesi; Giulio Zausa (CISIM, 2019)

Legodroid: A Type-Driven Library for Android and LEGO Mindstorms Interoperability. - Alvise Spanò; Agostino Cortesi (Sensors, 2020)

Geographic location based secure, dynamic and opportunistic RPL for distributed networks. - Manali Chakraborty; Alvise Spanò; Agostino Cortesi (Ad Hoc Networks, 2021)

A Wearable System for Jump Detection in Inline Figure Skating. - Antonio Panfili; Alvise Spanò; Agostino Cortesi (Sensors, 2022)

ALGOMOVE - A Move Embedding for Algorand. - Lorenzo Benetollo; Michele Bugliesi; Silvia Crafa; Sabina Rossi; Alvise Spanò (Blockchain, 2023)

Rinmaker: a fast, versatile and reliable tool to determine residue interaction networks in proteins. - Alvise Spanò; Lorenzo Fanton; Davide Pizzolato; Jacopo Moi; Francesco Vinci; Alberto Pesce; Cedrix Jurgal Dongmo Foumthuim; Achille Giacometti; Marta Simeoni (BMC Bioinform., 2023)

Vulnerability Detection in Ethereum Smart Contracts via Machine Learning: A Qualitative Analysis. - Dalila Ressi; Alvise Spanò; Lorenzo Benetollo; Carla Piazza; Michele Bugliesi; Sabina Rossi (CoRR, 2024)

Flexible and reversible conversion between extensible records and overloading constraints for ML. - Alvise Spanò (J. Syst. Softw., 2024)

Assessing Code Understanding in LLMs. - Cosimo Laneve; Alvise Spanò; Dalila Ressi; Sabina Rossi; Michele Bugliesi (FORTE, 2025)

Smart contract languages: A comparative analysis. - Massimo Bartoletti; Lorenzo Benetollo; Michele Bugliesi; Silvia Crafa; Giacomo Dal Sasso; Roberto Pettinau; Andrea Pinna 002; Mattia Piras; Sabina Rossi; Stefano Salis; Alvise Spanò; Viacheslav Tkachenko; et al. (Future Gener. Comput. Syst., 2025)