Alessandro Avellone

18 papers B 4C 2Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Null-adjusted persistence function for high-resolution community detection.
Inf. Sci.
Alessandro Avellone, Paolo Bartesaghi, Stefano Benati, Christos Charalambous, Rosanna Grassi
2024 J jnl
On finding the community with maximum persistence probability.
4OR
Alessandro Avellone, Stefano Benati, Rosanna Grassi, Giorgio Rizzini
2022 J jnl
Complexity reduction and approximation of multidomain systems of partially ordered data.
Comput. Stat. Data Anal.
Alberto Arcagni, Alessandro Avellone, Marco Fattore
2015 J jnl
A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic.
Fundam. Informaticae
Alessandro Avellone, Camillo Fiorentini, Alberto Momigliano
2013 — conf
Focusing on Contraction.
CILC
Alessandro Avellone, Camillo Fiorentini, Alberto Momigliano
2008 J jnl
Optimization techniques for propositional intuitionistic logic and their implementation.
Theor. Comput. Sci.
Alessandro Avellone, Guido Fiorino, Ugo Moscato
2007 B conf
Improvements to the Tableau Prover PITP.
TABLEAUX
Alessandro Avellone, Guido Fiorino, Ugo Moscato
2005 — conf
ESBC: an application for computing stabilization bounds.
CLASE
Alessandro Avellone, Mauro Ferrari, Camillo Fiorentini, Guido Fiorino, Ugo Moscato
2004 B conf
A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation.
CSL
Alessandro Avellone, Camillo Fiorentini, Guido Fiorino, Ugo Moscato
2001 J jnl
How to Avoid the Formal Verification of a Theorem Prover.
Log. J. IGPL
Alessandro Avellone, Marco Benini, Ugo Moscato
2000 — conf
A Formal Framework for Synthesis and Verification of Logic Programs.
LOPSTR (LNCS 2042: Selected Papers)
Alessandro Avellone, Mauro Ferrari, Camillo Fiorentini
2000 C conf
A formal framework for synthesis and verification of logic programs.
LOPSTR
Alessandro Avellone, Mauro Ferrari, Camillo Fiorentini
1999 J jnl
Duplication-Free Tableau Calculi and Related Cut-Free Sequent Calculi for the Interpolable Propositional Intermediate Logics.
Log. J. IGPL
Alessandro Avellone, Mauro Ferrari, Pierangelo Miglioli
1998 J jnl
Analysis of algorithms for the recognition of rational and context-free trace languages.
RAIRO Theor. Informatics Appl.
Alessandro Avellone, Massimiliano Goldwurm
1998 C conf
Synthesis of Programs in Abstract Data Types.
LOPSTR
Alessandro Avellone, Mauro Ferrari, Pierangelo Miglioli
1997 B conf
Generalized Tableau Systems for Intemediate Propositional Logics.
TABLEAUX
Alessandro Avellone, Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
1996 B conf
Almost Duplication-Free Tableau Calculi for Propositional Lax Logics.
TABLEAUX
Alessandro Avellone, Mauro Ferrari
1996 J jnl
On maximal intermediate predicate constructive logics.
Stud Logica
Alessandro Avellone, Camillo Fiorentini, Paolo Mantovani, Pierangelo Miglioli