Simone Martini

Publication Activity (10 Years)

Years Active: 1984-2024
Publications (10 Years): 15

Top Topics

Mathematical Theory

Programming Language

Extended Abstract

Top Venues

Publications

Simone Martini
Teaching Programming in the Age of Generative AI. ITiCSE (1) (2024)
Michael Lodi, Maria Cristina Carrisi, Simone Martini
Big Ideas of Cryptography in Primary School. ITiCSE (1) (2024)
Michael Lodi, Marco Sbaraglia, Simone Martini
Cryptography in Grade 10: Core Ideas with Snap! and Unplugged. ITiCSE (1) (2022)
Michael Lodi, Marco Sbaraglia, Stefano Pio Zingaro, Simone Martini
The Online Course Was Great: I Would Attend It Face-to-Face: The Good, The Bad, and the Ugly of IT in Emergency Remote Teaching of CS1. GoodIT (2021)
Marco Sbaraglia, Michael Lodi, Simone Martini
A Necessity-Driven Ride on the Abstraction Rollercoaster of CS1 Programming. Informatics Educ. 20 (4) (2021)
Simone Martini, Andrea Masini, Margherita Zorzi
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics. ACM Trans. Comput. Log. 22 (3) (2021)
Michael Lodi, Marco Sbaraglia, Simone Martini
Online Unplugged and Block-Based Cryptography in Grade 10. CoRR (2021)
Marco Sbaraglia, Michael Lodi, Stefano Pio Zingaro, Simone Martini
The Good, The Bad, and The Ugly of a Synchronous Online CS1. ITiCSE (Working Group Reports) (2021)
Simone Martini, Andrea Masini, Margherita Zorzi
A journey in modal proof theory: From minimal normal modal logic to discrete linear temporal logic. CoRR (2020)
Simone Martini
The Standard Model for Programming Languages: The Birth of a Mathematical Theory of Computation. Gabbrielli's Festschrift (2020)
Simone Martini, Andrea Masini, Margherita Zorzi
From 2-sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics. CoRR (2020)
Roberto Borchia, Antonella Carbonaro, Giorgio Casadei, Luca Forlizzi, Michael Lodi, Simone Martini
Problem Solving Olympics: An Inclusive Education Model for Learning Informatics. ISSEP (2018)
Stefano Guerrini, Simone Martini, Andrea Masini
Quantum Turing Machines Computations and Measurements. CoRR (2017)
Simone Martini
Types in Programming Languages, Between Modelling, Abstraction, and Correctness - Extended Abstract. CiE (2016)
Ugo Dal Lago, Simone Martini, Davide Sangiorgi
Light logics and higher-order processes. Math. Struct. Comput. Sci. 26 (6) (2016)
Simone Martini
Several Types of Types in Programming Languages. HaPoC (2015)
Simone Martini
Several types of types in programming languages. CoRR (2015)
Stefano Guerrini, Simone Martini, Andrea Masini
Towards A Theory Of Quantum Computability. CoRR (2015)
Ugo Dal Lago, Simone Martini
On Constructor Rewrite Systems and the Lambda Calculus Log. Methods Comput. Sci. 8 (3) (2012)
Michael Kaminski, Simone Martini
CSL 2008 special issue. ACM Trans. Comput. Log. 11 (4) (2010)
Ugo Dal Lago, Simone Martini, Margherita Zorzi
General Ramified Recurrence is Sound for Polynomial Time DICE (2010)
Ugo Dal Lago, Simone Martini, Davide Sangiorgi
Light Logics and Higher-Order Processes EXPRESS (2010)
Ugo Dal Lago, Simone Martini
On Constructor Rewrite Systems and the Lambda-Calculus. ICALP (2) (2009)
Ugo Dal Lago, Simone Martini
Derivational Complexity Is an Invariant Cost Model. FOPARA (2009)
Ugo Dal Lago, Simone Martini
On Constructor Rewrite Systems and the Lambda-Calculus CoRR (2009)
Ugo Dal Lago, Simone Martini
The weak lambda calculus as a reasonable machine. Theor. Comput. Sci. 398 (1-3) (2008)
Paolo Coppola, Simone Martini
Optimizing optimal reduction: A type inference algorithm for elementary affine logic. ACM Trans. Comput. Log. 7 (2) (2006)
Ugo Dal Lago, Simone Martini
An Invariant Cost Model for the Lambda Calculus. CiE (2006)
Ugo Dal Lago, Simone Martini
An Invariant Cost Model for the Lambda Calculus CoRR (2005)
Ugo Dal Lago, Simone Martini
Phase semantics and decidability of elementary affine logic. Theor. Comput. Sci. 318 (3) (2004)
Andrea Asperti, Paolo Coppola, Simone Martini
(Optimal) duplication is not elementary recursive. Inf. Comput. 193 (1) (2004)
Ugo Dal Lago, Simone Martini, Luca Roversi
Higher-Order Linear Ramified Recurrence. TYPES (2003)
Paolo Coppola, Simone Martini
Optimizing Optimal Reduction: A Type Inference Algorithm for Elementary Affine Logic CoRR (2003)
Stefano Guerrini, Simone Martini, Andrea Masini
Coherence for sharing proof-nets. Theor. Comput. Sci. 294 (3) (2003)
Stefano Guerrini, Simone Martini, Andrea Masini
Proof nets, garbage, and computations. Theor. Comput. Sci. 253 (2) (2001)
Paolo Coppola, Simone Martini
Typing Lambda Terms in Elementary Logic with Linear Constraints. TLCA (2001)
Andrea Asperti, Paolo Coppola, Simone Martini
(Optimal) Duplication is not Elementary Recursive. POPL (2000)
Stefano Guerrini, Simone Martini, Andrea Masini
An Analysis of (Linear) Exponentials Based on Extended Sequents. Log. J. IGPL 6 (5) (1998)
Simone Martini, Andrea Masini
Experiments in Linear Natural Deduction. Theor. Comput. Sci. 176 (1-2) (1997)
Stefano Guerrini, Simone Martini, Andrea Masini
Proof Nets, Garbage, and Computations. TLCA (1997)
Stefano Guerrini, Simone Martini, Andrea Masini
Coherence for Sharing Proof Nets. RTA (1996)
Franco Barbanera, Simone Martini
Proof-functional connectives and realizability. Arch. Math. Log. 33 (3) (1994)
Simone Martini, Andrea Masini
A Modal View of Linear Logic. J. Symb. Log. 59 (3) (1994)
Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov
An Extension of System F with Subtyping Inf. Comput. 109 (1/2) (1994)
A. Bucci, Paola Inverardi, Simone Martini
An 'Executable' Impredicative Semantics for the Ada Configuration. Formal Aspects Comput. 5 (2) (1993)
U. Bianchi, Pierpaolo Degano, Stefano Mannucci, Simone Martini, Bruno Mojana, Corrado Priami, E. Salvatori
Generating the analytic component parts of syntax-directed editors with efficient-error recovery. J. Syst. Softw. 23 (1) (1993)
Andrea Asperti, Simone Martini
Categorical Models of Polymorphism Inf. Comput. 99 (1) (1992)
Simone Martini
Categorical Models for Non-Extensional lambda-Calculi and Combinatory Logic. Math. Struct. Comput. Sci. 2 (3) (1992)
Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov
An Extension of System F with Subtyping. TACS (1991)
Paola Inverardi, Simone Martini, Carlo Montangero
Is Type Checking Practical for System Configuration? TAPSOFT, Vol.2 (1989)
Andrea Asperti, Simone Martini
Projections Instead of Variables: A Category Theoretic Interpretation of Logic Programs. ICLP (1989)
Paolo Mancarella, Simone Martini, Dino Pedreschi
Complete Logic Programs with Domain-Closure Axiom. J. Log. Program. 5 (3) (1988)
Simone Martini
An Interval Model for Second-Order Lambda Calculus. Category Theory and Computer Science (1987)
Giuseppe Longo, Simone Martini
Computability in Higher Types, P omega and the Completeness of Type Assignment. Theor. Comput. Sci. 46 (3) (1986)
Giuseppe Longo, Simone Martini
Computability in Higher Types and the Universal Domain P_omega. STACS (1984)