Breadcrumbs

Research Publications 2017

  • Bainbridge, D., Cunningham, S. J., Hinze, A., & Downie, J. S. (2017) "Writers of the lost paper: a case study on barriers to (re-) finding publications." In S. Choemprayong, F. Crestani, & S. J. Cunningham (Eds.), Proc 19th International Conference on Asia-Pacific Digital Libraries: Data, Information, and Knowledge for Digital Lives (ICADL 2017), LNCS 10647, Bangkok, Thailand, 212-224. Springer. doi:10.1007/978-3-319-70232-2_18
  • 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
  • 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
  • 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
  • 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
  • Bowen, J., Hinze, A., & Griffiths, C. (2017) "Investigating real-time monitoring of fatigue indicators of New Zealand forestry workers." Accident Analysis and Prevention, in press, 20 pages. doi:10.1016/j.aap.2017.12.010
  • 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, Early Access. IEEE Computer Society. doi:10.1109/TDSC.2017.2703626
  • Choemprayong, S., Crestani, F., & Cunningham, S. J. (Eds.) (2017) Proc Digital Libraries: Data, Information, and Knowledge for Digital Lives, 19th International Conference on Asia-Pacific Digital Libraries (ICADL 2017), LNCS 10647, Bangkok, Thailand, 326 pages. Springer. doi:10.1007/978-3-319-70232-2
  • Coleman, M. and Hinze, A. (2017) "Visual semantic enrichment for ereading." Proc 31st British Human Computer Interaction Conference (BHCI 2017), Sunderland, UK.
  • Cunningham, S. J., Bainbridge, D., & Bainbridge, A. (2017) "Exploring personal music collection behavior." In S. Choemprayong, F. Crestan, & S. J. Cunningham (Eds.), Proc 19th International Conference on Asia-Pacific Digital Libraries: Data, Information, and Knowledge for Digital Lives (ICADL 2017), LNCS 10647, Bangkok, Thailand, 295-306. Springer. doi:10.1007/978-3-319-70232-2_25
  • 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
  • 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.
  • Garcia Ferrari, T. (2017) "Design and the fourth industrial revolution." EAD12|2017 Design for Next, Rome, Italy. European Academy of Design.
  • 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
  • Goodchild, B. J., Chiu, Y. -C., Hansen, R., Lu, H., Calder, M., Luckie, M. J., Lloyd, W., Choffnes, D., & Katz-Basset, E. (2017) "The record route option is an option!" Proc Internet Measurement Conference 2017, London, UK, 7 pages. ACM. doi:10.1145/3131365.3131392
  • 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.
  • 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
  • Hinze, A., Vanderschantz, N., Timpany, C., Saravani, S. -J., Cunningham, S. J., & Wilkinson, C. (2017) "Use of mobile apps for teaching and research - implications for digital literacy." In S. Choemprayong, F. Crestani, & S. J. Cunningham (Eds.), Proc 19th International Conference on Asia-Pacific Digital Libraries: Data, Information, and Knowledge for Digital Lives (ICADL 2017), LNCS 10647, Bangkok, Thailand, 173-184. Springer. doi:10.1007/978-3-319-70232-2_15
  • 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.
  • Keegan, T (2017) "Review of Matariki: The star of the year by Rangi Matamua. " MAI Journal: A New Zealand Journal of Indigenous Scholarship 6(2), 179-181. doi:10.20507/MAIJournal.2017.6.2.7
  • Ko, R. K. L., & Phua, T. W. (2017) "The full provenance stack: Five layers for complete and meaningful provenance." In G. Wang, M. Atiquzzaman, Z. Yan, & K. -K. R. Choo (Eds.), Proc Security, Privacy, and Anonymity in Computation, Communication, and Storage (SpaCCS 2017) International Workshops, LNCS 10658, Guangzhou, China, 180-193. Springer. doi:10.1007/978-3-319-72395-2_18
  • Kumar, V., Chaisiri, S., & Ko, R. (Eds.) (2017) Data security in cloud computing. 328 pages. Institution of Engineering and Technology.
  • Kurland, J., Johnson, S. D., & Tilley, N. (2017) "Hotspotting and football violence: current statistics and implications for prevention." In P. Sturmey (Ed.), The Wiley Handbook of Violence and Aggression, 3. John Wiley & Sons, Ltd. doi:10.1002/9781119057574.whbva112
  • Kurland, J., Pires, S. F., McFann, S. C., & Moreto, W. D. (2017) "Wildlife crime: a conceptual integration, literature review, and methodological critique." Crime Science 6(1), 4 pages. doi:10.1186/s40163-017-0066-0
  • Kurland, J., Tilley, N., & Johnson, S. D. (2017) "Football pollution: an investigation of spatial and temporal patterns of crime in and around stadia in England." Security Journal, First Online, 1-20. doi:10.1057/s41284-017-0123-0
  • Laing, S., Apperley, M., & Masoodian, M. (2017) "Investigating the effects of client imagery on the ideation process of graphic design." Design Studies 53, 78-98. doi:10.1016/j.destud.2017.08.001
  • Leathart, T., Frank, E., Holmes, G., & Pfahringer, B. (2017) "Probability calibration trees." In M.-L. Zhang, & Y.-K. Noh (Eds.), Proc 9th Asian Conference on Machine Learning (ACML 2017), PMLR 77, Seoul, Korea, 145-160. Retrieved from http://proceedings.mlr.press/v77/leathart17a.html
  • Li, L., Franken, M., & Wu, S. (2017) "Bundle-driven metadiscourse analysis: Sentence initial bundles in Chinese and New Zealand postgraduates' thesis writing." In Metadiscourse in Written Genres: Uncovering Textual and Interactional Aspects of Texts, 251-284. doi:10.3726/b11093
  • 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
  • Mayo, M. and Daoud, M. (2017) "Aesthetic local search of wind farm layouts." Information 8(2) 39-39. doi:10.3390/info8020039
  • Mayo, M. J., & Doaud, M. (2017) "Using swarm optimization to enhance autoencoder’s images." In V. Torra, Y. Narukawa, A. Honda, & S. Inoue (Eds.), USB Proc 14th International Conference on Modeling Decisions for Artificial Intelligence (MDAI 2017), Kitakyushu, Japan, 118-131.
  • Mayo, M., & Goltz, N. (2017) "Constructing document vectors using kernel density estimates." In V. Torra, Y. Narukawa, A. Honda, & S. Inoue (Eds.), Proc 14th International Conference on Modeling Decisions for Artificial Intelligence (MDAI 2017), LNAI 10571, Kitakyushu, Japan, 183-194. Springer. doi:10.1007/978-3-319-67422-3_16
  • Mitchell, R. and Frank, E. (2017) “Accelerating the XGBoost algorithm using GPU computing.” PeerJ Computer Science 3, e127. doi:10.7717/peerj-cs.127
  • 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
  • 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
  • Paringatai, K., Pitama, S., Ruru, J., & Keegan, T. (2017) "Rauaroha: He tohu Aroha rau i te akoranga." MAI Journal: A New Zealand Journal of Indigenous Scholarship 6(3), 272-282. doi:10.20507/MAIJournal.2017.6.3.4
  • 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.
  • 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.
  • Soffer, P., Hinze, A., Koschmider, A., Ziekow, H., Di Ciccio, C., Koldehofe, B., et al. (2017) "From event streams to process models and back: challenges and opportunities." Information Systems, in press, 57 pages. doi:10.1016/j.is.2017.11.002
  • Soo, C.-E. K. (2017) "Hueue (Artworks)" In C. Soddu, & E. Colabella (Eds.), Proc XX Generative Art International Conference, 525, Ravenna, Italy.
  • van Rijn, J. N., Holmes, G., Pfahringer, B., & Vanschoren, J. (2017) "The online performance estimation framework: heterogeneous ensemble learning for data streams." Machine Learning 107(1), 149-176. doi:10.1007/s10994-017-5686-9
  • 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
  • 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.
  • 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.
  • 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
  • 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
  • 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
  • Wilson, B., Wakes, S., & Mayo, M. (2017) "Surrogate modeling a computational fluid dynamics-based wind turbine wake simulation using machine learning." In Proc 2017 IEEE Symposium Series on Computational Intelligence (SSCI 2017), Honolulu, Hawaii, 1-8. IEEE. doi:10.1109/SSCI.2017.8280844