Research Publications for Judith A (Judy) Bowen

Welcome to the University of Waikato research publications search page. This database includes all research publications produced by the University from 1998.

See Also: Research Links | Student Research Theses | Research Commons

Author's Publications

Publications ByBOWEN, Judith A (Judy)

  Use our Online Phonebook to contact our current staff members.

  • Bowen, J., Dix, A., Palanque, P., & Weyers, B. (2017). Topics of formal methods in HCI. In B. Weyers, J. Bowen, A. Dix, & P. Palanque (Eds.), The Handbook of Formal Methods in Human-Computer Interaction (pp. 57-64). doi:10.1007/978-3-319-51838-1_2

  • Bowen, J., & Reeves, S. (2017). Generating obligations, assertions and tests from UI models. Proceedings of the ACM on Human-Computer Interaction - EICS, 1(1), 5:1-5:18. doi:10.1145/3095807

  • Jaidka, S., Reeves, S., & Bowen, J. (2017). Modelling safety-critical devices: coloured Petri nets and Z. In 9th ACM SIGCHI Symposium on Engineering Interactive Computing Systems. Lisbon, Portugal.

  • Weyers, B., Harrison, M. D., Bowen, J., Dix, A., & Palanque, P. (2017). Case studies. In B. Weyers, J. Bowen, A. Dix, & P. Palanque (Eds.), The Handbook of Formal Methods in Human-Computer Interaction (pp. 89-121). Springer. doi:10.1007/978-3-319-51838-1_4

  • Bowen, J., & Reeves, S. (2017). Combining models for interactive system modelling. In B. Weyers, J. Bowen, A. Dix, & P. Palanque (Eds.), The Handbook of Formal Methods in Human Computer Interaction (pp. 161-182). Springer. doi:10.1007/978-3-319-51838-1_6

  • Bowen, J., & Hinze, A. (2017). Reasoning about interactive systems in dynamic situations of use. In B. Weyers, J. Bowen, A. Dix, & P. Palanque (Eds.), The Handbook of Formal Methods in Human Computer Interaction (pp. 319-341). Springer. doi:10.1007/978-3-319-51838-1_12

  • Gilbert, L., Hinze, A., & Bowen, J. (2017). Augmented reality game for people with traumatic brain injury: Concept and prototypical exploration. In Proc 9th International Conference on Computer and Automation Engineering (pp. 51-55). Sydney, Australia: ACM. doi:10.1145/3057039.3057091

  • Bowen, J. A., & Dittmar, A. (2017). Coping with design complexity: a conceptual framework for design alternatives and variants. In R. Bernhaupt, G. Dalvi, A. Joshi, D. Balkrishan, J. O'Neill, & M. Winckler (Eds.), Proc 16th IFIP TC 13 International Conference on Human-Computer Interaction, Part I Vol. LNCS 10513 (pp. 483-502). Mumbai, India: Springer. doi:10.1007/978-3-319-67744-6_30

  • Oliveira, R., Palanque, P., Weyers, B., Bowen, J., & Dix, A. (2017). State of the art on formal methods for interactive systems. In B. Weyer, J. Bowen, A. Dix, & P. Palanque (Eds.), The Handbook of Formal Methods in Human-Computer Interaction (pp. 3-55). Springer. doi:10.1007/978-3-319-51838-1_1

  • Dix, A., Weyers, B., Bowen, J., & Palanque, P. (2017). Trends and gaps. In B. Weyers, J. Bowen, A. Dix, & P. Palanque (Eds.), The Handbook of Formal Methods in Human-Computer Interaction (pp. 65-88). Springer. doi:10.1007/978-3-319-51838-1_3

This page has been reformatted for printing.