Anno | Tipologia | Pubblicazione |
---|---|---|
Anno | Tipologia | Pubblicazione |
|
||
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 |