Stefano Guerrini

Publication Activity (10 Years)

Years Active: 1993-2023
Publications (10 Years): 11

Top Topics

Classical Logic

Natural Deduction

Sequent Calculus

Top Venues

GLOBECOM Workshops

IEEE J. Sel. Areas Inf. Theory

Math. Struct. Comput. Sci.

Publications

Stefano Guerrini, Andrea Masini, Margherita Zorzi
Natural deduction calculi for classical and intuitionistic S5. J. Appl. Non Class. Logics 33 (2) (2023)
Stefano Guerrini, Andrea Masini
Proof Nets for Classical Logic. Notre Dame J. Formal Log. 62 (2) (2021)
Stefano Guerrini, Marco Chiani, Moe Z. Win, Andrea Conti
Quantum Pulse Position Modulation with Photon-Added Squeezed States. GLOBECOM (Workshops) (2020)
Stefano Guerrini, Moe Z. Win, Marco Chiani, Andrea Conti
Quantum Discrimination of Noisy Photon-Added Coherent States. IEEE J. Sel. Areas Inf. Theory 1 (2) (2020)
Stefano Guerrini, Marco Chiani, Moe Z. Win, Andrea Conti
Quantum Pulse Position Modulation with Photon-Added Coherent States. GLOBECOM Workshops (2019)
Stefano Guerrini, Marco Chiani, Andrea Conti
Secure Key Throughput of Intermittent Trusted-Relay QKD Protocols. GLOBECOM Workshops (2018)
Stefano Guerrini, Henk Barendrengt, Adolfo Piperno
Computing with lambda-terms: A special issue dedicated to Corrado Böhm for his 90th birthday. Math. Struct. Comput. Sci. 27 (5) (2017)
Stefano Guerrini, Marco Solieri
Is the Optimal Implementation Inefficient? Elementarily Not. FSCD (2017)
Stefano Guerrini, Simone Martini, Andrea Masini
Quantum Turing Machines Computations and Measurements. CoRR (2017)
Stefano Guerrini
Linear β-reduction. LINEARITY (2016)
Stefano Guerrini, Simone Martini, Andrea Masini
Towards A Theory Of Quantum Computability. CoRR (2015)
Stefano Guerrini
A linear algorithm for MLL proof net correctness and sequentialization. Theor. Comput. Sci. 412 (20) (2011)
Beniamino Accattoli, Stefano Guerrini
Jumping Boxes. CSL (2009)
Stefano Guerrini, Andrea Masini
Proofs, tests and continuation passing style. ACM Trans. Comput. Log. 10 (2) (2009)
Stefano Guerrini, Andrea Masini
Continuations, proofs and tests CoRR (2006)
Stefano Guerrini, Patrizia Marzuoli
Commutative Locative Quantifiers for Multiplicative Linear Logic. ICALP (2) (2006)
Stefano Guerrini
Sharing Implementations of Graph Rewriting Systems. Electron. Notes Theor. Comput. Sci. 127 (5) (2005)
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)
Stefano Guerrini, Andrea Masini
Parsing MELL proof nets. Theor. Comput. Sci. 254 (1-2) (2001)
Roberto Di Cosmo, Stefano Guerrini
Strong Normalization of Proof Nets Modulo Structural Congruences. RTA (1999)
Stefano Guerrini
Correctness of Multiplicative Proof Nets Is Linear. LICS (1999)
Stefano Guerrini
A General Theory of Sharing Graphs. Theor. Comput. Sci. 227 (1-2) (1999)
Stefano Guerrini, Simone Martini, Andrea Masini
An Analysis of (Linear) Exponentials Based on Extended Sequents. Log. J. IGPL 6 (5) (1998)
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)
Corrado Böhm, Adolfo Piperno, Stefano Guerrini
Lambda-Definition of Function(al)s by Normal Forms. ESOP (1994)
Roberto Scopigno, Alberto Paoluzzi, Stefano Guerrini, G. Rumolo
Parallel depth-merge: A paradigm for hidden surface removal. Comput. Graph. 17 (5) (1993)