Search the dblp DataBase

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]