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]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 [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
Borchia, Roberto; Carbonaro, Antonella; Casadei, Giorgio; Forlizzi, Luca; Lodi, Michael; Martini, Simone, 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]
Martini, Simone, Several types of types in programming languages, in: IFIP Advances in Information and Communication Technology, New York, Springer New York LLC, «IFIP ADVANCES IN INFORMATION AND COMMUNICATION TECHNOLOGY», 2016, 487, pp. 216 - 227 (atti di: 3rd International Conference on History and Philosophy of Computing, HaPoC 2015, Pisa, 2015) [Contributo in Atti di convegno]
Martini, Simone, Types in Programming Languages, Between Modelling, Abstraction, and Correctness, in: Pursuit of the Universal, Springer International Publishing, «LECTURE NOTES IN COMPUTER SCIENCE», 2016, 9709, pp. 164 - 169 (atti di: Computability in Europe 2016, Paris, 27/06/2016 - 1/07/2016) [Contributo in Atti di convegno]
Alves S.; Cervesato I.; Chaudhuri K.; Fernandez M.; Florido M.; Gay S.; Martini S.; Paolini L.; Della Rocca S.R.; Schurmann C.; Simmons R.; Vasconcelos V., Preface, in: Electronic Proceedings in Theoretical Computer Science, EPTCS, Waterloo, Open Publishing Association, 2015, pp. 1 - 1 [prefazione]
U. Dal Lago; S. Martini, On constructor rewrite systems and the lambda-calculus, «LOGICAL METHODS IN COMPUTER SCIENCE», 2012, 8(3:12), pp. 1 - 27 [articolo]
S. Martini, Lingua Universalis, «ANNALI DELLA PUBBLICA ISTRUZIONE», 2011, 4-5(2011), pp. 65 - 70 [articolo]
M. Gabbrielli; S. Martini, Linguaggi di programmazione: principi e paradigmi. Seconda Edizione, MILANO, McGraw-Hill, 2011, pp. 576 . [libro]