MARTINI, SIMONE
MARTINI, SIMONE
DISI - DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di Ia fascia
A Natural Deduction Calculus for S4.2
2024 Martini, Simone; Masini, Andrea; Zorzi, Margherita
An Unplugged Didactical Situation on Cryptography between Informatics and Mathematics
2024 Bartzia, Evmorfia-Iro; Lodi, Michael; Sbaraglia, Marco; Modeste, Simon; Durand-Guerrier, Viviane; Martini, Simone
Big Ideas of Cryptography in Primary School
2024 Michael Lodi; Maria Cristina Carrisi; Simone Martini
Coding, pensiero computazionale e informatica: quale evoluzione possibile?
2024 Lodi, Michael; Martini, Simone
Le grandi idee della crittografia alla scuola primaria
2024 Maria Cristina Carrisi, Michael Lodi, Simone Martini
Teaching Programming in the Age of Generative AI
2024 Martini, Simone
Apprendimento della programmazione guidato dalla necessità: il Necessity Learning Design
2023 Marco Sbaraglia, Michael Lodi, Simone Martini
Cryptography as a field to foster interactions between mathematics and informatics, and algorithms. Analysis of a didactical situation
2023 Simon Modeste, Evmorfia-Iro Bartzia, Michael Lodi, Marco Sbaraglia, Viviane Durand-Guerrier, Simone Martini
Cut Elimination for Extended Sequent Calculi
2023 Martini, Simone; Masini, Andrea; Zorzi, Margherita
Programming Languages: Principles and Paradigms, 2nd edition
2023 Maurizio Gabbrielli; SIMONE MARTINI
Correction to: Computational Thinking, Between Papert and Wing (Science & Education, (2021), 30, 4, (883-908), 10.1007/s11191-021-00202-5)
2022 Lodi M.; Martini S.
Crittografia a blocchi al Liceo Matematico
2022 Michael LODI, Simone MARTINI, Marco SBARAGLIA
Cryptography in Grade 10: Core Ideas with Snap! and Unplugged
2022 Lodi, Michael; Sbaraglia, Marco; Martini, Simone
Programmare per imparare la crittografia al Liceo Matematico
2022 Michael Lodi, Marco Sbaraglia, Simone Martini
A Necessity-Driven Ride on the Abstraction Rollercoaster of CS1 Programming
2021 SBARAGLIA, Marco; LODI, Michael; MARTINI, Simone
Computational Thinking, Between Papert and Wing
2021 Lodi M.; Martini S.
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics
2021 Martini S.; Masini A.; Zorzi M.
The Good, The Bad, and The Ugly of a Synchronous Online CS1
2021 Sbaraglia, Marco; Lodi, Michael; Zingaro, Stefano Pio; Martini, Simone
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
2021 Lodi M.; Sbaraglia M.; Zingaro S.P.; Martini S.
(Non) parliamo di pensiero computazionale
2020 Michael Lodi, Simone Martini,Marco Sbaraglia, Stefano Pio Zingaro,
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| A Natural Deduction Calculus for S4.2 | Martini, Simone; Masini, Andrea; Zorzi, Margherita | 2024-01-01 | NOTRE DAME JOURNAL OF FORMAL LOGIC | - | 1.01 Articolo in rivista | S4.2.pdf |
| An Unplugged Didactical Situation on Cryptography between Informatics and Mathematics | Bartzia, Evmorfia-Iro; Lodi, Michael; Sbaraglia, Marco; Modeste, Simon; Durand-Guerrier, Viviane;... Martini, Simone | 2024-01-01 | INFORMATICS IN EDUCATION | - | 1.01 Articolo in rivista | infedu.2024.06.pdf |
| Big Ideas of Cryptography in Primary School | Michael Lodi; Maria Cristina Carrisi; Simone Martini | 2024-01-01 | - | Association for Computing Machinery | 4.01 Contributo in Atti di convegno | 3649217.3653548.pdf |
| Coding, pensiero computazionale e informatica: quale evoluzione possibile? | Lodi, Michael; Martini, Simone | 2024-01-01 | - | GENOVA UNIVERSITY PRESS | 4.01 Contributo in Atti di convegno | Itadinfo coding.pdf |
| Le grandi idee della crittografia alla scuola primaria | Maria Cristina Carrisi, Michael Lodi, Simone Martini | 2024-01-01 | - | GENOVA UNIVERSITY PRESS | 4.02 Riassunto (Abstract) | - |
| Teaching Programming in the Age of Generative AI | Martini, Simone | 2024-01-01 | - | Association for Computing Machinery | 4.01 Contributo in Atti di convegno | 2024-ITiCSE-Keynote-postprint.pdf |
| Apprendimento della programmazione guidato dalla necessità: il Necessity Learning Design | Marco Sbaraglia, Michael Lodi, Simone Martini | 2023-01-01 | - | Università degli Studi di Bari Aldo Moro | 4.01 Contributo in Atti di convegno | Necessity Itadinfo.pdf |
| Cryptography as a field to foster interactions between mathematics and informatics, and algorithms. Analysis of a didactical situation | Simon Modeste, Evmorfia-Iro Bartzia, Michael Lodi, Marco Sbaraglia, Viviane Durand-Guerrier, Simo...ne Martini | 2023-01-01 | - | Alfréd Rényi Institute of Mathematics and ERME | 4.01 Contributo in Atti di convegno | 2023-CERME.pdf |
| Cut Elimination for Extended Sequent Calculi | Martini, Simone; Masini, Andrea; Zorzi, Margherita | 2023-01-01 | BULLETIN OF THE SECTION OF LOGIC | - | 1.01 Articolo in rivista | 2023-BSL.pdf |
| Programming Languages: Principles and Paradigms, 2nd edition | Maurizio Gabbrielli; SIMONE MARTINI | 2023-01-01 | - | Springer | 3.01 Monografia / trattato scientifico in forma di libro | - |
| Correction to: Computational Thinking, Between Papert and Wing (Science & Education, (2021), 30, 4, (883-908), 10.1007/s11191-021-00202-5) | Lodi M.; Martini S. | 2022-01-01 | SCIENCE & EDUCATION | - | 1.04 Replica / breve intervento (e simili) | Lodi-Martini2021_Article_CorrectionToComputationalThink.pdf |
| Crittografia a blocchi al Liceo Matematico | Michael LODI, Simone MARTINI, Marco SBARAGLIA | 2022-01-01 | - | Aracne Editrice | 4.01 Contributo in Atti di convegno | - |
| Cryptography in Grade 10: Core Ideas with Snap! and Unplugged | Lodi, Michael; Sbaraglia, Marco; Martini, Simone | 2022-01-01 | - | Association for Computing Machinery | 4.01 Contributo in Atti di convegno | 2022-ITICSE-perIRIS.pdf |
| Programmare per imparare la crittografia al Liceo Matematico | Michael Lodi, Marco Sbaraglia, Simone Martini | 2022-01-01 | RENDICONTI DEL SEMINARIO MATEMATICO | - | 1.01 Articolo in rivista | Lodi.pdf |
| A Necessity-Driven Ride on the Abstraction Rollercoaster of CS1 Programming | SBARAGLIA, Marco; LODI, Michael; MARTINI, Simone | 2021-01-01 | INFORMATICS IN EDUCATION | - | 1.01 Articolo in rivista | infedu-20-4-infedu2021_4_28.pdf |
| Computational Thinking, Between Papert and Wing | Lodi M.; Martini S. | 2021-01-01 | SCIENCE & EDUCATION | - | 1.01 Articolo in rivista | Lodi-Martini2021_Article_ComputationalThinkingBetweenPa.pdf |
| From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics | Martini S.; Masini A.; Zorzi M. | 2021-01-01 | ACM TRANSACTIONS ON COMPUTATIONAL LOGIC | - | 1.01 Articolo in rivista | 2007.11875.pdf |
| The Good, The Bad, and The Ugly of a Synchronous Online CS1 | Sbaraglia, Marco; Lodi, Michael; Zingaro, Stefano Pio; Martini, Simone | 2021-01-01 | - | Association for Computing Machinery | 4.03 Poster | - |
| 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 | Lodi M.; Sbaraglia M.; Zingaro S.P.; Martini S. | 2021-01-01 | - | Association for Computing Machinery, Inc | 4.01 Contributo in Atti di convegno | GoodIT_Good_Bad_Ugly_auth.pdf |
| (Non) parliamo di pensiero computazionale | Michael Lodi, Simone Martini,Marco Sbaraglia, Stefano Pio Zingaro, | 2020-01-01 | - | Pitagora Editrice | 4.01 Contributo in Atti di convegno | - |