 | 2009 |
| 7 |  | Pietro Abate,
Jaap Boender,
Roberto Di Cosmo,
Stefano Zacchiroli:
Strong Dependencies between Software Components
CoRR abs/0905.4226: (2009) |
| 6 |  | Pietro Abate,
Rajeev Goré,
Florian Widmann:
An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability.
Electr. Notes Theor. Comput. Sci. 231: 191-209 (2009) |
| 5 |  | Pietro Abate,
Rajeev Goré:
The Tableau Workbench.
Electr. Notes Theor. Comput. Sci. 231: 55-67 (2009) |
| 2007 |
| 4 |  | Pietro Abate,
Rajeev Goré,
Florian Widmann:
One-Pass Tableaux for Computation Tree Logic.
LPAR 2007: 32-46 |
| 3 |  | Pietro Abate,
Rajeev Goré,
Florian Widmann:
An On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability
CoRR abs/0711.1016: (2007) |
| 2003 |
| 2 |  | Pietro Abate,
Rajeev Goré:
The Tableaux Work Bench.
TABLEAUX 2003: 230-236 |
| 2002 |
| 1 |  | Pietro Abate,
Marco Bernardo:
A scalable approach to the design of SW architectures with dynamically create/destroyed components.
SEKE 2002: 255-262 |