| |
| 2007 | ||
|---|---|---|
| 4 | EE | Alan Skelley: Third-Order Computation and Bounded Arithmetic. J. Log. Comput. 17(6): 1167-1191 (2007) |
| 2004 | ||
| 3 | EE | Alan Skelley: A Third-Order Bounded Arithmetic Theory for PSPACE. CSL 2004: 340-354 |
| 2 | EE | Alan Skelley: Propositional PSPACE Reasoning with Boolean Programs Versus Quantified Boolean Formulas. ICALP 2004: 1163-1175 |
| 2000 | ||
| 1 | EE | Gary Valentin, Michael Zuliani, Daniel C. Zilio, Guy M. Lohman, Alan Skelley: DB2 Advisor: An Optimizer Smart Enough to Recommend Its Own Indexes. ICDE 2000: 101-110 |
| 1 | Guy M. Lohman | [1] |
| 2 | Gary Valentin | [1] |
| 3 | Daniel C. Zilio | [1] |
| 4 | Michael Zuliani | [1] |