Foto del docente

Simone Martini

Full Professor

Department of Computer Science and Engineering

Academic discipline: INF/01 Informatics

Publications

Martini, Simone, Several types of types in programming languages, in: IFIP Advances in Information and Communication Technology, New York, Springer New York LLC, 2016, 487, pp. 216 - 227 (atti di: 3rd International Conference on History and Philosophy of Computing, HaPoC 2015, Pisa, 2015) [Contribution to conference proceedings]

Martini, Simone, Types in Programming Languages, Between Modelling, Abstraction, and Correctness, in: Pursuit of the Universal, Springer International Publishing, 2016, 9709, pp. 164 - 169 (atti di: Computability in Europe 2016, Paris, 27/06/2016 - 1/07/2016) [Contribution to conference proceedings]

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 [Preface]

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 [Scientific article]

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

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

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

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) [Contribution to conference proceedings]

U. Dal Lago; S. Martini; M. Zorzi, General Ramified Recurrence is Sound for Polynomial Time, in: , «ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE», 2010, 23, pp. 47 - 62 (atti di: Developments in Implicit Computational complExity , DICE 2010, Paphos, Cyprus, , 27-28th March 2010) [Contribution to conference proceedings]

U. Dal Lago; S. Martini; D. Sangiorgi, Light Logics and Higher-Order Processes, in: , «ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE», 2010, 41, pp. 46 - 60 (atti di: 17th International Workshop on Expressiveness in Concurrency (EXPRESS 2010), Paris, 30th August 2010) [Contribution to conference proceedings]

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

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) [Contribution to conference proceedings]

M. Kaminski; S. Martini (a cura di): AA.VV., Computer Science Logic 2008, LNCS 5213, HEIDELBERG - BERLIN, Springer Verlag, 2008, pp. 512 (Lecture Notes in Computer Science). [Editorship]

S. Martini, Elogio di Babele, «MONDO DIGITALE», 2008, 2, pp. 17 - 23 [Scientific article]

S. Martini (Progetto A3) (a cura di): PROGETTO A3 - DIPARTIMENTO DI SCIENZE DELL'INFORMAZIONE, Fondamenti di Informatica, 2 voll., BOLOGNA, Zanichelli, 2008, pp. 700 . [Editorship]