| |
| 2008 | ||
|---|---|---|
| 2 | EE | Peter Chapman, James McKinna, Christian Urban: Mechanising a Proof of Craig's Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle. AISC/MKM/Calculemus 2008: 38-52 |
| 1999 | ||
| 1 | EE | Jane Webster, Peter Chapman, Sanjeebhan Selvarajah: Engagement in Multimedia Training Systems. HICSS 1999 |
| 1 | James McKinna | [2] |
| 2 | Sanjeebhan Selvarajah | [1] |
| 3 | Christian Urban | [2] |
| 4 | Jane Webster | [1] |