Alvise SPANO'

Qualifica
Ricercatore
Telefono
041 234 8426
E-mail
alvise.spano@unive.it
SSD
Informatica [INFO-01/A]
Sito web
www.unive.it/persone/alvise.spano (scheda personale)
Struttura
Dipartimento di Scienze Ambientali, Informatica e Statistica
Sito web struttura: https://www.unive.it/dais
Sede: Campus scientifico via Torino
Stanza: studio Assegnisti B1 (edificio Zeta B)
Research Institute
Research Institute for Complexity

Pubblicazioni

Anno Tipologia Pubblicazione
Anno Tipologia Pubblicazione
2025 Articolo in Atti di convegno 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 - Scheda ARCA: 10278/5097593
2024 Articolo su rivista 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 - Scheda ARCA: 10278/5072461
2024 Articolo su rivista 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 - Scheda ARCA: 10278/5081863
2023 Articolo su rivista 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 - Scheda ARCA: 10278/5036941
2023 Articolo in Atti di convegno 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 - Scheda ARCA: 10278/5047901
2022 Articolo su rivista 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 - Scheda ARCA: 10278/3754129
2021 Articolo su rivista 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 - Scheda ARCA: 10278/3754135
2020 Articolo su rivista 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 - Scheda ARCA: 10278/3725231
2019 Articolo in Atti di convegno 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 - Scheda ARCA: 10278/3721103
2019 Articolo in Atti di convegno 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 - Scheda ARCA: 10278/3721102
2013 Articolo su libro 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 - Scheda ARCA: 10278/37423
2013 Articolo in Atti di convegno 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 - Scheda ARCA: 10278/39004
2012 Articolo in Atti di convegno 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 - Scheda ARCA: 10278/27911
2012 Articolo in Atti di convegno 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 - Scheda ARCA: 10278/39312
2011 Articolo in Atti di convegno 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 - Scheda ARCA: 10278/36316
2011 Articolo in Atti di convegno 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)
- Scheda ARCA: 10278/29488