MARTINI, SIMONE
MARTINI, SIMONE
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
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,
Informatica senza e con computer nella Scuola Primaria
2020 Michael Lodi; Renzo Davoli; Rebecca Montanari; Simone Martini
Quantum Turing Machines: Computations and Measurements
2020 Guerrini, Stefano; Martini, Simone; Masini, Andrea
| 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 | - |
| 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 | - |
| Teaching Programming in the Age of Generative AI | Martini, Simone | 2024-01-01 | - | Association for Computing Machinery | 4.01 Contributo in Atti di convegno | - |
| 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 | - |
| Informatica senza e con computer nella Scuola Primaria | Michael Lodi; Renzo Davoli; Rebecca Montanari; Simone Martini | 2020-01-01 | - | LISCIANI SCUOLA | 2.01 Capitolo / saggio in libro | - |
| Quantum Turing Machines: Computations and Measurements | Guerrini, Stefano; Martini, Simone; Masini, Andrea | 2020-01-01 | APPLIED SCIENCES | - | 1.01 Articolo in rivista | applsci-10-05551.pdf |