Lodi, Michael; Sbaraglia, Marco; Martini, Simone, Cryptography in Grade 10: Core Ideas with Snap! and Unplugged, in: ITiCSE '22: Proceedings of the 27th ACM Conference on on Innovation and Technology in Computer Science Education Vol. 1, New York, NY, Association for Computing Machinery, 2022, 1, pp. 456 - 462 (atti di: 27th ACM Conference on on Innovation and Technology in Computer Science Education (ITiCSE '22), Dublin, 11-13 July, 2022) [Contributo in Atti di convegno]
Michael Lodi, Marco Sbaraglia, Simone Martini, Programmare per imparare la crittografia al Liceo Matematico, «RENDICONTI DEL SEMINARIO MATEMATICO», 2022, 80, pp. 49 - 81 [articolo]Open Access
SBARAGLIA, Marco; LODI, Michael; MARTINI, Simone, A Necessity-Driven Ride on the Abstraction Rollercoaster of CS1 Programming, «INFORMATICS IN EDUCATION», 2021, 20, pp. 641 - 682 [articolo]Open Access
Lodi M.; Martini S., Computational Thinking, Between Papert and Wing, «SCIENCE & EDUCATION», 2021, 30, pp. 883 - 908 [articolo]Open Access
Martini S.; Masini A.; Zorzi M., From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics, «ACM TRANSACTIONS ON COMPUTATIONAL LOGIC», 2021, 22, Article number: 19, pp. 1 - 29 [articolo]Open Access
Sbaraglia, Marco; Lodi, Michael; Zingaro, Stefano Pio; Martini, Simone, The Good, The Bad, and The Ugly of a Synchronous Online CS1, in: ITiCSE '21: Proceedings of the 26th ACM Conference on Innovation and Technology in Computer Science Education V. 2, New York, NY, Association for Computing Machinery, 2021, pp. 660 - 660 (atti di: ITiCSE '21: 26th ACM Conference on Innovation and Technology in Computer Science Education, Paderborn, Germany, June 26th - July 1st 2021) [atti di convegno-poster]
Lodi M.; Sbaraglia M.; Zingaro S.P.; Martini S., The online course was great: I would attend it face-to-face: The good, the bad, and the ugly of IT in emergency remote teaching of CS1, in: GoodIT 2021 - Proceedings of the 2021 Conference on Information Technology for Social Good, New York, NY, Association for Computing Machinery, Inc, 2021, pp. 242 - 247 (atti di: 1st Conference on Information Technology for Social Good, GoodIT 2021, Roma, Italia, 9 September - 11 September 2021) [Contributo in Atti di convegno]
Michael Lodi; Renzo Davoli; Rebecca Montanari; Simone Martini, Informatica senza e con computer nella Scuola Primaria, in: CODING E OLTRE: l'informatica nella scuola, Teramo, LISCIANI SCUOLA, 2020, pp. 113 - 130 [capitolo di libro]
Michael Lodi, Simone Martini,Marco Sbaraglia, Stefano Pio Zingaro,, (Non) parliamo di pensiero computazionale, in: Didattica della Matematica, disciplina scientifica per una scuola efficace, Bologna, Pitagora Editrice, 2020, pp. 77 - 78 (atti di: Incontri con la Matematica, n. 34, Castel San Pietro Terme, 6-8 novembre 2020) [Contributo in Atti di convegno]
Guerrini, Stefano; Martini, Simone; Masini, Andrea, Quantum Turing Machines: Computations and Measurements, «APPLIED SCIENCES», 2020, 10, Article number: 5551, pp. 1 - 33 [articolo]Open Access
Simone Martini, The Standard Model for Programming Languages: The Birth of a Mathematical Theory of Computation, in: Recent Developments in the Design and Implementation of Programming Languages, Dagstuhl, Schloss Dagstuhl-Leibniz-Zentrum für Informatik, «OPEN ACCESS SERIES IN INFORMATICS», 2020, 86, pp. 1 - 13 (atti di: Recent Developments in the Design and Implementation of Programming Languages, Bologna, 27/11/2020) [Contributo in Atti di convegno]Open Access
Roberto Borchia, Antonella Carbonaro, Giorgio Casadei, Luca Forlizzi, Michael Lodi, Simone Martini, Problem Solving Olympics: An Inclusive Education Model for Learning Informatics, in: LECTURE NOTES IN COMPUTER SCIENCE, Cham, Springer, 2018, pp. 319 - 335 [capitolo di libro]
Michael, Lodi; Simone, Martini; Enrico, Nardelli, Abbiamo davvero bisogno del pensiero computazionale?, «MONDO DIGITALE», 2017, 72, pp. 1 - 15 [articolo]
Martini, Simone, Pensiero computazionale: una quarta competenza dopo scrivere, leggere e far di conto, «IL NODO», 2017, 47, pp. 19 - 28 [articolo]
Dal Lago, Ugo.; Martini, Simone; Sangiorgi, Davide, Light logics and higher-order processes, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2016, 26, pp. 969 - 992 [articolo]
