| 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 | 59 | 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 | 21 | 1999 |
| Synthesis of programs in abstract data types A Avellone, M Ferrari, P Miglioli International Workshop on Logic Programming Synthesis and Transformation, 81-100, 1998 | 18 | 1998 |
| 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 | 18 | 1998 |
| Optimization techniques for propositional intuitionistic logic and their implementation A Avellone, G Fiorino, U Moscato Theoretical Computer Science 409 (1), 41-58, 2008 | 17 | 2008 |
| Generalized tableau systems for intermediate propositional logics A Avellone, U Moscato, P Miglioli, M Ornaghi International Conference on Automated Reasoning with Analytic Tableaux and …, 1997 | 15 | 1997 |
| A new a O (n log n)-SPACE decision procedure for propositional intuitionistic logic A Avellone, G Fiorino, U Moscato KGS, 2004 | 10 | 2004 |
| On maximal intermediate predicate constructive logics A Avellone, C Fiorentini, P Mantovani, P Miglioli Studia Logica 57 (2-3), 373-408, 1996 | 9 | 1996 |
| Almost duplication-free tableau calculi for prepositional lax logics A Avellone, M Ferrari International Workshop on Theorem Proving with Analytic Tableaux and Related …, 1996 | 7 | 1996 |
| 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 |
| A formal framework for synthesis and verification of logic programs A Avellone, M Ferrari, C Fiorentini International Workshop on Logic-Based Program Synthesis and Transformation, 1-17, 2000 | 5 | 2000 |
| 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 | 3 | 2015 |
| 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 |
| A space efficient implementation of a tableau calculus for a logic with a constructive negation A Avellone, C Fiorentini, G Fiorino, U Moscato International Workshop on Computer Science Logic, 488-502, 2004 | 3 | 2004 |
| 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 |
| 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 |
| A tableau calculus and a cut-free sequent calculus for Dummett's predicate logic A Avellone, M Ferrari, P Miglioli, U Moscato Theorem Proving with Analytic Tableaux and Related Methods, 1-18, 1998 | 2 | 1998 |
| Focusing on contraction A Avellone, C Fiorentini, A Momigliano Italian conference on computational logic (CILC) 1068, 65-81, 2013 | 1 | 2013 |
Ugo Moscatoprofessor computer science university of Milano-BicoccaVerified email at unimib.it
