Douglas Graham
According to our database1,
Douglas Graham
authored at least 5 papers
between 1998 and 2008.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2008
Parameterised verification of randomised distributed systems using state-based models.
PhD thesis, 2008
2007
An Inductive Technique for Parameterised Model Checking of Degenerative Distributed Randomised Protocols.
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.
Br. J. Educ. Technol., 2004
2001
Body movements of boys with Attention Deficit Hyperactivity Disorder (ADHD) during computer video game play.
Br. J. Educ. Technol., 2001
1998
Br. J. Educ. Technol., 1998