Rizzo M.; Ressi D.; Gasparetto A.; Rossi S. A Comparison of Machine Learning Techniques for Ethereum Smart Contract Vulnerability Detection , CEUR Workshop Proceedings, CEUR-WS, vol. 3904, pp. 119-126, Convegno: 6th International Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2024, 2024 (ISSN 1613-0073)
2025, Article in Conference Proceedings - ARCA card: 10278/5105052


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 2025, Article in Conference Proceedings - ARCA card: 10278/5097593


Ressi D.; Romanello R.; Piazza C.; Rossi S. AI-enhanced blockchain technology: A review of advancements and opportunities in JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, vol. 225 (ISSN 1084-8045)
DOI 2024, Journal Article - ARCA card: 10278/5081382


Ressi D.; Romanello R.; Rossi S.; Piazza C. Compressing neural networks via formal methods in NEURAL NETWORKS, vol. 178 (ISSN 0893-6080)
DOI 2024, Journal Article - ARCA card: 10278/5081401


Ressi D.; Romanello R.; Piazza C.; Rossi S. Neural Networks Reduction via Lumping , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Science and Business Media Deutschland GmbH, vol. 13796, pp. 75-90, Convegno: 21st International Conference of the Italian Association for Artificial Intelligence, AIxIA 2022, 2022 (ISBN 978-3-031-27180-9; 978-3-031-27181-6) (ISSN 0302-9743)
DOI 2023, Article in Conference Proceedings - ARCA card: 10278/5021281