MARTINI, SIMONE

MARTINI, SIMONE  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Docenti di ruolo di Ia fascia  

Mostra records
Risultati 1 - 20 di 49 (tempo di esecuzione: 0.036 secondi).
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 -