MARTINI, SIMONE
MARTINI, SIMONE
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di Ia fascia
Abbiamo davvero bisogno del pensiero computazionale?
2017-01-01 Michael, Lodi; Simone, Martini; Enrico, Nardelli
An invariant cost model for the lambda calculus
2006-01-01 DAL LAGO, Ugo; Martini, Simone
Bounded quantifiers have Interval Models
1988-01-01 Martini S.
Computational Thinking, Between Papert and Wing
2021-01-01 Lodi M.; Martini S.
Computer Science Logic 2008, LNCS 5213
2008-01-01 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-01-01 Lodi M.; Martini S.
Crittografia a blocchi al Liceo Matematico
2022-01-01 Michael LODI, Simone MARTINI, Marco SBARAGLIA
Cryptography in Grade 10: Core Ideas with Snap! and Unplugged
2022-01-01 Lodi, Michael; Sbaraglia, Marco; Martini, Simone
CSL 2008 special issue
2010-01-01 M. Kaminiski; S. Martini
Derivational Complexity is an Invariant Cost Model
2010-01-01 U. Dal Lago; S. Martini
Editorial, Computer Science Logic 2008 special issue
2010-01-01 Kaminski, M.; Martini, Simone
Elogio di Babele
2008-01-01 S. Martini
Fondamenti dell'informatica
2008-01-01 S. Martini
Fondamenti di Informatica, 2 voll.
2008-01-01 S. Martini (Progetto A3)
Fondazioni di linguaggi funzionali e con controllo delle risorse (FOLLIA)
2004-01-01 S. Martini; S. Ronchi della Rocca
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics
2021-01-01 Martini S.; Masini A.; Zorzi M.
General Ramified Recurrence is Sound for Polynomial Time
2010-01-01 U. Dal Lago; S. Martini; M. Zorzi
Generazione Automatica di Learning Objects Accessibili a Partire da Documenti: il Sistema di Produzione di A3
2005-01-01 P. Salomoni; L. Donatiello; S. Martini; N. Parisini; M. Roccetti; F. Vitali
The Good, The Bad, and The Ugly of a Synchronous Online CS1
2021-01-01 Sbaraglia, Marco; Lodi, Michael; Zingaro, Stefano Pio; Martini, Simone
Higher order linear ramified recurrence
2004-01-01 U. DAL LAGO; S. MARTINI; L. ROVERSI
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| Abbiamo davvero bisogno del pensiero computazionale? | Michael, Lodi; Simone, Martini; Enrico, Nardelli | 2017-01-01 | MONDO DIGITALE | - | 1.01 Articolo in rivista | - |
| 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 | - |
| 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) | - |
| 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 | - |
| CSL 2008 special issue | M. Kaminiski; S. Martini | 2010-01-01 | ACM TRANSACTIONS ON COMPUTATIONAL LOGIC | Association for Computing Machinery - ACM | 3.02 Curatela | - |
| 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 | - |
| Fondamenti dell'informatica | S. Martini | 2008-01-01 | - | Zanichelli | 2.01 Capitolo / saggio in libro | - |
| Fondamenti di Informatica, 2 voll. | S. Martini (Progetto A3) | 2008-01-01 | - | Zanichelli | 3.02 Curatela | - |
| Fondazioni di linguaggi funzionali e con controllo delle risorse (FOLLIA) | S. Martini; S. Ronchi della Rocca | 2004-01-01 | - | - | 8.04 Coordinamento di progetti di ricerca | - |
| 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 | - |
| General Ramified Recurrence is Sound for Polynomial Time |
U. Dal Lago; S. Martini; M. Zorzi |
2010-01-01 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | - | 4.01 Contributo in Atti di convegno | - |
| Generazione Automatica di Learning Objects Accessibili a Partire da Documenti: il Sistema di Produzione di A3 | P. Salomoni; L. Donatiello; S. Martini; N. Parisini; M. Roccetti; F. Vitali | 2005-01-01 | - | AICA | 4.01 Contributo in Atti di convegno | - |
| 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 | - |
| Higher order linear ramified recurrence | U. DAL LAGO; S. MARTINI; L. ROVERSI | 2004-01-01 | - | Spinger | 4.01 Contributo in Atti di convegno | - |