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., Vanderdonckt, J., & Winckler, M. (Eds.) (2020). EICS '20: 12th ACM SIGCHI Symposium on Engineering Interactive Computing Systems Proceedings. In EICS '20. Sophia Antipolis, France.

  • Turner, J., Bowen, J., & Reeves, S. (2020). SeqCheck: a model checking tool for interactive systems. In J. Bowen, J. Vanderdonckt, & M. Winckler (Eds.), Proc 12th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS'20) (pp. 1-6). Sophia Antipolis, France: ACM. doi:10.1145/3393672.3398639

  • Turner, J., Bowen, J., & Reeves, S. (2020). SeqCheck: a model checking tool for interactive systems. In J. Bowen, J. Vanderdonckt, & M. Winckler (Eds.), Proc 12th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS'20) (pp. 1-6). Sophia Antipolis, France: ACM. doi:10.1145/3393672.3398639

  • Bowen, J., & Hinze, A. (2020). Participatory design in Māori cultural contexts. In F. Loizides, M. Winckler, U. Chatterjee, J. Abdelnour-Nocera, & A. Parmaxi (Eds.), Human Computer Interaction and Emerging Technologies: Adjunct Proceedings
    from the INTERACT 2019 Workshops
    (pp. 327-331). Cardiff University Press. doi:10.18573/book3.ap

  • Turner, J., Bowen, J., & Reeves, S. (2020). Model-based testing of interactive systems using interaction sequences. Proceedings of the ACM on Human-Computer Interaction. doi:10.1145/3397873

  • Bowen, J., Winckler, M., & Vanderdonckt, J. (2020). A glimpse into the past, present, and future of engineering interactive computing systems. Proceedings of the ACM on Human-Computer Interaction, 4(EICS), 1-32. doi:10.1145/3394973

  • Jaidka, S., Reeves, S., & Bowen, J. (2019). Formal modelling of safety-critical interactive devices using coloured petri nets. In 8th Formal Methods for Interactive Systems Workshop (FMIS 2019). Porto, Portugal.

  • Distante, D., Winckler, M., Bernhaupt, R., Bowen, J., Campos, J. C., Müller, F., . . . Voit, A. (2019). Trends on Engineering Interactive Systems: An overview of works presented in workshops at EICS 2019. In Proc ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS'19) (pp. 22:1-22:6). New York, NY, USA: ACM. doi:10.1145/3319499.3335655

  • Ziekow, H., Hinze, A., & Bowen, J. (2019). Managing application-level QoS for IoT stream queries in hazardous outdoor environments. In M. Ramachandran, R. J. Walters, G. Wills, V. M. Muñoz, & V. Chang (Eds.), Proc 4th International Conference on Internet of Things, Big Data and Security (IoTBDS 2019) (pp. 223-231). Heraklion, Crete.

  • Bowen, J., & Coben, D. (2019). Safety first: combining task models of medical devices with numeracy skills and technical competence. Adults Learning Mathematics International Journal, 14(2), 39-60.

This page has been reformatted for printing.