Parallel depth-merge: A paradigm for hidden surface removal. - Roberto Scopigno; Alberto Paoluzzi; Stefano Guerrini; G. Rumolo (Comput. Graph., 1993)

Lambda-Definition of Function(al)s by Normal Forms. - Corrado Böhm; Adolfo Piperno; Stefano Guerrini (ESOP, 1994)

The optimal implementation of functional programming languages. - Andrea Asperti; Stefano Guerrini (Cambridge University Press, 1998)

An Analysis of (Linear) Exponentials Based on Extended Sequents. - Stefano Guerrini; Simone Martini 001; Andrea Masini (Log. J. IGPL, 1998)

Correctness of Multiplicative Proof Nets Is Linear. - Stefano Guerrini (LICS, 1999)

Strong Normalization of Proof Nets Modulo Structural Congruences. - Roberto Di Cosmo; Stefano Guerrini (RTA, 1999)

A General Theory of Sharing Graphs. - Stefano Guerrini (Theor. Comput. Sci., 1999)

Parsing MELL proof nets. - Stefano Guerrini; Andrea Masini (Theor. Comput. Sci., 2001)

Proof nets, garbage, and computations. - Stefano Guerrini; Simone Martini 001; Andrea Masini (Theor. Comput. Sci., 2001)

Coherence for sharing proof-nets. - Stefano Guerrini; Simone Martini 001; Andrea Masini (Theor. Comput. Sci., 2003)

Sharing Implementations of Graph Rewriting Systems. - Stefano Guerrini (TERMGRAPH, 2004)

Commutative Locative Quantifiers for Multiplicative Linear Logic. - Stefano Guerrini; Patrizia Marzuoli (ICALP (2), 2006)

Continuations, proofs and tests - Stefano Guerrini; Andrea Masini (CoRR, 2006)

Jumping Boxes. - Beniamino Accattoli; Stefano Guerrini (CSL, 2009)

Proofs, tests and continuation passing style. - Stefano Guerrini; Andrea Masini (ACM Trans. Comput. Log., 2009)

A linear algorithm for MLL proof net correctness and sequentialization. - Stefano Guerrini (Theor. Comput. Sci., 2011)

Towards A Theory Of Quantum Computability. - Stefano Guerrini; Simone Martini 001; Andrea Masini (CoRR, 2015)

Linear β-reduction. - Stefano Guerrini (LINEARITY, 2016)

Is the Optimal Implementation Inefficient? Elementarily Not. - Stefano Guerrini; Marco Solieri (FSCD, 2017)

Quantum Turing Machines Computations and Measurements. - Stefano Guerrini; Simone Martini 001; Andrea Masini (CoRR, 2017)

Computing with lambda-terms: A special issue dedicated to Corrado Böhm for his 90th birthday. - Stefano Guerrini; Henk Barendrengt; Adolfo Piperno (Math. Struct. Comput. Sci., 2017)

Secure Key Throughput of Intermittent Trusted-Relay QKD Protocols. - Stefano Guerrini; Marco Chiani; Andrea Conti 001 (GLOBECOM Workshops, 2018)

Quantum Pulse Position Modulation with Photon-Added Coherent States. - Stefano Guerrini; Marco Chiani; Moe Z. Win; Andrea Conti 001 (GLOBECOM Workshops, 2019)

Quantum Pulse Position Modulation with Photon-Added Squeezed States. - Stefano Guerrini; Marco Chiani; Moe Z. Win; Andrea Conti 001 (GLOBECOM (Workshops), 2020)

Quantum Discrimination of Noisy Photon-Added Coherent States. - Stefano Guerrini; Moe Z. Win; Marco Chiani; Andrea Conti 001 (IEEE J. Sel. Areas Inf. Theory, 2020)

Proof Nets for Classical Logic. - Stefano Guerrini; Andrea Masini (Notre Dame J. Formal Log., 2021)

Natural deduction calculi for classical and intuitionistic S5. - Stefano Guerrini; Andrea Masini; Margherita Zorzi (J. Appl. Non Class. Logics, 2023)