Duplication-free tableau calculi and related cut-free sequent calculi for the interpolable propositional intermediate logics A Avellone, M Ferrari, P Miglioli Logic Journal of IGPL 7 (4), 447-480, 1999 | 63 | 1999 |

Duplication-free tableau calculi together with cut-free and contraction free sequent calculi for the interpolable propositional intermediate logics A Avellone, M Ferrari, P Miglioli Logic J. of the IGPL 7 (4), 447-480, 1999 | 22 | 1999 |

Synthesis of programs in abstract data types A Avellone, M Ferrari, P Miglioli Logic-Based Program Synthesis and Transformation: 8th International Workshop …, 1999 | 19 | 1999 |

Analysis of algorithms for the recognition of rational and context-free trace languages A Avellone, M Goldwurm RAIRO-Theoretical Informatics and Applications 32 (4-6), 141-152, 1998 | 19 | 1998 |

Optimization techniques for propositional intuitionistic logic and their implementation A Avellone, G Fiorino, U Moscato Theoretical Computer Science 409 (1), 41-58, 2008 | 18 | 2008 |

Generalized tableau systems for intermediate propositional logics A Avellone, U Moscato, P Miglioli, M Ornaghi Automated Reasoning with Analytic Tableaux and Related Methods …, 1997 | 18 | 1997 |

A new a O (n log n)-SPACE decision procedure for propositional intuitionistic logic A Avellone, G Fiorino, U Moscato Collegium Logicum, Kurt Goedel Society, 17-33, 2004 | 10 | 2004 |

On maximal intermediate predicate constructive logics A Avellone, C Fiorentini, P Mantovani, P Miglioli Studia Logica 57, 373-408, 1996 | 9 | 1996 |

Almost duplication-free tableau calculi for prepositional lax logics A Avellone, M Ferrari Theorem Proving with Analytic Tableaux and Related Methods: 5th …, 1996 | 7 | 1996 |

Sudden transition from equilibrium stability to chaotic dynamics in a cautious tātonnement model I Foroni, A Avellone, A Panchuk Chaos, Solitons & Fractals 79, 105-115, 2015 | 6 | 2015 |

A tableau calculus for Dummett predicate logic A Avellone, M Ferrari, P Miglioli, U Moscato Advances in Contemporary Logic and Computer Science, Contemporary …, 1999 | 6 | 1999 |

Complexity reduction and approximation of multidomain systems of partially ordered data A Arcagni, A Avellone, M Fattore Computational Statistics & Data Analysis 173, 107520, 2022 | 5 | 2022 |

A formal framework for synthesis and verification of logic programs KK Lau, A Avellone, M Ferrari, C Fiorentini Logic Based Program Synthesis and Transformation: 10th International …, 2001 | 5 | 2001 |

A space efficient implementation of a tableau calculus for a logic with a constructive negation A Avellone, C Fiorentini, G Fiorino, U Moscato Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual …, 2004 | 4 | 2004 |

A semantical analysis of focusing and contraction in intuitionistic logic A Avellone, C Fiorentini, A Momigliano Fundamenta Informaticae 140 (3-4), 247-262, 2015 | 3 | 2015 |

A tableau decision procedure for propositional intuitionistic logic A Avellone, G Fiorino, U Moscato 6th International Workshop on the Implementation of Logics, 64, 2006 | 3 | 2006 |

Esbc: an application for computing stabilization bounds A Avellone, M Ferrari, C Fiorentini, G Fiorino, U Moscato Electronic Notes in Theoretical Computer Science 153 (1), 23-33, 2006 | 3 | 2006 |

How to avoid the formal verification of a theorem prover A Avellone, M Benini, U Moscato Logic journal of IGPL 9 (1), 1-25, 2001 | 3 | 2001 |

POSetR: A new computationally efficient R package for partially ordered data A Alberto, A Avellone, M Fattore Book of short papers-SIS 2021, 2021 | 2 | 2021 |

An implementation of a O (n log n)-SPACE decision procedure for propositional intuitionistic logic A Avellone, G Fiorino, U Moscato 3rd International Workshop on the Implementation of Logics, 2002 | 2 | 2002 |