The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Alessandro Avellone: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Alessandro Avellone, Camillo Fiorentini, Guido Fiorino, Ugo Moscato
    A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation. [Citation Graph (0, 0)][DBLP]
    CSL, 2004, pp:488-502 [Conf]
  2. Alessandro Avellone, Mauro Ferrari, Camillo Fiorentini
    A formal framework for synthesis and verification of logic programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2000, pp:- [Conf]
  3. Alessandro Avellone, Mauro Ferrari, Camillo Fiorentini
    A Formal Framework for Synthesis and Verification of Logic Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR (LNCS 2042: Selected Papers), 2000, pp:1-17 [Conf]
  4. Alessandro Avellone, Mauro Ferrari, Pierangelo Miglioli
    Synthesis of Programs in Abstract Data Types. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1998, pp:81-100 [Conf]
  5. Alessandro Avellone, Mauro Ferrari
    Almost Duplication-Free Tableau Calculi for Propositional Lax Logics. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1996, pp:48-64 [Conf]
  6. Alessandro Avellone, Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi
    Generalized Tableau Systems for Intemediate Propositional Logics. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 1997, pp:43-61 [Conf]
  7. Alessandro Avellone, Mauro Ferrari, Camillo Fiorentini, Guido Fiorino, Ugo Moscato
    ESBC: an application for computing stabilization bounds. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:1, pp:23-33 [Journal]
  8. Alessandro Avellone, Marco Benini, Ugo Moscato
    How to Avoid the Formal Verification of a Theorem Prover. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 2001, v:9, n:1, pp:- [Journal]
  9. Alessandro Avellone, Mauro Ferrari, Pierangelo Miglioli
    Duplication-Free Tableau Calculi and Related Cut-Free Sequent Calculi for the Interpolable Propositional Intermediate Logics. [Citation Graph (0, 0)][DBLP]
    Logic Journal of the IGPL, 1999, v:7, n:4, pp:447-480 [Journal]
  10. Alessandro Avellone, Camillo Fiorentini, Paolo Mantovani, Pierangelo Miglioli
    On maximal intermediate predicate constructive logics. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 1996, v:57, n:2/3, pp:373-408 [Journal]
  11. Alessandro Avellone, Guido Fiorino, Ugo Moscato
    Improvements to the Tableau Prover PITP. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2007, pp:233-237 [Conf]

Search in 0.013secs, Finished in 0.014secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002