MARTINI, SIMONE
MARTINI, SIMONE
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di Ia fascia
(Non) parliamo di pensiero computazionale
2020 Michael Lodi, Simone Martini,Marco Sbaraglia, Stefano Pio Zingaro,
(Optimal) duplication is not elementary recursive.
2004 A. Asperti; P.Coppola; S.Martini.
A Necessity-Driven Ride on the Abstraction Rollercoaster of CS1 Programming
2021 SBARAGLIA, Marco; LODI, Michael; MARTINI, Simone
Abbiamo davvero bisogno del pensiero computazionale?
2017 Michael, Lodi; Simone, Martini; Enrico, Nardelli
AN INTERVAL MODEL FOR 2ND ORDER LAMBDA-CALCULUS
1987 MARTINI, S
An invariant cost model for the lambda calculus
2006 DAL LAGO, Ugo; Martini, Simone
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
Apprendimento della programmazione guidato dalla necessità: il Necessity Learning Design
2023 Marco Sbaraglia, Michael Lodi, Simone Martini
Bounded quantifiers have Interval Models
1988 Martini S.
Computational Thinking, Between Papert and Wing
2021 Lodi M.; Martini S.
Computer Science Logic 2008, LNCS 5213
2008 M. Kaminski; S. Martini
Correction to: Computational Thinking, Between Papert and Wing (Science & Education, (2021), 30, 4, (883-908), 10.1007/s11191-021-00202-5)
2021 Lodi M.; Martini S.
Crittografia a blocchi al Liceo Matematico
2022 Michael LODI, Simone MARTINI, Marco SBARAGLIA
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
Cryptography in Grade 10: Core Ideas with Snap! and Unplugged
2022 Lodi, Michael; Sbaraglia, Marco; Martini, Simone
CSL 2008 special issue
2010 M. Kaminiski; S. Martini
Cut Elimination for Extended Sequent Calculi
2023 Martini, Simone; Masini, Andrea; Zorzi, Margherita
Derivational Complexity is an Invariant Cost Model
2010 U. Dal Lago; S. Martini
Editorial, Computer Science Logic 2008 special issue
2010 Kaminski, M.; Martini, Simone
Elogio di Babele
2008 S. Martini
Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
---|---|---|---|---|---|---|
(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 | - |
(Optimal) duplication is not elementary recursive. | A. Asperti; P.Coppola; S.Martini. | 2004-01-01 | INFORMATION AND COMPUTATION | - | 1.01 Articolo in rivista | - |
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 |
Abbiamo davvero bisogno del pensiero computazionale? | Michael, Lodi; Simone, Martini; Enrico, Nardelli | 2017-01-01 | MONDO DIGITALE | - | 1.01 Articolo in rivista | - |
AN INTERVAL MODEL FOR 2ND ORDER LAMBDA-CALCULUS | MARTINI, S | 1987-01-01 | - | SPRINGER VERLAG | 4.01 Contributo in Atti di convegno | - |
An invariant cost model for the lambda calculus | DAL LAGO, Ugo; Martini, Simone | 2006-01-01 | - | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
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 | - |
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 |
Bounded quantifiers have Interval Models | Martini S. | 1988-01-01 | - | Association for Computing Machinery, Inc | 4.01 Contributo in Atti di convegno | - |
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 |
Computer Science Logic 2008, LNCS 5213 | M. Kaminski; S. Martini | 2008-01-01 | - | Springer Verlag | 3.02 Curatela | - |
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 |
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 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 |
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 |
CSL 2008 special issue | M. Kaminiski; S. Martini | 2010-01-01 | ACM TRANSACTIONS ON COMPUTATIONAL LOGIC | Association for Computing Machinery - ACM | 3.02 Curatela | - |
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 |
Derivational Complexity is an Invariant Cost Model |
U. Dal Lago; S. Martini |
2010-01-01 | - | Springer | 4.01 Contributo in Atti di convegno | - |
Editorial, Computer Science Logic 2008 special issue | Kaminski, M.; Martini, Simone | 2010-01-01 | ACM TRANSACTIONS ON COMPUTATIONAL LOGIC | - | 1.04 Replica / breve intervento (e simili) | - |
Elogio di Babele | S. Martini | 2008-01-01 | MONDO DIGITALE | - | 1.01 Articolo in rivista | - |