Selected Papers of Roberto Maieli

• Transactional Nets. Preprint 2009.
• Cut Elimination for Monomial MALL Proof Nets.
  with Olivier Laurent
  Twenty-Third Annual IEEE Symposium on Logic in Computer Science (LICS 2008), 24 - 27 June 2008, Pittsburgh, Pennsylvania, USA
• Cut Elimination for Monomial Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic.
  Istituto di Applicazione del Calcolo, Consiglio Nazionale delle Ricerche, N.140 (2/2008).
• Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic.
  14th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR'07). Springer-Verlag LNAI 4790, pp. 363-377, 2007.
• Interactive Correctness Crietrion for Multiplicative and Additive Proof Nets.
  with Paul Ruet
  Twenty-First Annual IEEE Symposium, LICS 2006, August 12th-15th, 2006, Seattle, Washington, USA .
• Non-commutative Proof Construction: A constraint-based approach.
  with Jean-Marc Andreoli and Paul Ruet
  Annals of Pure and Applied Logic 142(1-3): 212-244, 2006.
• Modularity of proof nets: generating the type of a module.
  with Quintijn Puite
  Archive for Mathematical Logic, Volume 44, Number 2, 2005, pg. 167-193
• Modules and concurrent systems
  Preprint, December 2004.
• A new correctness criterion for multiplicative non commutative proof-nets.
  Archive for Mathematical Logic, vol.42, 205-220, Springer-Verlag, 2003
• Non-commutative logic III : focusing proofs.
  with Paul Ruet
  Information and Computation 185(2): 233-262, 2003.
• Focusing and proof-nets in linear and non-commutative logic.
  with Jean-Marc Andreoli
  In Proc. LPAR'99. Spinger LNAI, 1705, 1999
• Focalizzazione delle prove in logica non-commutativa
  Tesi di Dottorato, Universita' degli Studi di Roma "La Sapienza", 28 Aprile, 2000.