Alvise Spanò

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 12

Top Topics

Interaction Networks

Protein Complexes

Lego Mindstorms

Top Venues

Publications

Massimo Bartoletti, Lorenzo Benetollo, Michele Bugliesi, Silvia Crafa, Giacomo Dal Sasso, Roberto Pettinau, Andrea Pinna, Mattia Piras, Sabina Rossi, Stefano Salis, Alvise Spanò, Viacheslav Tkachenko, Roberto Tonelli, Roberto Zunino
Smart Contract Languages: a comparative analysis. CoRR (2024)
Alvise Spanò
Flexible and reversible conversion between extensible records and overloading constraints for ML. J. Syst. Softw. 216 (2024)
Dalila Ressi, Alvise Spanò, Lorenzo Benetollo, Carla Piazza, Michele Bugliesi, Sabina Rossi
Vulnerability Detection in Ethereum Smart Contracts via Machine Learning: A Qualitative Analysis. CoRR (2024)
Alvise Spanò
Flexible and Reversible Conversion between Extensible Records and Overloading Constraints for ML. CoRR (2024)
Lorenzo Benetollo, Michele Bugliesi, Silvia Crafa, Sabina Rossi, Alvise Spanò
ALGOMOVE - A Move Embedding for Algorand. Blockchain (2023)
Alvise Spanò, Lorenzo Fanton, Davide Pizzolato, Jacopo Moi, Francesco Vinci, Alberto Pesce, Cedrix Jurgal Dongmo Foumthuim, Achille Giacometti, Marta Simeoni
Rinmaker: a fast, versatile and reliable tool to determine residue interaction networks in proteins. BMC Bioinform. 24 (1) (2023)
Alvise Spanò, Lorenzo Fanton, Davide Pizzolato, Jacopo Moi, Francesco Vinci, Alberto Pesce, Cedrix Jurgal Dongmo Foumthuim, Achille Giacometti, Marta Simeoni
Rinmaker: a fast, versatile and reliable tool to determine residue interaction networks in proteins. BMC Bioinform. 24 (1) (2023)
Antonio Panfili, Alvise Spanò, Agostino Cortesi
A Wearable System for Jump Detection in Inline Figure Skating. Sensors 22 (4) (2022)
Manali Chakraborty, Alvise Spanò, Agostino Cortesi
Geographic location based secure, dynamic and opportunistic RPL for distributed networks. Ad Hoc Networks 123 (2021)
Alvise Spanò, Agostino Cortesi
Legodroid: A Type-Driven Library for Android and LEGO Mindstorms Interoperability. Sensors 20 (7) (2020)
Alvise Spanò, Agostino Cortesi, Giulio Zausa
Type-Driven Cross-Programming for Android and LEGO Mindstorms Interoperability. CISIM (2019)
Manali Chakraborty, Alvise Spanò, Agostino Cortesi
Geographic Location Based Dynamic and Opportunistic RPL for Distributed Networks. CISIM (2019)
Michele Bugliesi, Stefano Calzavara, Alvise Spanò
Lintent: Towards Security Type-Checking of Android Applications. FMOODS/FORTE (2013)
Giuseppe Maggiore, Alvise Spanò, Renzo Orsini, Michele Bugliesi, Mohamed Abbadi, Enrico Steffinlongo
A formal specification for casanova, a language for computer games. EICS (2012)
Lucia Gallina, Tingting Han, Marta Z. Kwiatkowska, Andrea Marin, Sabina Rossi, Alvise Spanò
Automatic energy-aware performance analysis of Mobile Ad-Hoc Networks. Wireless Days (2012)
Giuseppe Maggiore, Alvise Spanò, Renzo Orsini, Giulia Costantini, Michele Bugliesi, Mohamed Abbadi
Designing Casanova: A Language for Games. ACG (2011)
Alvise Spanò, Michele Bugliesi, Agostino Cortesi
Type-flow Analysis for Legacy COBOL Code. ICSOFT (2) (2011)
Alvise Spanò, Michele Bugliesi, Agostino Cortesi
Typing Legacy COBOL Code. ICSOFT (Selected Papers) (2011)