Foto del docente

Simone Martini

Full Professor

Department of Computer Science and Engineering

Academic discipline: INF/01 Informatics

Publications

Lodi M.; Martini S., Computational Thinking, Between Papert and Wing, «SCIENCE & EDUCATION», 2021, 30, pp. 883 - 908 [Scientific article]

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, pp. 1 - 29 [Scientific article]

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]

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, 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

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 [Chapter or essay]

Michael, Lodi; Simone, Martini; Enrico, Nardelli, Abbiamo davvero bisogno del pensiero computazionale?, «MONDO DIGITALE», 2017, 72, pp. 1 - 15 [Scientific article]

Martini, Simone, Pensiero computazionale: una quarta competenza dopo scrivere, leggere e far di conto, «IL NODO», 2017, 47, pp. 19 - 28 [Scientific article]

Dal Lago, Ugo.; Martini, Simone; Sangiorgi, Davide, Light logics and higher-order processes, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2016, 26, pp. 969 - 992 [Scientific article]

Martini, Simone, Several types of types in programming languages, in: IFIP Advances in Information and Communication Technology, New York, Springer New York LLC, 2016, 487, pp. 216 - 227 (atti di: 3rd International Conference on History and Philosophy of Computing, HaPoC 2015, Pisa, 2015) [Contribution to conference proceedings]

Martini, Simone, Types in Programming Languages, Between Modelling, Abstraction, and Correctness, in: Pursuit of the Universal, Springer International Publishing, 2016, 9709, pp. 164 - 169 (atti di: Computability in Europe 2016, Paris, 27/06/2016 - 1/07/2016) [Contribution to conference proceedings]

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 [Preface]