John Cooke

Publication Activity (10 Years)

Years Active: 1992-2007
Publications (10 Years): 0

Publications

John Cooke
Editorial. Formal Aspects Comput. 19 (1) (2007)
Oliver Au, Roger G. Stone, John Cooke
Precise Scenarios - A Customer-Friendly Foundation for Formal Specifications. IFM (2007)
John Cooke
Editorial. Formal Aspects Comput. 17 (3) (2005)
Cliff B. Jones, John Cooke
Editorial. Formal Aspects Comput. 16 (1) (2004)
John Cooke, Savi Maharaj, Judi Romijn, Carron Shankland
Editorial. Formal Aspects Comput. 14 (3) (2003)
Christopher A. Brooks, John Cooke, Julita Vassileva
Versioning of Learning Objects. ICALT (2003)
John Cooke, B. Tim Denvir
Editorial. Formal Aspects Comput. 13 (2) (2002)
John Cooke
Editorial. Formal Aspects Comput. 14 (1) (2002)
Judi R. Thomson, Jim E. Greer, John Cooke
Automatic generation of instructional hypermedia with APHID. Interact. Comput. 13 (6) (2001)
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)
Judi R. Thomson, Jim E. Greer, John Cooke
Generating instructional hypermedia with APHID. Hypertext (2000)
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)
Roger G. Stone, John Cooke
The Purpose of Specification. PPIG (1997)
Judi R. Thomson, John Cooke, Jim E. Greer
The MicroWeb toolkit: Bringing the WWW to the classroom. WebNet (1996)
John Cooke
Symbolic Model Checking: Kenneth L McMillan, Kluwer Academic, Dordrecht, The Netherlands (1993) ISBN 0 7923 9380 5, £54.50, pp 194. Microprocess. Microsystems 18 (5) (1994)
John Cooke
Formal Methods - Mathematics, Theory, Recipes or What? Comput. J. 35 (5) (1992)
Roger G. Stone, John Cooke
Teaching formal software engineering at Loughborough. PPIG (1) (1992)