CRIS Current Research Information System
IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.
ItalianoMARTINI, SIMONE
Dettaglio
MARTINI, SIMONE
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di Ia fascia
Pubblicazioni
Risultati 1 - 20 di 45 (tempo di esecuzione: 0.001 secondi).
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File | |
|---|---|---|---|---|---|---|---|
| 1 | Abbiamo davvero bisogno del pensiero computazionale? | Michael, Lodi; Simone, Martini; Enrico, Nardelli | 2017 | MONDO DIGITALE | 1.01 Articolo in rivista | - | |
| 2 | An invariant cost model for the lambda calculus | DAL LAGO, Ugo; Martini, Simone | 2006 | Springer Verlag | 4.01 Contributo in Atti di convegno | - | |
| 3 | Computational Thinking, Between Papert and Wing | Lodi M.; Martini S. | 2021 | SCIENCE & EDUCATION | 1.01 Articolo in rivista | - | |
| 4 | Computer Science Logic 2008, LNCS 5213 | M. Kaminski; S. Martini | 2008 | Springer Verlag | 3.02 Curatela | - | |
| 5 | 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 | SCIENCE & EDUCATION | 1.04 Replica / breve intervento (e simili) | - | |
| 6 | CSL 2008 special issue | M. Kaminiski; S. Martini | 2010 | ACM TRANSACTIONS ON COMPUTATIONAL LOGIC | Association for Computing Machinery - ACM | 3.02 Curatela | - |
| 7 | Derivational Complexity is an Invariant Cost Model | U. Dal Lago; S. Martini | 2010 | Springer | 4.01 Contributo in Atti di convegno | - | |
| 8 | Editorial, Computer Science Logic 2008 special issue | Kaminski, M.; Martini, Simone | 2010 | ACM TRANSACTIONS ON COMPUTATIONAL LOGIC | 1.04 Replica / breve intervento (e simili) | - | |
| 9 | Elogio di Babele | S. Martini | 2008 | MONDO DIGITALE | 1.01 Articolo in rivista | - | |
| 10 | Fondamenti dell'informatica | S. Martini | 2008 | Zanichelli | 2.01 Capitolo / saggio in libro | - | |
| 11 | Fondamenti di Informatica, 2 voll. | S. Martini (Progetto A3) | 2008 | Zanichelli | 3.02 Curatela | - | |
| 12 | Fondazioni di linguaggi funzionali e con controllo delle risorse (FOLLIA) | S. Martini; S. Ronchi della Rocca | 2004 | 8.04 Coordinamento di progetti di ricerca | - | ||
| 13 | From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics | Martini S.; Masini A.; Zorzi M. | 2021 | ACM TRANSACTIONS ON COMPUTATIONAL LOGIC | 1.01 Articolo in rivista | - | |
| 14 | General Ramified Recurrence is Sound for Polynomial Time | U. Dal Lago; S. Martini; M. Zorzi | 2010 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 4.01 Contributo in Atti di convegno | - | |
| 15 | 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 | AICA | 4.01 Contributo in Atti di convegno | - | |
| 16 | The Good, The Bad, and The Ugly of a Synchronous Online CS1 | Sbaraglia, Marco; Lodi, Michael; Zingaro, Stefano Pio; Martini, Simone | 2021 | Association for Computing Machinery | 4.03 Poster | - | |
| 17 | Higher order linear ramified recurrence | U. DAL LAGO; S. MARTINI; L. ROVERSI | 2004 | Spinger | 4.01 Contributo in Atti di convegno | - | |
| 18 | Informatica senza e con computer nella Scuola Primaria | Michael Lodi; Renzo Davoli; Rebecca Montanari; Simone Martini | 2020 | LISCIANI SCUOLA | 2.01 Capitolo / saggio in libro | - | |
| 19 | Informatica: Elogio di Babele | S. Martini | 2008 | Aracne Editrice | 2.01 Capitolo / saggio in libro | - | |
| 20 | Internet, il www e i loro servizi | G.Finocchiaro; L. Margara; S. Martini | 2007 | Zanichelli | 2.01 Capitolo / saggio in libro | - |
Copyright © 2021