| |
| 2008 | ||
|---|---|---|
| 3 | EE | Nadya Kuzmina, John Paul, Ruben Gamboa, James Caldwell: Extending dynamic constraint detection with disjunctive constraints. WODA 2008: 57-63 |
| 2007 | ||
| 2 | EE | James Caldwell, Josef Pohl: Constructive Membership Predicates as Index Types. Electr. Notes Theor. Comput. Sci. 174(7): 3-16 (2007) |
| 1999 | ||
| 1 | James Caldwell: Intuitionistic Tableau Extracted. TABLEAUX 1999: 82-96 | |
| 1 | Ruben Gamboa | [3] |
| 2 | Nadya Kuzmina | [3] |
| 3 | John Paul | [3] |
| 4 | Josef Pohl | [2] |