Almost Duplication-Free Tableau Calculi for Propositional Lax Logics. - Alessandro Avellone; Mauro Ferrari 002 (TABLEAUX, 1996)

On maximal intermediate predicate constructive logics. - Alessandro Avellone; Camillo Fiorentini; Paolo Mantovani; Pierangelo Miglioli (Stud Logica, 1996)

Generalized Tableau Systems for Intemediate Propositional Logics. - Alessandro Avellone; Pierangelo Miglioli; Ugo Moscato; Mario Ornaghi (TABLEAUX, 1997)

Synthesis of Programs in Abstract Data Types. - Alessandro Avellone; Mauro Ferrari 002; Pierangelo Miglioli (LOPSTR, 1998)

Analysis of algorithms for the recognition of rational and context-free trace languages. - Alessandro Avellone; Massimiliano Goldwurm (RAIRO Theor. Informatics Appl., 1998)

Duplication-Free Tableau Calculi and Related Cut-Free Sequent Calculi for the Interpolable Propositional Intermediate Logics. - Alessandro Avellone; Mauro Ferrari 002; Pierangelo Miglioli (Log. J. IGPL, 1999)

A Formal Framework for Synthesis and Verification of Logic Programs. - Alessandro Avellone; Mauro Ferrari 002; Camillo Fiorentini (LOPSTR (LNCS 2042: Selected Papers), 2000)

How to Avoid the Formal Verification of a Theorem Prover. - Alessandro Avellone; Marco Benini; Ugo Moscato (Log. J. IGPL, 2001)

A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation. - Alessandro Avellone; Camillo Fiorentini; Guido Fiorino; Ugo Moscato (CSL, 2004)

ESBC: an application for computing stabilization bounds. - Alessandro Avellone; Mauro Ferrari 002; Camillo Fiorentini; Guido Fiorino; Ugo Moscato (CLASE, 2005)

Improvements to the Tableau Prover PITP. - Alessandro Avellone; Guido Fiorino; Ugo Moscato (TABLEAUX, 2007)

Optimization techniques for propositional intuitionistic logic and their implementation. - Alessandro Avellone; Guido Fiorino; Ugo Moscato (Theor. Comput. Sci., 2008)

Focusing on Contraction. - Alessandro Avellone; Camillo Fiorentini; Alberto Momigliano (CILC, 2013)

A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic. - Alessandro Avellone; Camillo Fiorentini; Alberto Momigliano (Fundam. Informaticae, 2015)

Complexity reduction and approximation of multidomain systems of partially ordered data. - Alberto Arcagni; Alessandro Avellone; Marco Fattore (Comput. Stat. Data Anal., 2022)

On finding the community with maximum persistence probability. - Alessandro Avellone; Stefano Benati; Rosanna Grassi; Giorgio Rizzini (4OR, 2024)