| |
| 2009 | ||
|---|---|---|
| 6 | EE | 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 | EE | Pietro Abate, Rajeev Goré: The Tableau Workbench. Electr. Notes Theor. Comput. Sci. 231: 55-67 (2009) |
| 2007 | ||
| 4 | EE | Pietro Abate, Rajeev Goré, Florian Widmann: One-Pass Tableaux for Computation Tree Logic. LPAR 2007: 32-46 |
| 3 | EE | Pietro Abate, Rajeev Goré, Florian Widmann: An On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability CoRR abs/0711.1016: (2007) |
| 2003 | ||
| 2 | EE | Pietro Abate, Rajeev Goré: The Tableaux Work Bench. TABLEAUX 2003: 230-236 |
| 2002 | ||
| 1 | EE | Pietro Abate, Marco Bernardo: A scalable approach to the design of SW architectures with dynamically create/destroyed components. SEKE 2002: 255-262 |
| 1 | Marco Bernardo | [1] |
| 2 | Rajeev Goré | [2] [3] [4] [5] [6] |
| 3 | Florian Widmann | [3] [4] [6] |