| The optimal implementation of functional programming languages A Asperti, S Guerrini Cambridge University Press, 1998 | 235 | 1998 |
| Correctness of multiplicative proof nets is linear S Guerrini Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158 …, 1999 | 73 | 1999 |
| Jumping boxes: representing lambda-calculus boxes by jumps B Accattoli, S Guerrini International Workshop on Computer Science Logic, 55-70, 2009 | 32 | 2009 |
| Parsing MELL proof nets S Guerrini, A Masini Theoretical Computer Science 254 (1-2), 317-335, 2001 | 30 | 2001 |
| A general theory of sharing graphs S Guerrini Theoretical Computer Science 227 (1-2), 99-151, 1999 | 30 | 1999 |
| A linear algorithm for MLL proof net correctness and sequentialization S Guerrini Theoretical Computer Science 412 (20), 1958-1978, 2011 | 28 | 2011 |
| 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 |
| Strong normalization of proof nets modulo structural congruences R Di Cosmo, S Guerrini Rewriting Techniques and Applications: 10th International Conference, RTA-99 …, 1999 | 25 | 1999 |
| 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 | 24 | 1998 |
| λ-definition of function (al) s by normal forms C Böhm, A Piperno, S Guerrini European Symposium on Programming, 135-149, 1994 | 24 | 1994 |
| Coherence for sharing proof-nets S Guerrini, S Martini, A Masini Theoretical computer science 294 (3), 379-409, 2003 | 23 | 2003 |
| Theoretical and practical issues of optimal implementations of functional languages S Guerrini Università di Pisa. Dipartimento di Informatica, 1996 | 22 | 1996 |
| 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 | 20 | 2020 |
| 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 |
| Sharing-graphs, sharing-morphisms and (optimal) λgraph reductions S Guerrini J. Ginzburg, Z. Khasidashvili, C. Vogel, J.-J. Lévy, and E. Vallduvı …, 1995 | 7 | 1995 |
Andrea MasiniDept. Computer Science, University of VeronaVerified email at univr.it
