Author

Geoffrey Norman Watson

Observed names: G Watson, G. N. Watson, G. Watson, Geoffrey Watson

Observed institution: The University of Queensland

OpenAlex ID: A5113070760

Can simulation replace part of clinical time? Two parallel randomised controlled trials

2012 · Kathryn Watson, Anthony Wright, et al. · Medical Education · 218

Simulation Can Contribute a Part of Cardiorespiratory Physiotherapy Clinical Education

2013 · Felicity C. Blackstock, Kathryn M. Watson, et al. · Simulation in Healthcare The Journal of the Society for Simulation in Healthcare · 136

Automated Generation of Test Cases Using Model-Driven Architecture

2007 · A. Z. Javed, P. A. Strooper, et al. · International Workshop on Automation of Software Test (AST) · 111

The deadline command

1999 · C. Fidge, I. Hayes, et al. · IEE Proceedings - Software · 34

A Program Refinement Tool

1998 · D. Carrington, I. Hayes, et al. · Formal Aspects of Computing · 21

PDF

A Tool for Developing Correct Programs by Refinement

1996 · D. Carrington, I. Hayes, et al. · Electronic workshops in computing · 15

PDF

MDA-Based Re-engineering with Object-Z

2006 · Jörn Guy Süß, Tim McComb, et al. · Lecture notes in computer science · 6

Using feature extraction and electromyography to evaluate affect during simulation

2011 · Jennifer Tichon, Geoffrey Watson, et al. · International Journal of Human Factors Modelling and Simulation · 4

Compilation by Refinement for a Practical Assembly Language

2003 · Geoffrey Watson · Lecture notes in computer science · 3

Proof representations in Theorem Provers

1998 · Geoffrey Watson · 3

Refining exceptions using King and Morgan's exit construct

2003 · G. Watson · Asia-Pacific Software Engineering Conference (APSEC) · 2

A partial-correctness semantics for modelling assembler programs

2003 · G. Watson, C. Fidge · IEEE International Conference on Software Engineering and Formal Methods (SEFM) · 2

A generic proof checker

2002 · Geoffrey Norman Watson · The University of Queensland · 2

A Novel Surgical Skills Training Methodology, Leveraging Virtual Reality and Haptics to Teach Retropubic Midurethral Slings: Usability, Performance Validation, and Assessment Capability

2026 · L. Siff, G. Watson, et al. · Obstetrics and Gynecology · 1

Verifying program transformations using partial correctness semantics

2002 · Colin Fidge, Karl Lermer, et al. · 1

Computer Agents Teaching Helping Interactions Effectively (CATHIE): An Agent-based Training System Designed to Teach Empathetic Communication Skills

2010 · Amy B. Adcock, G. N. Watson, et al.

Measurement of affect during simulation-based training

2010 · Jennifer Tichon, Geoffrey Watson, et al. · QUT ePrints (Queensland University of Technology)

MDA-based Re-engineering with object-Z

2006 · Jörn Guy Süß, Tim McComb, et al.

Software visualisation in a generic development environment

2002 · W. Allison, D. Carrington, et al. · Australasian Software Engineering Conference (ASWEC)

A Generic Proof Checker

2001 · Geoffrey Norman Watson · The University of Queensland

Works count: 32

Citation count: 559

H-index: 6

I10-index: 6