Breadcrumbs

Research Publications 2017

  • Bowen, J. and Hinze, A. (2017) “Reasoning about interactive systems in dynamic situations of use.” In Weyers, B., Bowen, J., Dix, A. and Palanque P., The Handbook of Formal Methods in Human Computer Interaction, 319-341. Springer. doi:10.1007/978-3-319-51838-1_12
  • Weyers, B., Bowen, J., Dix, A. and Palanque, P. (eds) (2017) The handbook of formal methods in human computer interaction. 575 pages. Springer. doi:10.1007/978-3-319-51838-1
  • Bowen, J. and Reeves, S. (2017) “Combining models for interactive system modelling.” In Weyers, B., Bowen, J., Dix, A. and Palanque P., The Handbook of Formal Methods in Human Computer Interaction, 161-182. Springer. doi:10.1007/978-3-319-51838-1_6
  • Nichols, D.M. and Twidale, M.B. (2017) “Metrics for openness.” Journal of the Association for Information Science and Technology 68(4) 1048-1060. doi:10.1002/asi.23741
  • Fitzgerald, A., Marin, M.J., Wu,S. and Witten, I.H. (2017) “Evaluating the efficacy of the digital commons for scaling data-driven learning.” In Carrier, M., Damerow, R.M. and Bailey, K.M., Digital Language Learning and Teaching: Research, Theory and Practice, 38-51. Routledge.
  • Weng, M.H., Pfahringer, B. and Utting, M. (2017) “Static techniques for reducing memory usage in the C implementation of Whiley programs.” Proc Australasian Computer Science Week Multiconference (ACSW'17), Geelong, Australia, 15:1-15:8. ACM. doi:10.1145/3014812.3014827
  • Hinze, A.M., Vanderschantz, N., Timpany, C., Cunningham, S.J., Saravani,S.-J. and Wilkinson, C. (2017) “Use of mobile apps for teaching and research.” Working Paper Series 01/2017, Department of Computer Science, The University of Waikato, Hamilton. hdl:10289/11033
  • Mayo, M. and Daoud, M. (2017) “Aesthetic local search of wind farm layouts.” Information 8(2) 39-39. doi:10.3390/info8020039
  • Reichherzer, T., Timm, M., Earley, N., Reyes, N. and Kumar, V. (2017) “Using machine learning techniques to track individuals & their fitness activities.” In Bossard, A., Lee, G., Miller, L., Proc 32nd International Conference on Computers and Their Applications (CATA 2017), Honolulu, Hawaii, 119-124.
  • Lone, Q., Luckie, M.J., Korczyński, M. and van Eeten, M. (2017) “Using loops observed in Traceroute to infer the ability to Spoof.” In Kaafar, M.A., Uhlig, S., Amann, J., Proc 18th International Conference on Passive and Active Measurement (PAM 2017) LNCS 10176, Sydney, Australia, 229-241. Springer. doi:10.1007/978-3-319-54328-4_17
  • Oliveira, R., Palanque, P., Weyers, B., Bowen, J. and Dix, A. (2017) “State of the art on formal methods for interactive systems.” In Weyers, B., Bowen, J., Dix, A. and Palanque P., The Handbook of Formal Methods in Human Computer Interaction, 3-55. Springer. doi:10.1007/978-3-319-51838-1_1
  • Bowen, J., Dix, A., Palanque, P. and Weyers, B. (2017) “Topics of formal methods in HCI.” In Weyers, B., Bowen, J., Dix, A. and Palanque P., The Handbook of Formal Methods in Human Computer Interaction, 57-64. Springer. doi:10.1007/978-3-319-51838-1_2
  • Dix, A., Weyers, B., Bowen, J. and Palanque, P. (2017) “Trends and gaps.” In Weyers, B., Bowen, J., Dix, A. and Palanque P., The Handbook of Formal Methods in Human Computer Interaction, 65-88. Springer. doi:10.1007/978-3-319-51838-1_3
  • Weyers, B., Harrison, M.D., Bowen, J., Dix, A. and Palanque, P. (2017) “Case studies.” In Weyers, B., Bowen, J., Dix, A. and Palanque P., The Handbook of Formal Methods in Human Computer Interaction, 89-121. Springer. doi:10.1007/978-3-319-51838-1_4
  • Chase, J., Niyato, D., Wang, P., Chaisiri, S. and Ko, R. (2017) “A scalable approach to joint cyber insurance and security-as-a-service provisioning in cloud computing.” IEEE Transactions on Dependable and Secure Computing PP(99). IEEE Computer Society. doi:10.1109/TDSC.2017.2703626
  • Vanderschantz, N. and Hinze, A. (2017) “Do internet search engines support children's search query construction: a visual analysis.” Working Paper Series 02/2017, Department of Computer Science, The University of Waikato, Hamilton. hdl:10289/11032
  • Bowen, J. and Reeves, S. (2017) “Generating obligations, assertions and tests from UI models.” In Lampe, C., Nichols, J., Karahalios, K., Fitzpatrick, G., Lee, U., Monroy-Hernandez, A. and Stuerzlinger, W., Proceedings of the ACM on Human-Computer Interaction - EICS (EICS'17), EICS 1(1) 5:01-5:18. ACM. doi:10.1145/3095807
  • Shepherd, C., Gurulian, I., Frank, E., Markantonakis, K., Akram, R.N., Panaousis, E. and Mayes, K. (2017) “The applicability of ambient sensors as proximity evidence for NFC transactions.” Proc Mobile Security Technologies (MOST 2017), San Jose, CA. IEEE Computer Society.
  • Hinze, A., Bowen, J., Griffiths, C., Kumar, V. and Bainbridge, D. (2017) “Personal data collection in the workplace: ethical and technical challenges.” Proc 31st British Human Computer Interaction Conference (BHCI 2017),Sunderland, UK.
  • Vanderschantz, N., Timpany, C., Hinze, A. and Du, Y. (2017) “Exploring orientation cues in both digital and physical books.” Proc 31st British Human Computer Interaction Conference (BHCI 2017),Sunderland, UK.
  • Coleman, M. and Hinze, A. (2017) “Visual semantic enrichment for ereading.” Proc 31st British Human Computer Interaction Conference (BHCI 2017),Sunderland, UK.
  • Gilbert, L., Hinze, A. and Bowen, J. (2017) “Augmented reality game for people with traumatic brain injury: Concept and prototypical exploration.” Proc 9th International Conference on Computer and Automation Engineering (ICCAE '17), Sydney, Australia, 51-55. ACM. doi:10.1145/3057039.3057091
  • Jaidka, S., Reeves, S. and Bowen, J. (2017) “Modelling safety-critical devices: coloured Petri nets and Z.” Proc 9th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, Lisbon, Portugal.
  • Garcia Ferrari, T. (2017) “Design and the fourth industrial revolution.” EAD12|2017 Design for Next, Rome, Italy. European Academy of Design.
  • Vanderschantz, N. and Hinze, A. (2017) “How kids see search: a visual analysis of internet search engines.” Proc 31st British Human Computer Interaction Conference (BHCI 2017),Sunderland, UK.
  • Mitchell, R. and Frank, E. (2017) “Accelerating the XGBoost algorithm using GPU computing.” PeerJ Computer Science 3, e127. doi:10.7717/peerj-cs.127