Stefano Guerrini

30 papers A* 1A 1B 3Journal 15Unranked 9

Year	Rank	Type	Title / Venue / Authors
2026	B	`ed.`	34th EACSL Annual Conference on Computer Science Logic, CSL 2026, Paris, France, February 23-28, 2026 CSL Stefano Guerrini, Barbara König
2023	J	`jnl`	Natural deduction calculi for classical and intuitionistic S5. J. Appl. Non Class. Logics Stefano Guerrini, Andrea Masini, Margherita Zorzi
2021	J	`jnl`	Proof Nets for Classical Logic. Notre Dame J. Formal Log. Stefano Guerrini, Andrea Masini
2020	J	`jnl`	Quantum Discrimination of Noisy Photon-Added Coherent States. IEEE J. Sel. Areas Inf. Theory Stefano Guerrini, Moe Z. Win, Marco Chiani, Andrea Conti
2020	—	`conf`	Quantum Pulse Position Modulation with Photon-Added Squeezed States. GLOBECOM (Workshops) Stefano Guerrini, Marco Chiani, Moe Z. Win, Andrea Conti
2019	—	`conf`	Quantum Pulse Position Modulation with Photon-Added Coherent States. GLOBECOM Workshops Stefano Guerrini, Marco Chiani, Moe Z. Win, Andrea Conti
2018	—	`conf`	Secure Key Throughput of Intermittent Trusted-Relay QKD Protocols. GLOBECOM Workshops Stefano Guerrini, Marco Chiani, Andrea Conti
2017	J	`jnl`	Computing with lambda-terms: A special issue dedicated to Corrado Böhm for his 90th birthday. Math. Struct. Comput. Sci. Stefano Guerrini, Henk Barendrengt, Adolfo Piperno
2017	B	`conf`	Is the Optimal Implementation Inefficient? Elementarily Not. FSCD Stefano Guerrini, Marco Solieri
2017	J	`jnl`	Quantum Turing Machines Computations and Measurements. CoRR Stefano Guerrini, Simone Martini, Andrea Masini
2016	—	`conf`	Linear β-reduction. LINEARITY Stefano Guerrini
2015	J	`jnl`	Towards A Theory Of Quantum Computability. CoRR Stefano Guerrini, Simone Martini, Andrea Masini
2011	J	`jnl`	A linear algorithm for MLL proof net correctness and sequentialization. Theor. Comput. Sci. Stefano Guerrini
2009	B	`conf`	Jumping Boxes. CSL Beniamino Accattoli, Stefano Guerrini
2009	J	`jnl`	Proofs, tests and continuation passing style. ACM Trans. Comput. Log. Stefano Guerrini, Andrea Masini
2006	—	`conf`	Commutative Locative Quantifiers for Multiplicative Linear Logic. ICALP (2) Stefano Guerrini, Patrizia Marzuoli
2006	J	`jnl`	Continuations, proofs and tests CoRR Stefano Guerrini, Andrea Masini
2004	—	`conf`	Sharing Implementations of Graph Rewriting Systems. TERMGRAPH Stefano Guerrini
2003	J	`jnl`	Coherence for sharing proof-nets. Theor. Comput. Sci. Stefano Guerrini, Simone Martini, Andrea Masini
2001	J	`jnl`	Parsing MELL proof nets. Theor. Comput. Sci. Stefano Guerrini, Andrea Masini
2001	J	`jnl`	Proof nets, garbage, and computations. Theor. Comput. Sci. Stefano Guerrini, Simone Martini, Andrea Masini
1999	J	`jnl`	A General Theory of Sharing Graphs. Theor. Comput. Sci. Stefano Guerrini
1999	A*	`conf`	Correctness of Multiplicative Proof Nets Is Linear. LICS Stefano Guerrini
1999	—	`conf`	Strong Normalization of Proof Nets Modulo Structural Congruences. RTA Roberto Di Cosmo, Stefano Guerrini
1998	J	`jnl`	An Analysis of (Linear) Exponentials Based on Extended Sequents. Log. J. IGPL Stefano Guerrini, Simone Martini, Andrea Masini
1998	—	`book`	The optimal implementation of functional programming languages. Andrea Asperti, Stefano Guerrini
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	A	`conf`	Lambda-Definition of Function(al)s by Normal Forms. ESOP Corrado Böhm, Adolfo Piperno, Stefano Guerrini
1993	J	`jnl`	Parallel depth-merge: A paradigm for hidden surface removal. Comput. Graph. Roberto Scopigno, Alberto Paoluzzi, Stefano Guerrini, G. Rumolo