| Focusing and proof-nets in linear and non-commutative logic JM Andreoli, R Maieli International Conference on Logic for Programming Artificial Intelligence …, 1999 | 23 | 1999 |
| Generalized connectives for multiplicative linear logic M Acclavio, R Maieli CSL 2020-28th EACSL annual conference on Computer Science Logic 152, 6: 1-6: 15, 2020 | 18 | 2020 |
| Cut elimination for monomial MALL proof nets O Laurent, R Maieli 2008 23rd Annual IEEE Symposium on Logic in Computer Science, 486-497, 2008 | 18 | 2008 |
| Retractile proof nets of the purely multiplicative and additive fragment of linear logic R Maieli Logic for Programming, Artificial Intelligence, and Reasoning: 14th …, 2007 | 17 | 2007 |
| Modularity of proof-nets R Maieli, Q Puite Archive for Mathematical Logic 44, 167-193, 2005 | 15 | 2005 |
| Non-commutative logic III: focusing proofs R Maieli, P Ruet Information and Computation 185 (2), 233-262, 2003 | 14 | 2003 |
| Proof nets for multiplicative cyclic linear logic and Lambek calculus VM Abrusci, R Maieli Mathematical Structures in Computer Science 29 (6), 733-762, 2019 | 9 | 2019 |
| A new correctness criterion for multiplicative non-commutative proof nets R Maieli Archive for Mathematical Logic 42 (3), 205-220, 2003 | 9 | 2003 |
| Non decomposable connectives of linear logic R Maieli Annals of Pure and Applied Logic 170 (11), 102709, 2019 | 7 | 2019 |
| Construction of retractile proof structures R Maieli International Conference on Rewriting Techniques and Applications, 319-333, 2014 | 6 | 2014 |
| Cyclic multiplicative-additive proof nets of linear logic with an application to language parsing VM Abrusci, R Maieli International Conference on Formal Grammar, 43-59, 2015 | 4 | 2015 |
| Cyclic multiplicative proof nets of linear logic with an application to language parsing VM Abrusci, R Maieli Logic, Language, Information, and Computation: 22nd International Workshop …, 2015 | 4 | 2015 |
| Non-commutative proof construction: a constraint-based approach JM Andreoli, R Maieli, P Ruet Annals of Pure and Applied Logic 142 (1-3), 212-244, 2006 | 4 | 2006 |
| Focalizzazione delle prove in logica non-commutativa R Maieli Ph. D. thesis, Università Roma 3, 2000 | 3 | 2000 |
| A proof of the Focusing Theorem via MALL proof nets R Maieli International Workshop on Logic, Language, Information, and Computation, 1-17, 2022 | 2 | 2022 |
| Probabilistic logic programming with multiplicative modules R Maieli Proc. of TLLA, 2021 | 2 | 2021 |
| Constraint Based Proof Construction in Non-Commutative Logic JM Andreoli, R Maieli, P Ruet Preprint Institut de Mathematiques de Luminy 33, 2001 | 2 | 2001 |
| Interactive correctness criterion for multiplicative-additive proof-nets R Maieli, P Ruet LICS, 2006 | 1 | 2006 |
| Bayesian Proof Nets R Maieli | | 2024 |
| Logic Programming with Multiplicative Structures M Acclavio, R Maieli arXiv preprint arXiv:2403.03032, 2024 | | 2024 |
