| A computational interpretation of modal proofs S Martini, A Masini Proof theory of modal logic, 213-241, 1996 | 108 | 1996 |
| 2-sequent calculus: A proof theory of modalities A Masini Annals of Pure and Applied Logic 58 (3), 229-246, 1992 | 94 | 1992 |
| On the fine structure of the exponential rule SMA Masini Advances in linear logic 222, 197, 1995 | 48 | 1995 |
| Quantum implicit computational complexity U Dal Lago, A Masini, M Zorzi Theoretical Computer Science 411 (2), 377-409, 2010 | 45 | 2010 |
| 2-sequent calculus: Intuitionism and natural deduction A Masini Journal of Logic and Computation 3 (5), 533-562, 1993 | 45 | 1993 |
| Parsing MELL proof nets S Guerrini, A Masini Theoretical Computer Science 254 (1-2), 317-335, 2001 | 32 | 2001 |
| On a measurement-free quantum lambda calculus with classical control U Dal Lago, A Masini, M Zorzi Mathematical Structures in Computer Science 19 (2), 297-335, 2009 | 29 | 2009 |
| 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 |
| Modal Deduction Systems for Quantum State Transformations. A Masini, L Viganò, M Zorzi J. Multiple Valued Log. Soft Comput. 17 (5-6), 475-519, 2011 | 24 | 2011 |
| Confluence results for a quantum lambda calculus with measurements U Dal Lago, A Masini, M Zorzi Electronic Notes in Theoretical Computer Science 270 (2), 251-261, 2011 | 24 | 2011 |
| Coherence for sharing proof-nets S Guerrini, S Martini, A Masini Theoretical computer science 294 (3), 379-409, 2003 | 24 | 2003 |
| An approach to infinitary temporal proof theory S Baratella, A Masini Archive for Mathematical Logic 43 (8), 965-990, 2004 | 23 | 2004 |
| A modal view of linear logic S Martini, A Masini The Journal of Symbolic Logic 59 (3), 888-899, 1994 | 23 | 1994 |
| Coherence for sharing proof nets S Guerrini, S Martini, A Masini Rewriting Techniques and Applications: 7th International Conference, RTA-96 …, 1996 | 20 | 1996 |
| A proof-theoretic investigation of a logic of positions S Baratella, A Masini Annals of Pure and Applied Logic 123 (1-3), 135-162, 2003 | 17 | 2003 |
| A qualitative modal representation of quantum register transformations A Masini, L Vigano, M Zorzi 38th International Symposium on Multiple Valued Logic (ismvl 2008), 131-137, 2008 | 16 | 2008 |
| Labelled natural deduction for a bundled branching temporal logic A Masini, L Viganò, M Volpe Journal of Logic and Computation 21 (6), 1093-1163, 2011 | 14 | 2011 |
| Proof nets, garbage, and computations S Guerrini, S Martini, A Masini Theoretical computer science 253 (2), 185-237, 2001 | 14 | 2001 |
| Proof nets, garbage, and computations S Guerrini, S Martini, A Masini Typed Lambda Calculi and Applications: Third International Conference on …, 1997 | 9 | 1997 |
| A Labeled Natural Deduction System for a Fragment of CTL* A Masini, L Vigano, M Volpe International Symposium on Logical Foundations of Computer Science, 338-353, 2009 | 8 | 2009 |
