Douglas Graham

According to our database, Douglas Graham authored at least 5 papers between 1998 and 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2008

Parameterised verification of randomised distributed systems using state-based models.

Douglas Graham

PhD thesis, 2008

2007

An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols.

Douglas Graham, Muffy Calder, Alice Miller

Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, 2007

2004

Motor control and sequencing of boys with Attention-Deficit/Hyperactivity Disorder (ADHD) during computer game play.

Stephen Houghton, Nikki Milner, John West, Douglas Graham, Vivienne Lawrence, Ken Whiting, Rosemary Tannock, Kevin Durkin

Br. J. Educ. Technol., 2004

2001

Body movements of boys with Attention Deficit Hyperactivity Disorder (ADHD) during computer video game play.

Anna Marie Farrace-Di Zinno, Douglas Graham, Stephen Houghton, Vivienne Lawrence, John West, Ken Whiting

Br. J. Educ. Technol., 2001

1998

The reliability and validity of an interactive arithmetic test.

Jonathan Hippisley, Douglas Graham

Br. J. Educ. Technol., 1998