| 2007 |
|---|
| 14 | EE | Oliver Au,
Roger Stone,
John Cooke:
Precise Scenarios - A Customer-Friendly Foundation for Formal Specifications.
IFM 2007: 21-36 |
| 13 | EE | John Cooke:
Editorial.
Formal Asp. Comput. 19(1): 1 (2007) |
| 2005 |
|---|
| 12 | EE | John Cooke:
Editorial.
Formal Asp. Comput. 17(3): 259-259 (2005) |
| 2004 |
|---|
| 11 | EE | Cliff B. Jones,
John Cooke:
Editorial.
Formal Asp. Comput. 16(1): 1- (2004) |
| 2003 |
|---|
| 10 | EE | Christopher A. Brooks,
John Cooke,
Julita Vassileva:
Versioning of Learning Objects.
ICALT 2003: 296-297 |
| 9 | EE | John Cooke,
Savi Maharaj,
Judi Romijn,
Carron Shankland:
Editorial.
Formal Asp. Comput. 14(3): 199 (2003) |
| 2002 |
|---|
| 8 | EE | John Cooke,
B. Tim Denvir:
Editorial.
Formal Asp. Comput. 13(2): 93 (2002) |
| 7 | EE | John Cooke:
Editorial.
Formal Asp. Comput. 14(1): 1 (2002) |
| 2001 |
|---|
| 6 | | Judi R. Thomson,
Jim E. Greer,
John Cooke:
Automatic generation of instructional hypermedia with APHID.
Interacting with Computers 13(6): 631-654 (2001) |
| 2000 |
|---|
| 5 | EE | Jeff Bowes,
Eric Neufeld,
Jim E. Greer,
John Cooke:
A Comparison of Association Rule Discovery and Bayesian Network Causal Inference Algorithms to Discover Relationships in Discrete Data.
Canadian Conference on AI 2000: 326-336 |
| 4 | EE | Judi R. Thomson,
Jim E. Greer,
John Cooke:
Generating instructional hypermedia with APHID.
Hypertext 2000: 248-249 |
| 1998 |
|---|
| 3 | EE | Jim E. Greer,
Gordon I. McCalla,
John Cooke,
Jason A. Collins,
Vive Kumar,
Andrew Bishop,
Julita Vassileva:
The Intelligent Helpdesk: Supporting Peer-Help in a University Course.
Intelligent Tutoring Systems 1998: 494-503 |
| 1996 |
|---|
| 2 | | Judi R. Thomson,
John Cooke,
Jim E. Greer:
The MicroWeb toolkit: Bringing the WWW to the classroom.
WebNet 1996 |
| 1992 |
|---|
| 1 | | John Cooke:
Formal Methods - Mathematics, Theory, Recipes or What?
Comput. J. 35(5): 419-423 (1992) |
