Bartzia, Evmorfia-Iro; Lodi, Michael; Sbaraglia, Marco; Modeste, Simon; Durand-Guerrier, Viviane; Martini, Simone, An Unplugged Didactical Situation on Cryptography between Informatics and Mathematics, «INFORMATICS IN EDUCATION», 2024, 23, pp. 2 - 56 [Scientific article]
Simon Modeste, Evmorfia-Iro Bartzia, Michael Lodi, Marco Sbaraglia, Viviane Durand-Guerrier, Simone Martini, Cryptography as a field to foster interactions between mathematics and informatics, and algorithms. Analysis of a didactical situation, in: Proceedings of the Thirteenth Congress of the European Society for Research in Mathematics Education (CERME13), Budapest, Alfréd Rényi Institute of Mathematics and ERME, 2023, TWG16, pp. 3001 - 3008 (atti di: Thirteenth Congress of the European Society for Research in Mathematics Education (CERME13), Budapest, 10-14 July 2023) [Contribution to conference proceedings]Open Access
Martini, Simone; Masini, Andrea; Zorzi, Margherita, Cut Elimination for Extended Sequent Calculi, «BULLETIN OF THE SECTION OF LOGIC», 2023, 52, pp. 459 - 495 [Scientific article]Open Access
Maurizio Gabbrielli; SIMONE MARTINI, Programming Languages: Principles and Paradigms, 2nd edition, Cham, Springer, 2023, pp. 561 . [Research monograph]
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) [Contribution to conference proceedings]Open Access
Michael Lodi, Marco Sbaraglia, Simone Martini, Programmare per imparare la crittografia al Liceo Matematico, «RENDICONTI DEL SEMINARIO MATEMATICO», 2022, 80, pp. 49 - 81 [Scientific article]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 [Scientific article]Open Access
Lodi M.; Martini S., Computational Thinking, Between Papert and Wing, «SCIENCE & EDUCATION», 2021, 30, pp. 883 - 908 [Scientific article]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 [Scientific article]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) [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) [Contribution to conference proceedings]Open Access
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 [Chapter or essay]
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) [Contribution to conference proceedings]
Guerrini, Stefano; Martini, Simone; Masini, Andrea, Quantum Turing Machines: Computations and Measurements, «APPLIED SCIENCES», 2020, 10, Article number: 5551 , pp. 1 - 33 [Scientific article]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, 2020, 86, pp. 1 - 13 (atti di: Recent Developments in the Design and Implementation of Programming Languages, Bologna, 27/11/2020) [Contribution to conference proceedings]Open Access
