Alessandro Avellone
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
3
Active years
1996–2007
Best venue rank
B
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | TABLEAUX | Improvements to the Tableau Prover PITP. | Alessandro Avellone, Guido Fiorino, Ugo Moscato |
| 2004 | CSL | A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation. | Alessandro Avellone, Camillo Fiorentini, Guido Fiorino, Ugo Moscato |
| 2000 | LOPSTR | A formal framework for synthesis and verification of logic programs. | Alessandro Avellone, Mauro Ferrari, Camillo Fiorentini |
| 2000 | LOPSTR | A Formal Framework for Synthesis and Verification of Logic Programs. | Alessandro Avellone, Mauro Ferrari, Camillo Fiorentini |
| 1998 | LOPSTR | Synthesis of Programs in Abstract Data Types. | Alessandro Avellone, Mauro Ferrari, Pierangelo Miglioli |
| 1997 | TABLEAUX | Generalized Tableau Systems for Intemediate Propositional Logics. | Alessandro Avellone, Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi |
| 1996 | TABLEAUX | Almost Duplication-Free Tableau Calculi for Propositional Lax Logics. | Alessandro Avellone, Mauro Ferrari |