Simone Martini

60 papers A* 1A 1B 3C 2Journal 32Unranked 19
YearRankTypeTitle / Venue / Authors
2024 J jnl
An Unplugged Didactical Situation on Cryptography between Informatics and Mathematics.
Informatics Educ.
Evmorfia-Iro Bartzia, Michael Lodi, Marco Sbaraglia, Simon Modeste, Viviane Durand-Guerrier, Simone Martini
2024 — conf
Big Ideas of Cryptography in Primary School.
ITiCSE (1)
Michael Lodi, Maria Cristina Carrisi, Simone Martini
2024 — conf
Teaching Programming in the Age of Generative AI.
ITiCSE (1)
Simone Martini
2023 — book
Programming Languages: Principles and Paradigms, Second Edition
Maurizio Gabbrielli, Simone Martini, Saverio Giallorenzo
2022 — conf
Cryptography in Grade 10: Core Ideas with Snap! and Unplugged.
ITiCSE (1)
Michael Lodi, Marco Sbaraglia, Simone Martini
2021 J jnl
A Necessity-Driven Ride on the Abstraction Rollercoaster of CS1 Programming.
Informatics Educ.
Marco Sbaraglia, Michael Lodi, Simone Martini
2021 J jnl
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics.
ACM Trans. Comput. Log.
Simone Martini, Andrea Masini, Margherita Zorzi
2021 J jnl
Online Unplugged and Block-Based Cryptography in Grade 10.
CoRR
Michael Lodi, Marco Sbaraglia, Simone Martini
2021 — conf
The Good, The Bad, and The Ugly of a Synchronous Online CS1.
ITiCSE (2)
Marco Sbaraglia, Michael Lodi, Stefano Pio Zingaro, Simone Martini
2021 — conf
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
Michael Lodi, Marco Sbaraglia, Stefano Pio Zingaro, Simone Martini
2020 J jnl
A journey in modal proof theory: From minimal normal modal logic to discrete linear temporal logic.
CoRR
Simone Martini, Andrea Masini, Margherita Zorzi
2020 J jnl
From 2-sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics.
CoRR
Simone Martini, Andrea Masini, Margherita Zorzi
2020 — conf
The Standard Model for Programming Languages: The Birth of a Mathematical Theory of Computation.
Gabbrielli's Festschrift
Simone Martini
2018 — conf
Problem Solving Olympics: An Inclusive Education Model for Learning Informatics.
ISSEP
Roberto Borchia, Antonella Carbonaro, Giorgio Casadei, Luca Forlizzi, Michael Lodi, Simone Martini
2017 J jnl
Quantum Turing Machines Computations and Measurements.
CoRR
Stefano Guerrini, Simone Martini, Andrea Masini
2016 J jnl
Light logics and higher-order processes.
Math. Struct. Comput. Sci.
Ugo Dal Lago, Simone Martini, Davide Sangiorgi
2016 C conf
Types in Programming Languages, Between Modelling, Abstraction, and Correctness - Extended Abstract.
CiE
Simone Martini
2015 — conf
Several Types of Types in Programming Languages.
HaPoC
Simone Martini
2015 J jnl
Several types of types in programming languages.
CoRR
Simone Martini
2015 J jnl
Towards A Theory Of Quantum Computability.
CoRR
Stefano Guerrini, Simone Martini, Andrea Masini
2012 J jnl
On Constructor Rewrite Systems and the Lambda Calculus
Log. Methods Comput. Sci.
Ugo Dal Lago, Simone Martini
2010 J jnl
CSL 2008 special issue.
ACM Trans. Comput. Log.
Michael Kaminski, Simone Martini
2010 — conf
General Ramified Recurrence is Sound for Polynomial Time
DICE
Ugo Dal Lago, Simone Martini, Margherita Zorzi
2010 — conf
Light Logics and Higher-Order Processes
EXPRESS
Ugo Dal Lago, Simone Martini, Davide Sangiorgi
2010 — book
Programming Languages: Principles and Paradigms.
Maurizio Gabbrielli, Simone Martini
2009 — conf
Derivational Complexity Is an Invariant Cost Model.
FOPARA
Ugo Dal Lago, Simone Martini
2009 J jnl
On Constructor Rewrite Systems and the Lambda-Calculus
CoRR
Ugo Dal Lago, Simone Martini
2009 — conf
On Constructor Rewrite Systems and the Lambda-Calculus.
ICALP (2)
Ugo Dal Lago, Simone Martini
2008 B ed.
Computer Science Logic, 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings
CSL
Michael Kaminski, Simone Martini
2008 J jnl
The weak lambda calculus as a reasonable machine.
Theor. Comput. Sci.
Ugo Dal Lago, Simone Martini
2006 C conf
An Invariant Cost Model for the Lambda Calculus.
CiE
Ugo Dal Lago, Simone Martini
2006 J jnl
Optimizing optimal reduction: A type inference algorithm for elementary affine logic.
ACM Trans. Comput. Log.
Paolo Coppola, Simone Martini
2005 J jnl
An Invariant Cost Model for the Lambda Calculus
CoRR
Ugo Dal Lago, Simone Martini
2004 J jnl
(Optimal) duplication is not elementary recursive.
Inf. Comput.
Andrea Asperti, Paolo Coppola, Simone Martini
2004 J jnl
Phase semantics and decidability of elementary affine logic.
Theor. Comput. Sci.
Ugo Dal Lago, Simone Martini
2003 J jnl
Coherence for sharing proof-nets.
Theor. Comput. Sci.
Stefano Guerrini, Simone Martini, Andrea Masini
2003 — conf
Higher-Order Linear Ramified Recurrence.
TYPES
Ugo Dal Lago, Simone Martini, Luca Roversi
2003 J jnl
Optimizing Optimal Reduction: A Type Inference Algorithm for Elementary Affine Logic
CoRR
Paolo Coppola, Simone Martini
2001 J jnl
Proof nets, garbage, and computations.
Theor. Comput. Sci.
Stefano Guerrini, Simone Martini, Andrea Masini
2001 — conf
Typing Lambda Terms in Elementary Logic with Linear Constraints.
TLCA
Paolo Coppola, Simone Martini
2000 A* conf
(Optimal) Duplication is not Elementary Recursive.
POPL
Andrea Asperti, Paolo Coppola, Simone Martini
1998 J jnl
An Analysis of (Linear) Exponentials Based on Extended Sequents.
Log. J. IGPL
Stefano Guerrini, Simone Martini, Andrea Masini
1997 J jnl
Experiments in Linear Natural Deduction.
Theor. Comput. Sci.
Simone Martini, Andrea Masini
1997 — conf
Proof Nets, Garbage, and Computations.
TLCA
Stefano Guerrini, Simone Martini, Andrea Masini
1996 — conf
Coherence for Sharing Proof Nets.
RTA
Stefano Guerrini, Simone Martini, Andrea Masini
1994 J jnl
A Modal View of Linear Logic.
J. Symb. Log.
Simone Martini, Andrea Masini
1994 J jnl
An Extension of System F with Subtyping
Inf. Comput.
Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov
1994 J jnl
Proof-functional connectives and realizability.
Arch. Math. Log.
Franco Barbanera, Simone Martini
1993 J jnl
An 'Executable' Impredicative Semantics for the Ada Configuration.
Formal Aspects Comput.
A. Bucci, Paola Inverardi, Simone Martini
1993 B ed.
Computer Science Logic, 6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers
CSL
Egon Börger, Gerhard Jäger, Hans Kleine Büning, Simone Martini, Michael M. Richter
1993 J jnl
Generating the analytic component parts of syntax-directed editors with efficient-error recovery.
J. Syst. Softw.
U. Bianchi, Pierpaolo Degano, Stefano Mannucci, Simone Martini, Bruno Mojana, Corrado Priami, E. Salvatori
1992 J jnl
Categorical Models for Non-Extensional lambda-Calculi and Combinatory Logic.
Math. Struct. Comput. Sci.
Simone Martini
1992 J jnl
Categorical Models of Polymorphism
Inf. Comput.
Andrea Asperti, Simone Martini
1991 — conf
An Extension of System F with Subtyping.
TACS
Luca Cardelli, Simone Martini, John C. Mitchell, Andre Scedrov
1989 — conf
Is Type Checking Practical for System Configuration?
TAPSOFT, Vol.2
Paola Inverardi, Simone Martini, Carlo Montangero
1989 B conf
Projections Instead of Variables: A Category Theoretic Interpretation of Logic Programs.
ICLP
Andrea Asperti, Simone Martini
1988 J jnl
Complete Logic Programs with Domain-Closure Axiom.
J. Log. Program.
Paolo Mancarella, Simone Martini, Dino Pedreschi
1987 — conf
An Interval Model for Second-Order Lambda Calculus.
Category Theory and Computer Science
Simone Martini
1986 J jnl
Computability in Higher Types, P omega and the Completeness of Type Assignment.
Theor. Comput. Sci.
Giuseppe Longo, Simone Martini
1984 A conf
Computability in Higher Types and the Universal Domain P_omega.
STACS
Giuseppe Longo, Simone Martini