Alessandro Avellone

Publication Activity (10 Years)

Years Active: 1996-2022
Publications (10 Years): 2

Top Topics

Programming Language

Intuitionistic Logic

Complexity Reduction

Partially Ordered

Top Venues

Fundam. Informaticae

Comput. Stat. Data Anal.

Publications

Alberto Arcagni, Alessandro Avellone, Marco Fattore
Complexity reduction and approximation of multidomain systems of partially ordered data. Comput. Stat. Data Anal. 173 (2022)
Alessandro Avellone, Camillo Fiorentini, Alberto Momigliano
A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic. Fundam. Informaticae 140 (3-4) (2015)
Alessandro Avellone, Camillo Fiorentini, Alberto Momigliano
Focusing on Contraction. CILC (2013)
Alessandro Avellone, Guido Fiorino, Ugo Moscato
Optimization techniques for propositional intuitionistic logic and their implementation. Theor. Comput. Sci. 409 (1) (2008)
Alessandro Avellone, Guido Fiorino, Ugo Moscato
Improvements to the Tableau Prover PITP. TABLEAUX (2007)
Alessandro Avellone, Mauro Ferrari, Camillo Fiorentini, Guido Fiorino, Ugo Moscato
ESBC: an application for computing stabilization bounds. Electron. Notes Theor. Comput. Sci. 153 (1) (2006)
Alessandro Avellone, Camillo Fiorentini, Guido Fiorino, Ugo Moscato
A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation. CSL (2004)
Alessandro Avellone, Marco Benini, Ugo Moscato
How to Avoid the Formal Verification of a Theorem Prover. Log. J. IGPL 9 (1) (2001)
Alessandro Avellone, Mauro Ferrari, Camillo Fiorentini
A Formal Framework for Synthesis and Verification of Logic Programs. LOPSTR (LNCS 2042: Selected Papers) (2000)
Alessandro Avellone, Mauro Ferrari, Camillo Fiorentini
A formal framework for synthesis and verification of logic programs. LOPSTR (2000)
Alessandro Avellone, Mauro Ferrari, Pierangelo Miglioli
Duplication-Free Tableau Calculi and Related Cut-Free Sequent Calculi for the Interpolable Propositional Intermediate Logics. Log. J. IGPL 7 (4) (1999)
Alessandro Avellone, Mauro Ferrari, Pierangelo Miglioli
Synthesis of Programs in Abstract Data Types. LOPSTR (1998)
Alessandro Avellone, Massimiliano Goldwurm
Analysis of algorithms for the recognition of rational and context-free trace languages. RAIRO Theor. Informatics Appl. 32 (4-6) (1998)
Alessandro Avellone, Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
Generalized Tableau Systems for Intemediate Propositional Logics. TABLEAUX (1997)
Alessandro Avellone, Mauro Ferrari
Almost Duplication-Free Tableau Calculi for Propositional Lax Logics. TABLEAUX (1996)
Alessandro Avellone, Camillo Fiorentini, Paolo Mantovani, Pierangelo Miglioli
On maximal intermediate predicate constructive logics. Stud Logica 57 (2/3) (1996)