The optimal implementation of functional programming languages A Asperti, S Guerrini Cambridge University Press, 1998 | 239 | 1998 |
Correctness of multiplicative proof nets is linear S Guerrini Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999 | 74 | 1999 |
Jumping boxes: representing lambda-calculus boxes by jumps B Accattoli, S Guerrini International Workshop on Computer Science Logic, 55-70, 2009 | 32 | 2009 |
A general theory of sharing graphs S Guerrini Theoretical Computer Science 227 (1-2), 99-151, 1999 | 31 | 1999 |
Parsing MELL proof nets S Guerrini, A Masini Theoretical Computer Science 254 (1-2), 317-335, 2001 | 30 | 2001 |
A linear algorithm for MLL proof net correctness and sequentialization S Guerrini Theoretical Computer Science 412 (20), 1958-1978, 2011 | 28 | 2011 |
Strong normalization of proof nets modulo structural congruences R Di Cosmo, S Guerrini Rewriting Techniques and Applications: 10th International Conference, RTA-99 …, 1999 | 26 | 1999 |
Secure key throughput of intermittent trusted-relay QKD protocols S Guerrini, M Chiani, A Conti 2018 IEEE Globecom Workshops (GC Wkshps), 1-5, 2018 | 25 | 2018 |
An analysis of (linear) exponentials based on extended sequents S Guerrini, S Martini, A Masini Logic Journal of the IGPL 6 (5), 735-754, 1998 | 25 | 1998 |
Quantum discrimination of noisy photon-added coherent states S Guerrini, MZ Win, M Chiani, A Conti IEEE Journal on Selected Areas in Information Theory 1 (2), 469-479, 2020 | 24 | 2020 |
Coherence for sharing proof-nets S Guerrini, S Martini, A Masini Theoretical computer science 294 (3), 379-409, 2003 | 24 | 2003 |
λ-definition of function (al) s by normal forms C Böhm, A Piperno, S Guerrini European Symposium on Programming, 135-149, 1994 | 23 | 1994 |
Theoretical and practical issues of optimal implementations of functional languages S Guerrini Università di Pisa. Dipartimento di Informatica, 1996 | 22 | 1996 |
Coherence for sharing proof nets S Guerrini, S Martini, A Masini Rewriting Techniques and Applications: 7th International Conference, RTA-96 …, 1996 | 20 | 1996 |
Proof nets and the lambda-calculus S Guerrini Linear logic in computer science, 65-118, 2004 | 17 | 2004 |
Quantum pulse position modulation with photon-added coherent states S Guerrini, M Chiani, MZ Win, A Conti 2019 IEEE Globecom Workshops (GC Wkshps), 1-5, 2019 | 16 | 2019 |
Parallel depth-merge: A paradigm for hidden surface removal R Scopigno, A Paoluzzi, S Guerrini, G Rumolo Computers & graphics 17 (5), 583-592, 1993 | 14 | 1993 |
Proof nets, garbage, and computations S Guerrini, S Martini, A Masini Theoretical computer science 253 (2), 185-237, 2001 | 13 | 2001 |
Proof nets, garbage, and computations S Guerrini, S Martini, A Masini Typed Lambda Calculi and Applications: Third International Conference on …, 1997 | 9 | 1997 |
Quantum Turing machines: computations and measurements S Guerrini, S Martini, A Masini Applied Sciences 10 (16), 5551, 2020 | 7 | 2020 |