| 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] |
| 3 | Florian Widmann | [3] [4] |