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.

  • 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

  • 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

  • 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

  • Weyers, B., Bowen, J., Dix, A., & Palanque, P. (2017). The handbook of formal methods in human computer interaction. Springer. doi:10.1007/978-3-319-51838-1

  • 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

  • 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

  • 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

  • Cunningham, S. J., Nichols, D. M., & Bowen, J. (2016). Personal video collection management behavior. In Proc 16th IEEE/ACM Joint Conference on Digital Libraries (pp. 219-220). Newark, New Jersey, USA: ACM. doi:10.1145/2910896.2925440

  • Cunningham, S. J., Nichols, D. M., & Bowen, J. (2016). Students and their videos: implications for a video digital library. In A. Morishima, A. Rauber, & C. L. Liew (Eds.), Digital Libraries: Knowledge, Information and Data in an Open Access Society: 18th International Conference on Asia-Pacific Digital Libraries Vol. LNCS 10075 (pp. 37-42). Tsukuba, Japan: Springer. doi:10.1007/978-3-319-49304-6_5

  • Bowen, J., & Dittmar, A. (2016). A semi-formal framework for describing interaction design spaces. In Proc 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (pp. 229-238). Brussels, Belgium: ACM. doi:10.1145/2933242.2933247

This page has been reformatted for printing.