The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

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.001secs, Finished in 0.002secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002