 | 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 |
