John Cooke

According to our database, John Cooke authored at least 17 papers between 1992 and 2007.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2007

Editorial.

John Cooke

Formal Aspects Comput., 2007

Precise Scenarios - A Customer-Friendly Foundation for Formal Specifications.

Oliver Au, Roger G. Stone, John Cooke

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

2005

Constructing correct software (2. ed.).

John Cooke

Springer, ISBN: 978-1-85233-820-6, 2005

2004

Editorial.

Cliff B. Jones, John Cooke

Formal Aspects Comput., 2004

2003

Editorial.

John Cooke, Savi Maharaj, Judi Romijn, Carron Shankland

Formal Aspects Comput., 2003

Versioning of Learning Objects.

Christopher A. Brooks, John Cooke, Julita Vassileva

Proceedings of the 2003 IEEE International Conference on Advanced Learning Technologies, 2003

2002

Editorial.

John Cooke, B. Tim Denvir

Formal Aspects Comput., 2002

2001

Automatic generation of instructional hypermedia with APHID.

Judi R. Thomson, Jim E. Greer, John Cooke

Interact. Comput., 2001

2000

Generating instructional hypermedia with APHID.

Judi R. Thomson, Jim E. Greer, John Cooke

Proceedings of the HYPERTEXT 2000, Proceedings of the 11th ACM Conference on Hypertext and Hypermedia, May 30, 2000

A Comparison of Association Rule Discovery and Bayesian Network Causal Inference Algorithms to Discover Relationships in Discrete Data.

Jeff Bowes, Eric Neufeld, Jim E. Greer, John Cooke

Proceedings of the Advances in Artificial Intelligence, 2000

1998

The Intelligent Helpdesk: Supporting Peer-Help in a University Course.

Jim E. Greer, Gordon I. McCalla, John Cooke, Jason A. Collins, Vive Kumar, Andrew Bishop, Julita Vassileva

Proceedings of the Intelligent Tutoring Systems, 4th International Conference, 1998

Constructing correct software - the basics.

John Cooke

FACIT: Formal approaches to computing and information technology, Springer, ISBN: 978-3-540-76156-3, 1998

1997

The Purpose of Specification.

Roger G. Stone, John Cooke

Proceedings of the 9th Annual Workshop of the Psychology of Programming Interest Group, 1997

1996

The MicroWeb toolkit: Bringing the WWW to the classroom.

Judi R. Thomson, John Cooke, Jim E. Greer

Proceedings of WebNet 96, 1996

1994

Symbolic Model Checking: Kenneth L McMillan, Kluwer Academic, Dordrecht, The Netherlands (1993) ISBN 0 7923 9380 5, £54.50, pp 194.

John Cooke

Microprocess. Microsystems, 1994

1992

Formal Methods - Mathematics, Theory, Recipes or What?

John Cooke

Comput. J., 1992

Teaching formal software engineering at Loughborough.

Roger G. Stone, John Cooke

Proceedings of the 4th Annual Workshop of the Psychology of Programming Interest Group, 1992