MARTINI, SIMONE
Dettaglio
MARTINI, SIMONE
DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA
Docenti di ruolo di Ia fascia
Pubblicazioni
Risultati 1 - 20 di 39 (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 | Computer Science Logic 2008, LNCS 5213 | M. Kaminski; S. Martini | 2008 | Springer Verlag | 3.02 Curatela | - | |
4 | CSL 2008 special issue | M. Kaminiski; S. Martini | 2010 | ACM TRANSACTIONS ON COMPUTATIONAL LOGIC | Association for Computing Machinery - ACM | 3.02 Curatela | - |
5 | Derivational Complexity is an Invariant Cost Model | U. Dal Lago; S. Martini | 2010 | Springer | 4.01 Contributo in Atti di convegno | - | |
6 | Editorial, Computer Science Logic 2008 special issue | Kaminski, M.; Martini, Simone | 2010 | ACM TRANSACTIONS ON COMPUTATIONAL LOGIC | 1.04 Replica / breve intervento (e simili) | - | |
7 | Elogio di Babele | S. Martini | 2008 | MONDO DIGITALE | 1.01 Articolo in rivista | - | |
8 | Fondamenti dell'informatica | S. Martini | 2008 | Zanichelli | 2.01 Capitolo / saggio in libro | - | |
9 | Fondamenti di Informatica, 2 voll. | S. Martini (Progetto A3) | 2008 | Zanichelli | 3.02 Curatela | - | |
10 | Fondazioni di linguaggi funzionali e con controllo delle risorse (FOLLIA) | S. Martini; S. Ronchi della Rocca | 2004 | 8.04 Coordinamento di progetti di ricerca | - | ||
11 | 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 | - | |
12 | 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 | - | |
13 | Higher order linear ramified recurrence | U. DAL LAGO; S. MARTINI; L. ROVERSI | 2004 | Spinger | 4.01 Contributo in Atti di convegno | - | |
14 | 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 | - | |
15 | Informatica: Elogio di Babele | S. Martini | 2008 | Aracne Editrice | 2.01 Capitolo / saggio in libro | - | |
16 | Internet, il WWW e i loro servizi | G. Finocchiaro; L. Margara; S. Martini | 2008 | Zanichelli | 2.01 Capitolo / saggio in libro | - | |
17 | Internet, il www e i loro servizi | G.Finocchiaro; L. Margara; S. Martini | 2007 | Zanichelli | 2.01 Capitolo / saggio in libro | - | |
18 | Istituto internazionale per la matematica applicabile e le scienze dell’informazione | S. Martini; F. Honsell | 2007 | 8.04 Coordinamento di progetti di ricerca | - | ||
19 | Light logics and higher-order processes | Dal Lago, Ugo.; Martini, Simone; Sangiorgi, Davide | 2016 | MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE | 1.01 Articolo in rivista | - | |
20 | Light Logics and Higher-Order Processes | U. Dal Lago; S. Martini; D. Sangiorgi | 2010 | ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 4.01 Contributo in Atti di convegno | - |