Alvise SPANO'

Position
Researcher
Telephone
041 234 8426
E-mail
alvise.spano@unive.it
Scientific sector (SSD)
Informatica [INFO-01/A]
Website
www.unive.it/people/alvise.spano (personal record)
Office
Department of Environmental Sciences, Informatics and Statistics
Website: https://www.unive.it/dep.dais
Where: Campus scientifico via Torino
Room: office Assegnisti B1 (Zeta B building)
Research Institute
Research Institute for Complexity

Publications

Year Type Publication
Year Type Publication
2025 Article in Conference Proceedings Laneve, Cosimo; Spanò, Alvise; Ressi, D.; Rossi, Sabina.; Bugliesi, M. Assessing Code Understanding in LLMs , Forte 2025, Springer, Cham, vol. 15732, pp. 202-210, Convegno: Forte 2025 (ISBN 9783031954962; 9783031954979) (ISSN 0302-9743)
DOI - ARCA card: 10278/5097593
2025 Article in Conference Proceedings Lorenzo Fanton, Michele Bugliesi, Alvise Spanò Secure Distributed State Management in eUTxO Blockchains in Lorenzo Fanton, Michele Bugliesi, Alvise Spanò, 2025 IEEE International Conference on Decentralized Applications and Infrastructures (DAPPS), IEEE-27, Convegno: International Conference on Decentralized Applications and Infrastructures, 21 - 24 Luglio 2025 (ISBN 979-8-3315-3614-5)
DOI - ARCA card: 10278/5102327
2024 Journal Article Spanò, Alvise Flexible and reversible conversion between extensible records and overloading constraints for ML in THE JOURNAL OF SYSTEMS AND SOFTWARE, vol. 216 (ISSN 0164-1212)
DOI - URL correlato - ARCA card: 10278/5072461
2024 Journal Article 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 Smart contract languages: A comparative analysis in FUTURE GENERATION COMPUTER SYSTEMS, vol. 1 (ISSN 0167-739X)
DOI - URL correlato - ARCA card: 10278/5081863
2023 Journal Article Alvise Spanò, Lorenzo Fanton, Davide Pizzolato, Jacopo Moi, Francesco Vinci, Alberto Pesce, Cedrix J. Dongmo Foumthuim, Achille Giacometti, Marta Simeoni RINmaker: a fast, versatile and reliable tool to determine residue interaction networks in proteins in BMC BIOINFORMATICS, vol. 24 (ISSN 1471-2105)
DOI - URL correlato - ARCA card: 10278/5036941
2023 Article in Conference Proceedings Benetollo, Lorenzo; Bugliesi, Michele; Crafa, Silvia; Rossi, Sabina; Spanò, Alvise ALGOMOVE – A Move Embedding for Algorand in Lorenzo Benetollo, Michele Bugliesi, Silvia Crafa, Sabina Rossi, Alvise Spanè, Proceedings of the 2023 IEEE International Conference on Blockchain, IEEE, pp. 62-67, Convegno: 2023 IEEE International Conference on Blockchain, Dicembre 2023 (ISBN 979-8-3503-1929-3)
DOI - ARCA card: 10278/5047901
2022 Journal Article Panfili A.; Spano A.; Cortesi A. A Wearable System for Jump Detection in Inline Figure Skating in SENSORS, vol. 22, pp. 1650 (ISSN 1424-8220)
DOI - ARCA card: 10278/3754129
2021 Journal Article Chakraborty M.; Spano A.; Cortesi A. Geographic location based secure, dynamic and opportunistic RPL for distributed networks in AD HOC NETWORKS, vol. 123, pp. 102689 (ISSN 1570-8705)
DOI - ARCA card: 10278/3754135
2020 Journal Article Spano A.; Cortesi A. Legodroid: A Type-Driven Library for Android and LEGO Mindstorms Interoperability in SENSORS, vol. 20, pp. 1926 (ISSN 1424-8220)
DOI - ARCA card: 10278/3725231
2019 Article in Conference Proceedings Chakraborty M.; Spano A.; Cortesi A. Geographic location based dynamic and opportunistic RPL for distributed networks , Computer Information Systems and Industrial Management, Springer Verlag, vol. 11703, pp. 120-131, Convegno: 18th International Conference on Computer Information Systems and Industrial Management Applications, CISIM 2019, 2019 (ISBN 978-3-030-28956-0; 978-3-030-28957-7)
DOI - URL correlato - ARCA card: 10278/3721103
2019 Article in Conference Proceedings Spano A.; Cortesi A.; Zausa G. Type-driven cross-programming for android and LEGO Mindstorms interoperability , Computer Information Systems and Industrial Management, Springer Verlag, vol. 11703, pp. 191-209, Convegno: 18th International Conference on Computer Information Systems and Industrial Management Applications, CISIM 2019, 2019 (ISBN 978-3-030-28956-0; 978-3-030-28957-7)
DOI - URL correlato - ARCA card: 10278/3721102
2013 Book Article SPANO' A.; BUGLIESI M.; CORTESI A. Typing Legacy COBOL Code , Software and Data Technologies, Berlin, Springer-Verlag, vol. 303, pp. 151-165 (ISBN 9783642361760; 9783642361777) (ISSN 1865-0929)
DOI - ARCA card: 10278/37423
2013 Article in Conference Proceedings Michele Bugliesi; Stefano Calzavara; Alvise Spano Lintent: Towards Security Type-Checking of Android Applications , FMOODS/FORTE, Berlin Hidelberg, SPRINGER-VERLAG, vol. 7892, pp. 289-304, Convegno: Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec, June 3-5, 2013 (ISBN 9783642385919) (ISSN 0302-9743)
DOI - ARCA card: 10278/39004
2012 Article in Conference Proceedings Giuseppe Maggiore;Alvise Spanò;Renzo Orsini;Michele Bugliesi;Mohamed Abbadi;Enrico Steffinlongo A formal specification for Casanova, a language for computer games , Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems - EICS '12, New York, ACM Association fot Computing Machinery, pp. 287-292, Convegno: EICS '12, June 25–28, 2012 (ISBN 9781450311687)
DOI - ARCA card: 10278/27911
2012 Article in Conference Proceedings L. Gallina; T. Han; M. Kwiatkowska; A. Marin; S. Rossi; S. Spanò Automatic Energy-aware Performance Analysis of Mobile Ad-hoc Networks , Proc. of IFIP Wireless Days 2012, IEEE, pp. 1-6, Convegno: IFIP Wireless Days 2012, 21-23 Nov. 2012 (ISBN 9781467344029)
DOI - URL correlato - ARCA card: 10278/39312
2011 Article in Conference Proceedings Giuseppe Maggiore; Alvise Spanò; Renzo Orsini; Giulia Costantini; Michele Bugliesi ; Mohamed Abbadi Designing Casanova: a language for games in van den Herik, H. Jaap; Plaat, Aske, Advances in Computer Games, Springer-Verlag, Convegno: ACG 2011 : Advances in Computer Games 13 Conference (ISBN 9783642318658) (ISSN 1611-3349)
DOI - ARCA card: 10278/36316
2011 Article in Conference Proceedings SPANO' A.; BUGLIESI M.; CORTESI A. Type-Flow Analysis for Legacy Cobol Code in Maria Jose Escalona, Boris Shishkov and José Cordeiro, ICSOFT 2011 - Proceedings of the 6th International Conference on Software and Database Technologies, SciTePress – Science and Technology Publications, vol. 2, pp. 64-75, Convegno: ICSOFT 2011 - 6th International Conference on Software and Database Technologies, 18-21 July, 2011 (ISBN 9789898425775)
- ARCA card: 10278/29488

List of selected publications