MARTINI, SIMONE

MARTINI, SIMONE  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Docenti di ruolo di Ia fascia  

Mostra records
Risultati 1 - 20 di 59 (tempo di esecuzione: 0.048 secondi).
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
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 -
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
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. 2021-01-01 SCIENCE & EDUCATION - 1.04 Replica / breve intervento (e simili) Lodi-Martini2021_Article_CorrectionToComputationalThink.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
The Standard Model for Programming Languages: The Birth of a Mathematical Theory of Computation Simone Martini 2020-01-01 - Schloss Dagstuhl-Leibniz-Zentrum für Informatik 4.01 Contributo in Atti di convegno 2020-OASIcs-Gabbrielli-8.pdf