AVELLONE, ALESSANDRO
AVELLONE, ALESSANDRO
DIPARTIMENTO DI STATISTICA E METODI QUANTITATIVI
Ranking extraction in nested partially ordered data systems
2022 Fattore, M; Cavalletti, B; Corsi, M; Avellone, A
Complexity reduction and approximation of multidomain systems of partially ordered data
2022 Arcagni, A; Avellone, A; Fattore, M
A Mobile App Leveraging Citizenship Engagement to Perform Anonymized Longitudinal Studies in the Context of COVID-19 Adverse Drug Reaction Monitoring: Development and Usability Study
2022 Di Filippo, M; Avellone, A; Belingheri, M; Paladino, M; Riva, M; Zambon, A; Pescini, D
POSetR: a new computationally efficient R package for partially ordered data
2021 Arcagni, A; Avellone, A; Fattore, M
Portfolio Optimization with Nonlinear Loss Aversion and Transaction Costs
2021 Avellone, A; Fiori, A; Foroni, I
Sudden transition from equilibrium stability to chaotic dynamics in a cautious tâtonnement model
2016 Foroni, I; Avellone, A; Panchuk, A
A Semantical Analysis of Focusing and Contraction in Intuitionistic Logic
2015 Avellone, A; Fiorentini, C; Momigliano, A
Sudden transition from equilibrium stability to chaotic dynamics in a cautious tâtonnement model
2015 Foroni, I; Avellone, A; Panchuk, A
Focusing on Contraction
2013 Avellone, A; Fiorentini, C; Momigliano, A
Optimization techniques for intuitionistic propositional logic and their implementation
2008 Avellone, A; Fiorino, G; Moscato, U
Improvements to the tableau prover PITP
2007 Avellone, A; Fiorino, G; Moscato, U
A tableau decision procedure for propositional intuitionistic logic
2006 Avellone, A; Fiorino, G; Moscato, U
ESBC: an application for computing stabilization bouns
2006 Avellone, A; Ferrari, M; Fiorentini, C; Fiorino, G; Moscato, U
ESBC: an application for computing stabilization bounds
2005 Avellone, A; Ferrari, M; Fiorentini, C; Fiorino, G; Moscato, U
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic
2004 Avellone, A; Fiorino, G; Moscato, U
A space efficient implementation of a tableau calculus for a logic with a constructive negation
2004 Avellone, A; Fiorentini, C; Fiorino, G; Moscato, U
A Parallel Implementation of a Decision Procedure for Propositional Intuitionistic Logic
2003 Avellone, A; Fiorino, G; Moscato, U
A new a O(n log n)-SPACE decision procedure for propositional intuitionistic logic
2002 Avellone, A; Fiorino, G; Moscato, U
An implementation of a O(n log n)-SPACE decision procedure for propositional intuitionistic logic
2002 Avellone, A; Fiorino, G; Moscato, U
How to avoid the formal verification of a theorem prover
2001 Avellone, A; Benini, M; Moscato, U