Foto del docente

Simone Martini

Professore ordinario

Dipartimento di Informatica - Scienza e Ingegneria

Settore scientifico disciplinare: INF/01 INFORMATICA

Pubblicazioni

Michael, Lodi; Simone, Martini; Enrico, Nardelli, Abbiamo davvero bisogno del pensiero computazionale?, «MONDO DIGITALE», 2017, 72, pp. 1 - 15 [articolo]

Martini, Simone, Pensiero computazionale: una quarta competenza dopo scrivere, leggere e far di conto, «IL NODO», 2017, 47, pp. 19 - 28 [articolo]

Dal Lago, Ugo.; Martini, Simone; Sangiorgi, Davide, Light logics and higher-order processes, «MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE», 2016, 26, pp. 969 - 992 [articolo]

Martini, Simone, Several types of types in programming languages, in: IFIP Advances in Information and Communication Technology, New York, Springer New York LLC, «IFIP ADVANCES IN INFORMATION AND COMMUNICATION TECHNOLOGY», 2016, 487, pp. 216 - 227 (atti di: 3rd International Conference on History and Philosophy of Computing, HaPoC 2015, Pisa, 2015) [Contributo in Atti di convegno]

Martini, Simone, Types in Programming Languages, Between Modelling, Abstraction, and Correctness, in: Pursuit of the Universal, Springer International Publishing, «LECTURE NOTES IN COMPUTER SCIENCE», 2016, 9709, pp. 164 - 169 (atti di: Computability in Europe 2016, Paris, 27/06/2016 - 1/07/2016) [Contributo in Atti di convegno]

Alves S.; Cervesato I.; Chaudhuri K.; Fernandez M.; Florido M.; Gay S.; Martini S.; Paolini L.; Della Rocca S.R.; Schurmann C.; Simmons R.; Vasconcelos V., Preface, in: Electronic Proceedings in Theoretical Computer Science, EPTCS, Waterloo, Open Publishing Association, 2015, pp. 1 - 1 [prefazione]

U. Dal Lago; S. Martini, On constructor rewrite systems and the lambda-calculus, «LOGICAL METHODS IN COMPUTER SCIENCE», 2012, 8(3:12), pp. 1 - 27 [articolo]

S. Martini, Lingua Universalis, «ANNALI DELLA PUBBLICA ISTRUZIONE», 2011, 4-5(2011), pp. 65 - 70 [articolo]

M. Gabbrielli; S. Martini, Linguaggi di programmazione: principi e paradigmi. Seconda Edizione, MILANO, McGraw-Hill, 2011, pp. 576 . [libro]

M. Kaminiski; S. Martini, CSL 2008 special issue, NEW YORK, NY, Association for Computing Machinery - ACM, 2010, pp. 210 . [curatela]

U. Dal Lago; S. Martini, Derivational Complexity is an Invariant Cost Model, in: M. VAN EEKELEN; O. SHKARAVSKA, Foundational and Practical Aspects of Resource Analysis, FOPARA 2009, BERLIN HEIDELBERG, Springer, 2010, LNCS 6324, pp. 88 - 101 (atti di: Foundational and Practical Aspects of Resource Analysis, FOPARA 2009, Eindhoven, November 6, 2009) [Contributo in Atti di convegno]

U. Dal Lago; S. Martini; M. Zorzi, General Ramified Recurrence is Sound for Polynomial Time, in: , 2010, 23, pp. 47 - 62 (atti di: Developments in Implicit Computational complExity , DICE 2010, Paphos, Cyprus, , 27-28th March 2010) [Contributo in Atti di convegno]

U. Dal Lago; S. Martini; D. Sangiorgi, Light Logics and Higher-Order Processes, in: , 2010, 41, pp. 46 - 60 (atti di: 17th International Workshop on Expressiveness in Concurrency (EXPRESS 2010), Paris, 30th August 2010) [Contributo in Atti di convegno]

M. Gabbrielli; S. Martini, Programming Languages: Principles and Paradigms, LONDON DORDRECHT HEIDELBERG, Springer, 2010, pp. 440 . [libro]

Dal Lago U.; Martini S., On Constructor Rewrite Systems and the Lambda-Calculus, in: Automata, Languages and Programming, Vol II, HEIDELBERG, Springer Verlag, 2009, LNCS 5556, pp. 163 - 174 (atti di: International Colloquium on Automata, Languages and Programming (ICALP) 2009, Rodi, Grecia, July 2009) [Contributo in Atti di convegno]