| The handbook of formal methods in human-computer interaction B Weyers, J Bowen, A Dix, P Palanque Springer, 2017 | 68 | 2017 |
| Formal models for user interface design artefacts J Bowen, S Reeves Innovations in Systems and Software Engineering 4 (2), 125-141, 2008 | 47 | 2008 |
| Formal models for informal GUI designs J Bowen, S Reeves Electronic Notes in Theoretical Computer Science 183, 57-72, 2007 | 42 | 2007 |
| Modelling safety properties of interactive medical systems J Bowen, S Reeves Proceedings of the 5th ACM SIGCHI symposium on Engineering interactive …, 2013 | 38 | 2013 |
| Investigating real-time monitoring of fatigue indicators of New Zealand forestry workers J Bowen, A Hinze, C Griffiths Accident Analysis & Prevention 126, 122-141, 2019 | 27 | 2019 |
| Modelling user manuals of modal medical devices and learning from the experience J Bowen, S Reeves Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive …, 2012 | 27 | 2012 |
| Case Studies B Weyers, MD Harrison, J Bowen, A Dix, P Palanque The Handbook of Formal Methods in Human-Computer Interaction, 89, 2017 | 25* | 2017 |
| Refinement for user interface designs J Bowen, S Reeves Electronic Notes in Theoretical Computer Science 208, 5-22, 2008 | 24 | 2008 |
| Formal refinement of informal GUI design artefacts J Bowen, S Reeves Australian Software Engineering Conference (ASWEC'06), 10 pp.-230, 2006 | 24 | 2006 |
| Combining models for interactive system modelling J Bowen, S Reeves The Handbook of Formal Methods in Human-Computer Interaction, 161-182, 2017 | 22 | 2017 |
| UI-driven test-first development of interactive systems J Bowen, S Reeves Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive …, 2011 | 22 | 2011 |
| Generating obligations, assertions and tests from UI models J Bowen, S Reeves Proceedings of the ACM on Human-Computer Interaction 1 (EICS), 1-18, 2017 | 21 | 2017 |
| Using formal models to design user interfaces a case study J Bowen, S Reeves BCS Learning & Development, 2007 | 21 | 2007 |
| MyMemory: A mobile memory assistant for people with traumatic brain injury C Chang, A Hinze, J Bowen, L Gilbert, N Starkey International Journal of Human-Computer Studies 117, 4-19, 2018 | 19 | 2018 |
| Formal specification of user interface design guidelines JA Bowen University of Waikato, 2005 | 17 | 2005 |
| Personal data collection in the workplace: Ethical and technical challenges J Bowen, A Hinze, C Griffiths, V Kumar, D Bainbridge Electronic Visualisation and the Arts (EVA 2017), 1-11, 2017 | 16 | 2017 |
| UI-design driven model-based testing J Bowen, S Reeves Innovations in Systems and Software Engineering 9 (3), 201-215, 2013 | 15 | 2013 |
| Refinement for user interface designs J Bowen, S Reeves Formal Aspects of Computing 21 (6), 589-612, 2009 | 14 | 2009 |
| Supporting mobile application development with model-driven emulation J Bowen, A Hinze Electronic Communications of the EASST 45, 2011 | 13 | 2011 |
| A semi-formal framework for describing interaction design spaces J Bowen, A Dittmar Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive …, 2016 | 12 | 2016 |
Steve ReevesUniversity of WaikatoVerified email at waikato.ac.nz
