The SCEAS System
Navigation Menu

Search the dblp DataBase


Pietro Abate: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Pietro Abate, Marco Bernardo
    A scalable approach to the design of SW architectures with dynamically create/destroyed components. [Citation Graph (0, 0)][DBLP]
    SEKE, 2002, pp:255-262 [Conf]
  2. Pietro Abate, Rajeev Goré
    The Tableaux Work Bench. [Citation Graph (0, 0)][DBLP]
    TABLEAUX, 2003, pp:230-236 [Conf]
  3. Pietro Abate, Rajeev Goré, Florian Widmann
    One-Pass Tableaux for Computation Tree Logic. [Citation Graph (0, 0)][DBLP]
    LPAR, 2007, pp:32-46 [Conf]

  4. Strong dependencies between software components. [Citation Graph (, )][DBLP]

  5. An On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability [Citation Graph (, )][DBLP]

  6. Strong Dependencies between Software Components [Citation Graph (, )][DBLP]

  7. The Tableau Workbench. [Citation Graph (, )][DBLP]

  8. An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability. [Citation Graph (, )][DBLP]

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002