Breadcrumbs

Research Publications 2013

  • Akram, R. N. and Markantonakis, K. (2013) "Smart cards: state-of-the-art to future directions." Proc IEEE International Symposium on Signal Processing and Information Technology (ISSPIT 2013), Athens, Greece, 154-162. IEEE. doi:10.1109/ISSPIT.2013.6781871
  • Akram, R. N., Markantonakis, K. and Mayes, K. (2013) "Recovering from a lost digital wallet." Xiang, Y., Marmol, F. G. and Ruj, S. (eds), IEEE Tenth International Conference on High Performance Computing and Communications 2013 IEEE International Conference on Embedded and Ubiquitous Computing (HPCC_EUC), Zhangjiajie, China, 1615-1621. IEEE. doi:10.1109/HPCC.and.EUC.2013.227
  • Akram, R. N., Markantonakis, K. and Mayes, K. (2013) "Remote attestation mechanism for embedded devices based on physical unclonable functions." Ma, C. and Weng, J. (eds), Radio Frenquency Identification System Security: RFIDsec'13 Asia Workshop Proceedings, Cryptology and Information Security Series 11, Guangzhou, China, 107-121. IOS Press. doi:10.3233/978-1-61499-328-5-107
  • Akram, R. N., Markantonakis, K. and Mayes, K. (2013) "Remote attestation mechanism for User Centric Smart Cards using pseudorandom number generators." Qing, S., Zhou, J. and Liu, D. (eds), Proc Fifteenth International Conference on Information and Communications Security (ICICS 2013), LNCS 8233, Beijing, China, 151-166. Springer. doi:10.1007/978-3-319-02726-5_12
  • Akram, R. N., Markantonakis, K. and Mayes, K. (2013) "A secure and trusted channel protocol for the User Centric Smart Card Ownership Model." Proc Twelfth IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom 2013), Melbourne, Australia, 336-345. IEEE Computer Society. doi:10.1109/TrustCom.2013.245
  • Alanazi, M. S. (2013) Keeping track of electronic reading material. MSc Thesis, The University of Waikato. hdl:10289/8492
  • Alanazi, M., Hinze, A. and Cunningham, S. J. (2013) "How people keep tracking of their reading material." Proc NZCSRSC 2013, New Zealand Computer Science Research Student Conference, Hamilton, New Zealand, (CD ROM).
  • Alcock, S. and Nelson, R. (2013) "Measuring the accuracy of open-source payload-based traffic classifiers using popular Internet applications." Turgut, D., Aschenbruck, N. and Tölle, J. (eds), Proc IEEE Thirty-eighth Conference on Local Computer Networks Workshops (LCN 2013), Sydney, Australia, 956-963. IEEE. doi:10.1109/LCNW.2013.6758538
  • Alshahrani, M. A. (2013) Real time vehicle license plate recognition on mobile devices. MSc Thesis, The University of Waikato. hdl:10289/7842
  • Apperley, M. D. and Alahmari, M. M. (2013) "Tracking battery state-of-charge in a continuous use off-grid electricity system." Working Paper 04/2013, Department of Computer Science, The University of Waikato, Hamilton. hdl:10289/8567
  • Apperley, M. and Rogers, B. (2013) "The orienting mouse: an input device with attitude." Working Paper 08/2013, Department of Computer Science, The University of Waikato, Hamilton. hdl:10289/8194
  • Bainbridge, D., Hinze, A. and Cunningham, S. J. (2013) "The oral historian: An infrastructure to support mobile ethnography." Proc Qatar Foundation Annual Research Forum (QF-ARC), Doha, Qatar, SSHO 011 online proceedings. Bloomsbury Qatar Foundation Journals. doi:10.5339/qfarf.2013.SSHO-011
  • Bainbridge, D., McIntosh, S. J. and Nichols, D. M. (2013) "Greenbug: a hybrid web-inspector, debugger and design editor for Greenstone." Proc Thirteenth ACM/IEEE-CS Joint Conference on Digital Libraries (JCDL'13), Indianapolis, USA, 449-450. ACM, New York, NY. doi:10.1145/2467696.2467788
  • Barnes, N., Hunt, L. and Mayo, M. (2013) "Classification models in intensive care outcome prediction-can we improve on current models?" Khanna, S., Guttmann, C., Sattar, A., et al. (eds), Proc Second Australasian Workshop on Artificial Intelligence in Health (AIH 2013) and the Fourth International Workshop on Collaborative Agents - Research and Development (CARE 2013), Dunedin, NZ, 5-21. CEUR. online proceedings
  • Bellamy, J. and Hinze, A. (2013) "Catching and displaying memory cues for a mobile augmented memory system." Working Paper 13/2013, Department of Computer Science, The University of Waikato, Hamilton. hdl:10289/8434
  • Bifet, A., Pfahringer, B., Read, J. and Holmes, G. (2013) "Efficient data stream classification via probabilistic adaptive windows." Proc Twenty-eighth Annual ACM Symposium on Applied Computing (SAC '13), Coimbra, Portugal, 801-806. ACM, New York, NY. doi:10.1145/2480362.2480516
  • Bifet, A., Read, J., Pfahringer, B., Holmes, G. and Žliobaitė, I. (2013) "CD-MOA: Change Detection Framework for Massive Online Analysis." Tucker, A., Höppner, F., Siebes, A., et al. (eds), Proc Twelfth International Symposium on Advances in Intelligent Data Analysis (IDA 2013), LNCS 8207, London, UK, 92-103. Springer. doi:10.1007/978-3-642-41398-8_9
  • Bifet, A., Read, J., Žliobaitė, I., Pfahringer, B. and Holmes, G. (2013) "Pitfalls in benchmarking data stream classification and how to avoid them." Blockeel, H., Kersting, K., Nijssen, S., et al. (eds), Proc European Conference on Machine Learning and Knowledge Discovery in Databases (ECML PKDD 2013), Part I, LNAI 8188, Prague, Czech Republic, 465-479. Springer, Berlin. doi:10.1007/978-3-642-40988-2_30
  • Blake, A. M. (2013) "Dynamically generating FFT code on mobile devices." Proc 2013 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP) Vancouver, BC, Canada, 2568-2571. IEEE. doi:10.1109/icassp.2013.6638119
  • Blake, A. M., Witten, I. H. and Cree, M. J. (2013) "The Fastest Fourier Transform in the South." IEEE Transactions on Signal Processing 61(19), 4707-4716. doi:10.1109/TSP.2013.2273199
  • Boulaire, F., Utting, M. and Drogemuller, R. (2013) "MODAM: A modular agent-based modelling framework." Proc 2013 Second International Workshop on Software Engineering Challenges for the Smart Grid (SE4SG), San Francisco, CA, 33-40. IEEE. doi:10.1109/SE4SG.2013.6596109
  • Bowen, J., Cunningham, S. J., Hinze, A., Jung, D. and Reeves, S. (2013) "Eliciting usage contexts of safety-critical medical devices." Fifth International Workshop on Smart Healthcare and Social Therapy (SmartHealth'13), OZCHI 2013, Adelaide, Australia, 3 pages.
  • Bowen, J., Jones, S. and Reeves, S. (2013) "Creating visualisations of formal models of interactive medical devices." Artho, C. and Ölveczky, P. C. (eds), Preliminary Proc Second International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2013), Queenstown, NZ, 259-263.
  • Bowen, J. and Reeves, S. (2013) "A safety driven approach to medical device design." Fifth International Workshop on Smart Healthcare and Social Therapy (SmartHealth'13), OZCHI 2013, Adelaide, Australia, 4 pages.
  • Bowen, J. and Reeves, S. (2013) "Formal methods for interactive system: (FMIS 2013)." Proc Fifth ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS'13), London, UK, 337-338. ACM, New York, NY. doi:10.1145/2480296.2483223
  • Bowen, J. and Reeves, S. (2013) "Modelling safety properties of interactive medical systems." Proc Fifth ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS'13), London, UK, 91-100. ACM, New York, NY. doi:10.1145/2480296.2480314
  • Bowen, J. and Reeves, S. (2013) "UI-design driven model-based testing." Innovations in Systems and Software Engineering 9(3), 201-215. doi:10.1007/s11334-013-0199-6
  • Bowen, J., Reeves, S. and Schweer, A. (2013) "A tale of two studies." Smith, R. T. and Wünsche, B. C. (eds), Proc Fourteenth Australasian User Interface Conference (AUIC 2013), CRPIT v139, Adelaide, Australia, 81-89. Australian Computer Society Inc, Australia. CRPIT 139
  • Bowen, J. P., Butler, M., Reeves, S. and Hinchey, M. (2013) "Editorial." Formal Aspects of Computing 25(3), 343-343. doi:10.1007/s00165-013-0281-8
  • Carloni, M. B., Cesario, M., Cesario, R. R., Luz, S., Margarido, E., Masoodian, M. and Pires, D. F. (2013) "In-class use of the nu-case mobile telehealth system in a medical school." Rodrigues, P. P., Pechenizkiy, M., Gama, J., et al. (eds), Proc Twenty-sixth IEEE International Symposium on Computer-Based Medical Systems (CBMS 2013), Porto, Portugal, 437-440. IEEE. doi:10.1109/CBMS.2013.6627835
  • Chang, C., Hinze, A. and Starkey, N. (2013) "A mobile augmented memory system for brain injury survivors." Proc NZCSRSC 2013, New Zealand Computer Science Research Student Conference, Hamilton, New Zealand, (CD ROM).
  • Clarke, G. (2013) Visualising time. MSc Thesis, The University of Waikato. hdl:10289/7954
  • Cleary, J. G., Utting, M. and Clayton, R. (2013) "A parallel semantics for Normal Logic Programs plus time." Working Paper 05/2013, Department of Computer Science, The University of Waikato, Hamilton. hdl:10289/8163
  • Cunningham, S. J. (2013) "Learning from the internet porn industry: what porn sites may tell us about pornography location behaviors." Murdock, V., Clarke, C. L. A., Kamps, J., et al. (eds), Proc Search and Exploration of X-rated Information (SEXI2013): WSDM'13 Workshop, Rome, Italy, 17-18. IR Publications, Amsterdam.
  • Cunningham, S. J. (2013) "Mining flikr for museum feedback: Case study on the Qatar Islamic Museum of Art." Proc Qatar Foundation Annual Research Forum (QF-ARC), Doha, Qatar, SSHP 035 online proceedings. Bloomsbury Qatar Foundation Journals. doi:10.5339/qfarf.2013.SSHP-035
  • Cunningham, S. J. (2013) "Supporting literary tourism in Qatar through a mobile location-based application." Proc Qatar Foundation Annual Research Forum (QF-ARC), Doha, Qatar, SSHP 030 online proceedings. Bloomsbury Qatar Foundation Journals. doi:10.5339/qfarf.2013.SSHP-030
  • Cunningham, S. J., Alqurashi, H., Hinze, A., Vanderschantz, N., Timpany, C. and Heese, R. (2013) "Browsing and book selection in the physical library shelves." Working Paper 02/2013, Department of Computer Science, The University of Waikato, Hamilton. hdl:10289/7161
  • Cunningham, S. J. and Bainbridge, D. (2013) "An analysis of cooking queries: implications for supporting leisure cooking." Proc iConference 2013, Fort Worth, Texas, 112-123. iSchools. hdl:2142/36046
  • Cunningham, S. J. and Hinze, A. (2013) "Supporting the reader in the wild: identifying design features for a literary tourism application." Proc Fourteenth Annual Conference of the NZ Chapter of the ACM's Special Interest Group on Human-Computer Interaction (CHINZ '13), Christchurch, New Zealand, 10 pages. ACM, New York. doi:10.1145/2542242.2542253
  • Cunningham, S. J. and Lee, J. H. (2013) "Influences of ISMIR and MIREX research on technology patents." Britto Jr, A. d. S., Gouyon, F. and Dixon, S. (eds), Proc Fourteenth Conference of the International Society of Music Information Retrieval (ISMIR),Curitiba, Brazil, 137-142. ISMIR, Brazil.
  • Cunningham, S. J. and Mahoui, M. (2013) "Interacting with and through a digital library collection: commenting behavior in Flickr's The Commons." Proc Thirteenth ACM/IEEE-CS Joint Conference on Digital Libraries (JCDL'13), Indianapolis, USA, 21-24. ACM, New York, NY. doi:10.1145/2467696.2467745
  • Cunningham, S. J., Vanderschantz, N., Timpany, C., Hinze, A. and Buchanan, G. (2013) "Social information behaviour in bookshops: implications for digital libraries." Aalberg, T., Papatheodorou, C., Dobreva, M., et al. (eds), Proc International Conference on Theory and Practice of Digital Libraries: Research and Advanced Technology for Digital Libraries (TPDL 2013), LNCS 8092, Valletta, Malta, 84-95. Springer Berlin Heidelberg. doi:10.1007/978-3-642-40501-3_9
  • Deaker, C. (2013) Adaptive interfaces for massively multiplayer online games. MSc Thesis, The University of Waikato. hdl:10289/7961
  • Deaker, C., Masoodian, M. and Rogers, B. (2013) "Providing adaptive visual interface feedback in massively multiplayer online games." Reidsma, D., Katayose, H. and Nijholt, A. (eds), Proc Tenth International Conference on Advances in Computer Entertainment (ACE 2013), LNCS 8253, Boekelo, The Netherlands, 29-44. Springer, Berlin. doi:10.1007/978-3-319-03161-3_3
  • Derrick, J., Boiten, E. and Reeves, S. (eds), (2013) Proceedings of the Sixteenth International Refinement Workshop, EPTCS 115. Turku, Finland, 98 pages. EPTCS. doi:10.4204/EPTCS.115
  • Dighe, A. and Hinze, A. (2013) "Re-finding physical documents in a human-centered workplace." Proc NZCSRSC 2013, New Zealand Computer Science Research Student Conference, Hamilton, New Zealand, (CD ROM).
  • Downie, J. S. and Bainbridge, D. (2013) "Integrating independent discovery and analysis tools for the HathiTrust Corpus: enhancing fair user digital scholarship." Abstracts: JADH 2013 & DH-JAC 2013 Conference, Japanese Association for Digital Humanities Conference 2013, Kyoto, Japan, 25-26.
  • Fowke, M., Hinze, A. and Heese, R. (2013) "Text categorization and similarity analysis: implementation and evaluation." Working Paper 10/2013, Department of Computer Science, The University of Waikato, Hamilton. hdl:10289/8430
  • Fowke, M., Hinze, A. and Heese, R. (2013) "Text categorization and similarity analysis: similarity measure, literature review." Working Paper 11/2013, Department of Computer Science, The University of Waikato, Hamilton. hdl:10289/8432
  • Fowke, M., Hinze, A. and Heese, R. (2013) "Text categorization and similarity analysis: similarity measure, architecture and design." Working Paper 12/2013, Department of Computer Science, The University of Waikato, Hamilton. hdl:10289/8433
  • Frank, E. and Pfahringer, B. (2013) "Propositionalisation of multi-instance data using random forests." Cranefield, S. and Nayak, A. (eds), Proc Twenty-sixth Australasian Joint Conference on Advances in Artificial Intelligence (AI 2013), LNAI 8272, Dunedin, NZ, 362-373. Springer. doi:10.1007/978-3-319-03680-9_37
  • Frappier, M., Glässer, U., Khurshid, S., Laleau, R. and Reeves, S. (2013) "Preface: Abstract State Machines, Alloy, B and Z Selected papers from ABZ 2010." Science of Computer Programming 78(3), 270-271. doi:10.1016/j.scico.2011.03.004
  • García Ferrari, T. (2013) "From tailors to gardeners: shifting roles for the design professionals." Gomez, L. S. R. and Campos, A. Q. (eds), Proc UNIDCOM/ IADE Seventh International Conference: Sense and Sensibility 2013, Florianópolis, Brazil, 288-296. online proceedings
  • Geilke, M., Frank, E., Karwath, A. and Kramer, S. (2013) "Online estimation of discrete densities." Proc Thirteenth IEEE International Conference on Data Mining (ICDM 2013), Dallas, Texas, 191-200. IEEE Computer Society, Los Alamitos, California. doi:10.1109/ICDM.2013.91
  • Hapfelmeier, A., Pfahringer, B. and Kramer, S. (2013) "Pruning incremental linear model trees with approximate lookahead." IEEE Transactions on Knowledge and Data Engineering 26(8), 2072-2076. doi:10.1109/TKDE.2013.132
  • Hinze, A. and Bainbridge, D. (2013) "Tipple: location-triggered mobile access to a digital library for audio books." Proc Thirteenth ACM/IEEE-CS Joint Conference on Digital Libraries (JCDL'13), Indianapolis, USA, 171-180. ACM, New York, NY. doi:10.1145/2467696.2467724
  • Hinze, A., Jung, D. and Muthaiah, L. (2013) "Realistic books for small-screen devices." Proc Twenty-fifth Australian Computer-Human Interaction Conference: Augmentation, Application, Innovation, Collaboration (OZCHI '13), Adelaide, Australia, 17-26. ACM, New York, NY. doi:10.1145/2541016.2541028
  • Ienco, D., Bifet, A., Žliobaitė, I. and Pfahringer, B. (2013) "Clustering based active learning for evolving data streams." Proc Sixteenth International Conference on Discovery Science (DS 2013), LNAI 8140, Singapore, 79-93. Springer, Germany. doi:10.1007/978-3-642-40897-7_6
  • Jervis, M. and Masoodian, M. (2013) "Visualization of physical library shelves to facilitate collection management and retrieval." Proc Fifth ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS'13), London, UK, 133-138. ACM, New York, NY. doi:10.1145/2480296.2480321
  • Kamphuis, C., Frank, E., Burke, J. K., Verkerk, G. A. and Jago, J. G. (2013) "Applying additive logistic regression to data derived from sensors monitoring behavioral and physiological characteristics of dairy cows to detect lameness." Journal of Dairy Science96(11), 7043-7053. doi:10.3168/jds.2013-6993
  • Kasi, M. K., Hinze, A., Legg, C. and Jones, S. (2013) "SEPSen: Semantic event processing at the sensor nodes for energy efficient wireless sensor networks." Proc NZCSRSC 2013, New Zealand Computer Science Research Student Conference, Hamilton, New Zealand, (CD ROM).
  • Keegan, T. T. (2013) "E kōrerorero ana te reo Māori te ao hangarau?" He Manawa Whenua Indigenous Research Conference 2013: Presenter Abstract, 57-57.
  • Ko, R. K. L., Lee, S. S. G. and Rajan, V. (2013) "Cloud computing vulnerability incidents: a statistical overview.", Technical Report, 1-21. online report
  • Ko, R., Martucci, L. and Kirchberg, M. (2013) "TSCloud 2013: Message from the chairs." Proc 2013 12th IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom), Melbourne, Australia, xlvi. IEEE.doi:10.1109/TrustCom.2013.266
  • Kugler, M., André, E., Masoodian, M., Reinhart, F., Rogers, B. and Schlieper, K. (2013) "Assisting inhabitants of residential homes with management of their energy consumption." Håkansson, A., Höjer, M., Howlett, R. J., et al. (eds), Sustainability in Energy and Buildings: Proc 4th International Conference on Sustainability in Engery and Buildings (SEB'12), Stockholm, Sweden, 147-156. Springer, Berlin. doi:10.1007/978-3-642-36645-1_14
  • Lee, J. H. and Cunningham, S. J. (2013) "Toward an understanding of the history and impact of user studies in music information retrieval." Journal of Intelligent Information Systems 41(3), 499-521. doi:10.1007/s10844-013-0259-2
  • Legg, C. and Sarjant, S. (2013) "Ontological quality control in large-scale, applied ontology matching." Proc Eighth International Workshop on Ontology Matching (OM-2013), ISWC-2013, Sydney, Australia, 231-232. online proceedings
  • Liu, H., Leduc, R. J., Malik, R. and Ricker, S. L. (2013) "Verifying co-observability in discrete-event systems using an incremental approach.", Technical Report CAS-13-06-RL, Department of Computing and Software, Faculty of Engineering, McMaster University, Hamilton, Canada, 1-16. CAS-13-06-RL.pdf
  • Löf, A. (2013) Improving the evaluation of network anomaly detection using a data fusion approach. PhD Thesis, The University of Waikato. hdl:10289/8041
  • Malik, R. and Leduc, R. (2013) "Compositional nonblocking verification using generalised nonblocking abstractions." IEEE Transactions on Automatic Control 58(8), 1891-1903. doi:10.1109/TAC.2013.2248255
  • Masoodian, M., Endrass, B., Bühling, R., Ermolin, P. and André, E. (2013) "Time-pie visualization: providing contextual information for energy consumption data." Proc Seventeenth International Conference on Information Visualisation (IV 2013), London, UK, 102-107. IEEE, Los Alamitos, CA.
  • Mato, P. and Keegan, T. T. (2013) "Indigenous tweeting for language survival: the Māori-language profile." International Journal of Technology and Inclusive Education 2(2), 184-191. online journal
  • Mayo, M. (2013) "Identifying market price levels using differential evolution." Esparcia-Alcázar, A. I. (ed), Proc Sixteenth European Conference on Applications of Evolutionary Computation, EvoApplications 2013, LNCS 7835, Vienna, Austria, 203-212. Springer, Germany. doi:10.1007/978-3-642-37192-9_21
  • Mayo, M. and Spacey, S. (2013) "Predicting regression test failures using genetic algorithm-selected dynamic performance analysis metrics." Ruhe, G. and Zhang, Y. (eds), Proc Fifth International Symposium on Search Based Software Engineering (SSBSE 2013) LNCS 8084, St Petersburg, Russia, 158-171. Springer, Germany. dio:10.1007/978-3-642-39742-4_13
  • McDonald, I. (2013) Improving the quality of real time media applications through Sending the Best Packet Next. PhD Thesis, The University of Waikato. hdl:10289/8320
  • Medelyan, O., Manion, S., Broekstra, J., Divoli, A., Huang, A.-L. and Witten, I. H. (2013) "Constructing a focused taxonomy from a document collection." Cimiano, P., Corcho, O., Presutti, V., et al. (eds), Proc Tenth International Conference, ESWC 2013, The Semantic Web: Semantics and Big Data, LNCS 7882, Montpellier, France, 367-381. Springer. doi:10.1007/978-3-642-38288-8_25
  • Medelyan, O., Witten, I. H., Divoli, A. and Broekstra, J. (2013) "Automatic construction of lexicons, taxonomies, ontologies, and other knowledge structures." WIREs Data Mining Knowledge Discovery 3(4), 257-279. doi:10.1002/widm.1097
  • Milne, D. and Witten, I. H. (2013) "An open-source toolkit for mining Wikipedia." Artificial Intelligence 194, 222-239. doi:10.1016/j.artint.2012.06.007
  • Min, G., Varadharajan, V., Ko, R. K. L., Xiang, Y., Marmol, F. G., Ruj, S., Wang, G. and Yang, L. T. (2013) "TSP 2013: Message from the Workshop Chairs." Proc 2013 IEEE International Conference on High Performance Computing and Communications and 2013 IEEE International Conference on Embedded and Ubiquitous Computing (HPCC 2013 and EUC 2013), Zhangjiajie, China, lxxxiv. IEEE. doi:10.1109/HPCC.and.EUC.2013.350
  • Mohajerani, S., Malik, R. and Fabian, M. (2013) "Compositional nonblocking verification for extended finite-state automata using partial unfolding." Proc 2013 IEEE International Conference on Automation Science and Engineering (CASE 2013), Madison, Wisconsin, 930-935. IEEE. doi:10.1109/CoASE.2013.6654014
  • Mohajerani, S., Malik, R. and Fabian, M. (2013) "Partial unfolding for compositional nonblocking verification of extended finite-state machines." Working Paper 01/2013, Department of Computer Science, The University of Waikato, Hamilton. hdl:10289/7140
  • Mohd Yusof, A. b. (2013) Supporting focus and context awareness in 3D modeling using multi-layered displays. PhD Thesis, The University of Waikato. hdl:10289/7241
  • Morris, P. (2013) Exploration of pervasive games in relation to mobile technologies. MSc Thesis, The University of Waikato. hdl:10289/7923
  • Msgna, M. G., Akram, R. N., Markantonaki, K. and Mayes, K. (2013) "Subscriber centric conditional access system for pay-TV systems." James, A., Fei, X., Chao, K.-M., et al. (eds), Proc 2013 IEEE Tenth International Conference on e-Business Engineering (ICEBE 2013), Coventry, UK, 450-455. IEEE Computer Society. doi:10.1109/ICEBE.2013.70
  • Pfahringer, B. (2013) "The MOA Data Stream Mining Tool: A mid-term report." Deng, J. D. and Zhang, H. (eds), Proc Workshop on Machine Learning for Sensory Data Analysis (MLSDA '13), Dunedin, NZ, 3-4. ACM, New York, NY. doi:10.1145/2542652.2542660
  • Pilbrow, C. (2013) "Compositional nonblocking verification with always enabled and selfloop-only events." Working Paper 07/2013, Department of Computer Science, The University of Waikato, Hamilton. hdl:10289/8187
  • Pilbrow, C. and Malik, R. (2013) "Compositional nonblocking verification with always enabled events and selfloop-only events." Artho, C. and Ölveczky, P. C. (eds), Preliminary Proc Second International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2013), Queenstown, NZ, 147-162.
  • Rajanayagam, J., Frank, E., Shepherd, R. W. and Lewindon, P. J. (2013) "Artificial neural network is highly predictive of outcome in paediatric acute liver failure." Pediatric Transplantation 17(6), 535-542. doi:10.1111/petr.12100
  • Reinhart, F., Schlieper, K., Kugler, M., André, E., Masoodian, M. and Rogers, B. (2013) "Fostering energy awareness in residential homes using mobile devices." Working Paper 03/2013, Department of Computer Science, The University of Waikato, Hamilton. hdl:10289/8098
  • Rinck, M., Hinze, A., Jones, S. and Bainbridge, D. (2013) "Document DNA: How to track re-used content across documents." Proc NZCSRSC 2013, New Zealand Computer Science Research Student Conference, Hamilton, New Zealand, (CD ROM).
  • Sarjant, S. (2013) "A direct policy-search algorithm for relational reinforcement learning." Proc NZCSRSC 2013, New Zealand Computer Science Research Student Conference, Hamilton, New Zealand, (CD ROM).
  • Sarjant, S. (2013) Policy Search Based Relational Reinforcement Learning using the Cross-Entropy Method. PhD Thesis, The University of Waikato. hdl:10289/7671
  • Seeland, M., Kramer, S. and Pfahringer, B. (2013) "Model selection based product kernel learning for regression on graphs." Proc Twenty-eighth Annual ACM Symposium on Applied Computing (SAC '13), Coimbra, Portugal, 136-143. ACM, New York, NY. doi:10.1145/2480362.2480391
  • Śmiałowski, G. (2013) Automatic weighing for dry stock. MSc Thesis.
  • So, C.-E. K. (2013) "Type brighter." Soddu, C. and Colabella, E. (eds), Proc Sixteenth International Generative Art Conference (GA2013), Milano, 46-46. Domus Argenia Publisher, Milan.
  • Spacey, S., Luk, W., Kuhn, D. and Kelly, P. H. J. (2013) "Parallel partitioning for distributed systems using sequential assignment " Journal of Parallel and Distributed Computing 73(2), 207-219. doi:10.1016/j.jpdc.2012.09.01
  • Stannett, M., Legg, C. and Sarjant, S. (2013) "Massive ontology interface." Proc Fourteenth Annual Conference of the NZ Chapter of the ACM's Special Interest Group on Human-Computer Interaction (CHINZ '13), Christchurch, New Zealand, 8 pages. ACM, New York. doi:10.1145/2542242.2542251
  • Stringer, J. P., Fu, Q., Lorier, C., Nelson, R. and Rothenberg, C. E. (2013) "Cardigan: deploying a distributed routing fabric." Proc Second ACM SIGCOMM Workshop on Hot Topics in Software Defined Networking (HotSDN '13), Hong Kong, China, 169-170. ACM, New York, NY. doi:10.1145/2491185.2491221
  • Suen, C. H., Ko, R. K. L., Tan, Y. S., Jagadpramana, P. and Lee, B. S. (2013) "S2Logger: End-to-end data tracking mechanism for cloud data provenance." Proc 12th IEEE International Conference of Trust, Security and Privacy in Computing and Communication (IEEE TrustCom '13), Melbourne, Australia, 594-602. IEEE. doi:10.1109/TrustCom.2013.73
  • Sun, Q. (2013) "Bagging ensemble selection for regression problems." Proc NZCSRSC 2013, New Zealand Computer Science Research Student Conference, Hamilton, New Zealand, (CD ROM).
  • Sun, Q. and Pfahringer, B. (2013) "Pairwise meta-rules for better meta-learning-based algorithm ranking." Machine Learning 93(1), 141-161. doi:10.1007/s10994-013-5387-y
  • Sun, Q., Pfahringer, B. and Mayo, M. (2013) "Towards a framework for designing full model selection and optimization systems." Zhou, Z.-H., Roli, F. and Kittler, J. (eds), Proc Eleventh International Workshop on Multiple Classifier Systems (MCS 2013), LNCS 7872, Nanjing, China, 259-270. Springer, Germany. doi:10.1007/978-3-642-38067-9_23
  • Tan, Y. S., Ko, R. K. L. and Holmes, G. (2013) "Security and data accountability in distributed systems: a provenance survey." Proc 2013 IEEE Tenth International Conference on High Performance Computing and Communications & 2013 IEEE International Conference on Embedded and Ubiquitous Computing (HPCC_EUC 2013), Zhangjiajie, China, 1571-1578. IEEE. doi:10.1109/HPCC.and.EUC.2013.221
  • Teixeira, M., Malik, R., Cury, J. E. R. and de Queiroz, M. H. (2013) "Variable abstraction and approximations in supervisory control synthesis." Proc 2013 American Control Conference (ACC), Washington, DC, 132-137. AACC. doi:10.1109/ACC.2013.6579826
  • Timpany, C., Cunningham, S. J., Hunt, L. and Gray, H. (2013) "Differentiation of headings in journal publications." Proc NZCSRSC 2013, New Zealand Computer Science Research Student Conference, Hamilton, New Zealand, (CD ROM).
  • Timpany, C. and Vanderschantz, N. (2013) "Using a categorisation structure to understand interaction in children's books." The International Journal of the Book 10(4), 29-44.
  • Torgo, L., Ribeiro, R. P., Pfahringer, B. and Branco, P. (2013) "SMOTE for regression." Correia, L., Reis, L. P. and Cascalho, J. (eds), Proc Sixteenth Portuguese Conference on Artificial Intelligence (EPIA 2013), LNCS 8154, Azores, Portugal, 378-389. Springer, Germany. doi:10.1007/978-3-642-40669-0_33
  • Trotman, A., Cunningham, S. J. and Sitbon, L. (2013) "The Seventeenth Australasian Document Computing Symposium." SIGIR Forum 47(1), 17-21. doi:10.1145/2492189.2492193
  • Turner, J. C. and Rogers, W. J. (2013) "A representaton of the natural numbers by means of cycle-numbers, with consequences in number theory." Annales Mathematicae et Informaticae 41, 235-254. online journal
  • Twidale, M. B. and Nichols, D. M. (2013) "Agile methods for agile universities." Besley, T. A. C. and Peters, M. A. (eds), In Re-imagining the Creative University for the 21st Century, Chapter 2, 27-48. Sense Publishers, Rotterdam. doi:10.1007/978-94-6209-458-1_2
  • Utting, M., Weng, M.-H. and Cleary, J. G. (2013) "The JStar language philosophy." Balaji, P., Guo, M. and Huang, Z. (eds), Proc 2013 International Workshop on Programming Models and Applications for Multicores and Manycores (PMAM'13), Shenzhen, Guangdong, China, 31-41. ACM, New York, NY. doi:10.1145/2442992.2442996
  • Utting, M., Weng, M.-H. and Cleary, J. G. (2013) "The JStar language philosophy." Working Paper 06/2013, Department of Computer Science, The University of Waikato, Hamilton. hdl:10289/8164
  • Vanderschantz, N., Hinze, A. and Cunningham, S. J. (2013) "A survey of current practices of children's digital knowledge acquisition." Proc NZCSRSC 2013, New Zealand Computer Science Research Student Conference, Hamilton, New Zealand, (CD ROM).
  • Vanderschantz, N. and Timpany, C. (2013) "Who says you can't judge a book by it's cover?" The International Journal of the Book 10(4), 1-17.
  • Wadsworth, S. (2013) Security analysis of the Evolved Packet Core of LTE networks. MSc Thesis, The University of Waikato.
  • Ware, S. and Malik, R. (2013) "Compositional verification of the generalized nonblocking property using abstraction and canonical automata." International Journal of Foundations of Computer Science 24(8), 1183-1208. doi:10.1142/S0129054113500287
  • Ware, S. and Malik, R. (2013) "A state-based characterisation of the conflict preorder." Proc NZCSRSC 2013, New Zealand Computer Science Research Student Conference, Hamilton, New Zealand, (CD ROM).
  • Ware, S., Malik, R., Mohajerani, S. and Fabian, M. (2013) "Certainly unsupervisable states." Artho, C. and Ölveczky, P. C. (eds), Preliminary Proc Second International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2013), Queenstown, NZ, 3-18.
  • Weng, M.-H. S. (2013) Automatic parallelization of data-driven JStar programs. MSc Thesis.
  • Witten, I. H., Frank, E. and Hall, M. A. (2013) Data mining: Practical machine learning tools and techniques (Korean translation). (3rd ed). Acorn Publishing.
  • Zaicu, A. C. and Hinze, A. (2013) "Social interactions using an electronic rabbit." Working Paper 09/2013, Department of Computer Science, The University of Waikato, Hamilton. hdl:10289/8431
  • Zhang, E. Y. (2013) Improving Bags-of-Words model for object categorization. PhD Thesis, The University of Waikato. hdl:10289/7487