Focusing and proof-nets in linear and non-commutative logic JM Andreoli, R Maieli International Conference on Logic for Programming Artificial Intelligence …, 1999 | 21 | 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 | 16 | 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 | 16 | 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 | 15 | 2007 |

Modularity of proof-nets R Maieli, Q Puite Archive for Mathematical Logic 44, 167-193, 2005 | 14 | 2005 |

Non-commutative logic III: focusing proofs R Maieli, P Ruet Information and Computation 185 (2), 233-262, 2003 | 13 | 2003 |

A new correctness criterion for multiplicative non-commutative proof nets R Maieli Archive for Mathematical Logic 42 (3), 205-220, 2003 | 9 | 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 | 7 | 2019 |

Non decomposable connectives of linear logic R Maieli Annals of Pure and Applied Logic 170 (11), 102709, 2019 | 6 | 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 5th International Workshop on Trends in Linear Logic and Applications (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 |