Martini, Simone; Masini, Andrea; Zorzi, Margherita, A Natural Deduction Calculus for S4.2, «NOTRE DAME JOURNAL OF FORMAL LOGIC», 2024, 65, pp. 127 - 150 [articolo]Open Access
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. 25 - 56 [articolo]Open Access
Michael Lodi; Maria Cristina Carrisi; Simone Martini, Big Ideas of Cryptography in Primary School, in: ITiCSE 2024: Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1, New York, NY, Association for Computing Machinery, «ANNUAL CONFERENCE ON INNOVATION & TECHNOLOGY IN COMPUTER SCIENCE EDUCATION», 2024, 1, pp. 206 - 212 (atti di: 29th annual ACM conference on Innovation and Technology in Computer Science Education (ITiCSE), Milano, Italy, 8-10 Luglio 2024) [Contributo in Atti di convegno]Open Access
Lodi, Michael; Martini, Simone, Coding, pensiero computazionale e informatica: quale evoluzione possibile?, in: ITADINFO 2024 Secondo Convegno Italiano sulla Didattica dell’Informatica, Genova, GENOVA UNIVERSITY PRESS, 2024, pp. 20 - 24 (atti di: ITADINFO 2024, Genova, 18-20 Ottobre 2024) [Contributo in Atti di convegno]Open Access
Maria Cristina Carrisi, Michael Lodi, Simone Martini, Le grandi idee della crittografia alla scuola primaria, in: ITADINFO 2024 Secondo Convegno Italiano sulla Didattica dell’Informatica, Genova, GENOVA UNIVERSITY PRESS, 2024, pp. 160 - 160 (atti di: ITADINFO 2024, Genova, 18-20 Ottobre 2024) [atti di convegno-abstract]
Martini, Simone, Teaching Programming in the Age of Generative AI, in: ITiCSE 2024: Proceedings of the 2024 on Innovation and Technology in Computer Science Education V. 1, New York, NY, Association for Computing Machinery, 2024, 1, pp. 1 - 2 (atti di: 29th Annual Conference on Innovation and Technology in Computer Science Education (ITiCSE), Milano, July 8 - 10, 2024) [Contributo in Atti di convegno]Open Access
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) [Contributo in Atti di convegno]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 [articolo]Open Access
Maurizio Gabbrielli; SIMONE MARTINI, Programming Languages: Principles and Paradigms, 2nd edition, Cham, Springer, 2023, pp. 561 . [libro]
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]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 [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]
