John Cooke

20 papers B 3Misc 1Journal 10Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Universal photonic artificial intelligence acceleration.
Nat.
Sufi R. Ahmed, Reza Baghdadi, Mikhail Bernadskiy, Nate Bowman, Ryan Braid, Jim Carr, Chen Chen, Pietro Ciccarella, Matthew Cole, John Cooke, Kishor Desai, Carlos Dorta, Jonathan Elmhurst, Bryce Gardiner, Elliot Greenwald, Shashank Gupta, Parry Husbands, Brian Jones, Anthony Kopa, Ho John Lee, Arulselvan Madhavan, Adam Mendrela, Nicholas Moore, Lakshmi Nair, Aditya Om, Subie Patel, Rutayan Patro, Rob Pellowski, Esha Radhakrishnani, Sandeep Sane, Nicholas Sarkis, Joe Stadolnik, Mykhailo Tymchenko, Gongyu Wang, Kurt Winikka, Alexandra Wleklinski, Josh Zelman, Richard Ho, Ritesh Jain, Ayon Basumallik, Darius Bunandar, Nicholas C. Harris
2007 J jnl
Editorial.
Formal Aspects Comput.
John Cooke
2007 B conf
Precise Scenarios - A Customer-Friendly Foundation for Formal Specifications.
IFM
Oliver Au, Roger G. Stone, John Cooke
2005 — book
Constructing correct software (2. ed.).
John Cooke
2005 J jnl
Editorial.
Formal Aspects Comput.
John Cooke
2004 J jnl
Editorial.
Formal Aspects Comput.
Cliff B. Jones, John Cooke
2003 J jnl
Editorial.
Formal Aspects Comput.
John Cooke, Savi Maharaj, Judi Romijn, Carron Shankland
2003 B conf
Versioning of Learning Objects.
ICALT
Christopher A. Brooks, John Cooke, Julita Vassileva
2002 J jnl
Editorial.
Formal Aspects Comput.
John Cooke
2002 J jnl
Editorial.
Formal Aspects Comput.
John Cooke, B. Tim Denvir
2001 J jnl
Automatic generation of instructional hypermedia with APHID.
Interact. Comput.
Judi R. Thomson, Jim E. Greer, John Cooke
2000 Misc conf
A Comparison of Association Rule Discovery and Bayesian Network Causal Inference Algorithms to Discover Relationships in Discrete Data.
AI
Jeff Bowes, Eric Neufeld, Jim E. Greer, John Cooke
2000 — conf
Generating instructional hypermedia with APHID.
Hypertext
Judi R. Thomson, Jim E. Greer, John Cooke
1998 — book
Constructing correct software - the basics.
John Cooke
1998 B conf
The Intelligent Helpdesk: Supporting Peer-Help in a University Course.
Intelligent Tutoring Systems
Jim E. Greer, Gordon I. McCalla, John Cooke, Jason A. Collins, Vive Kumar, Andrew Bishop, Julita Vassileva
1997 — conf
The Purpose of Specification.
PPIG
Roger G. Stone, John Cooke
1996 — conf
The MicroWeb toolkit: Bringing the WWW to the classroom.
WebNet
Judi R. Thomson, John Cooke, Jim E. Greer
1994 J jnl
Symbolic Model Checking: Kenneth L McMillan, Kluwer Academic, Dordrecht, The Netherlands (1993) ISBN 0 7923 9380 5, £54.50, pp 194.
Microprocess. Microsystems
John Cooke
1992 J jnl
Formal Methods - Mathematics, Theory, Recipes or What?
Comput. J.
John Cooke
1992 — conf
Teaching formal software engineering at Loughborough.
PPIG (1)
Roger G. Stone, John Cooke