Alessandro Avellone

According to our database, Alessandro Avellone authored at least 15 papers between 1996 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2022

Complexity reduction and approximation of multidomain systems of partially ordered data.

Alberto Arcagni, Alessandro Avellone, Marco Fattore

Comput. Stat. Data Anal., 2022

2015

A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic.

Alessandro Avellone, Camillo Fiorentini, Alberto Momigliano

Fundam. Informaticae, 2015

2013

Focusing on Contraction.

Alessandro Avellone, Camillo Fiorentini, Alberto Momigliano

Proceedings of the 28th Italian Conference on Computational Logic, 2013

2008

Optimization techniques for propositional intuitionistic logic and their implementation.

Alessandro Avellone, Guido Fiorino, Ugo Moscato

Theor. Comput. Sci., 2008

2007

Improvements to the Tableau Prover PITP.

Alessandro Avellone, Guido Fiorino, Ugo Moscato

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2007

2005

ESBC: an application for computing stabilization bounds.

Alessandro Avellone, Mauro Ferrari, Camillo Fiorentini, Guido Fiorino, Ugo Moscato

Proceedings of the Workshop on the Constructive Logic for Automated Software Engineering, 2005

2004

A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation.

Alessandro Avellone, Camillo Fiorentini, Guido Fiorino, Ugo Moscato

Proceedings of the Computer Science Logic, 18th International Workshop, 2004

2001

How to Avoid the Formal Verification of a Theorem Prover.

Alessandro Avellone, Marco Benini, Ugo Moscato

Log. J. IGPL, 2001

2000

A formal framework for synthesis and verification of logic programs.

Alessandro Avellone, Mauro Ferrari, Camillo Fiorentini

Proceedings of the Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, 2000

1999

Duplication-Free Tableau Calculi and Related Cut-Free Sequent Calculi for the Interpolable Propositional Intermediate Logics.

Alessandro Avellone, Mauro Ferrari, Pierangelo Miglioli

Log. J. IGPL, 1999

1998

Analysis of algorithms for the recognition of rational and context-free trace languages.

Alessandro Avellone, Massimiliano Goldwurm

RAIRO Theor. Informatics Appl., 1998

Synthesis of Programs in Abstract Data Types.

Alessandro Avellone, Mauro Ferrari, Pierangelo Miglioli

Proceedings of the Logic Programming Synthesis and Transformation, 1998

1997

Generalized Tableau Systems for Intemediate Propositional Logics.

Alessandro Avellone, Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1997

1996

On maximal intermediate predicate constructive logics.

Alessandro Avellone, Camillo Fiorentini, Paolo Mantovani, Pierangelo Miglioli

Stud Logica, 1996

Almost Duplication-Free Tableau Calculi for Propositional Lax Logics.

Alessandro Avellone, Mauro Ferrari

Proceedings of the Theorem Proving with Analytic Tableaux and Related Methods, 1996