Skip to content
cs-conference-ranking.org

Roberto Maieli

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

9

Venues

7

Active years

1999–2026

Best venue rank

A*

Where they publish

Papers

9 indexed papers, newest first.

YearVenueTitleAuthors
2026FLOPSProbabilistic Linear Logic Programming with an Application to Bayesian Network Computations.Matteo Acclavio, Roberto Maieli
2024DCAIBayesian Proof Nets - An Encoding of Bayesian Networks in Proof Nets of Linear Logic.Roberto Maieli
2022WoLLICA Proof of the Focusing Theorem via MALL Proof Nets.Roberto Maieli
2020CSLGeneralized Connectives for Multiplicative Linear Logic.Matteo Acclavio, Roberto Maieli
2015FGCyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing.Vito Michele Abrusci, Roberto Maieli
2015WoLLICCyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing.Vito Michele Abrusci, Roberto Maieli
2008LICSCut Elimination for Monomial MALL Proof Nets.Olivier Laurent, Roberto Maieli
2007LPARRetractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic.Roberto Maieli
1999LPARFucusing and Proof-Nets in Linear and Non-commutative Logic.Jean-Marc Andreoli, Roberto Maieli