| |
| 2008 | ||
|---|---|---|
| 2 | EE | James Worthington: Automatic Proof Generation in Kleene Algebra. RelMiCS 2008: 382-396 |
| 2002 | ||
| 1 | EE | Joseph Loeffler, John Meier, James Worthington: Graph Products and Cannon Pairs. IJAC 12(6): 747-754 (2002) |
| 1 | Joseph Loeffler | [1] |
| 2 | John Meier | [1] |