Search research publications and outputs

  1. 2018
  2. Wing Loss for Robust Facial Landmark Localisation with Convolutional Neural Networks

    Feng, Z., Kittler, J., Awais, M., Huber, P. & Wu, X-J., 14 Dec 2018, Proceedings - 2018 IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVPR 2018. IEEE Computer Society, p. 2235-2245 11 p. 8578336

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Finding All Bayesian Network Structures within a Factor of Optimal

    Liao, Z., Sharma, C., Cussens, J. & van Beek, P., 10 Dec 2018, (Accepted/In press) The Thirty-Third AAAI Conference on Artificial Intelligence (AAAI-19). AAAI Press

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Verifying a Copying Garbage Collector in GP 2

    Plump, D. & Wulandari, G., 6 Dec 2018, Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Revised Selected Papers. Mazzara, M., Ober, L. & Salaün, G. (eds.). Springer, p. 479--494 16 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. Will you be happier? Designing a game that employs gifting to non-player characters

    Li, S., Ursu, M., Williams, D. & Kegel, I., 4 Dec 2018, HAI 2018 - Proceedings of the 6th International Conference on Human-Agent Interaction. Association for Computing Machinery, Inc, p. 338-340 3 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  6. Closed frequent itemset mining with arbitrary side constraints

    Kocak, G., Akgun, O., Miguel, I. J. & Nightingale, P. W., 17 Nov 2018, Workshop proceedings (OEDM 2018) of the 2018 IEEE International Conference on Data Mining (ICDM). IEEE Computer Society, 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. Implementing Digital Twins of Smart Factories with Interval Algebra

    Dziurzanski, P., Swan, J., Soares Indrusiak, L. & Ramos, J., 15 Nov 2018, (Accepted/In press) IEEE International Conference on Industrial Technology. 8 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  8. Calculational Verification of Reactive Programs with Reactive Relations and Kleene Algebra

    Foster, S. D., Ye, K., Cavalcanti, A. L. C. & Woodcock, JAMES. C. P., 1 Nov 2018, Relational and Algebraic Methods in Computer Science - 17th International Conference, RAMiCS 2018, Proceedings. Guttmann, W., Desharnais, J. & Joosten, S. (eds.). Lecture Notes in Computer Science, Vol. 11194. p. 205-224 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11194 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  9. Analysing RoboChart with probabilities

    Conserva Filho, M. S., Marinho, R., Mota, A. & Woodcock, J., 24 Oct 2018, Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Proceedings. Massoni, T. & Mousavi, M. R. (eds.). Springer Verlag, p. 198-214 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11254 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  10. Scheduling of Smart Factories using Edge Computing and Clouds

    Dziurzanski, P., Swan, J. & Soares Indrusiak, L., 20 Oct 2018, (Accepted/In press) 1st International Workshop on Trustworthy and Real-time Edge Computing for Cyber-Physical Systems (TREC4CPS). 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  11. TACO: An industrial case study of Test Automation for COverage

    Lesage, B. M. J-R., Law, S. A. & Bate, I. J., 10 Oct 2018, Proceedings of the 26th International Conference on Real-Time Networks and Systems. ACM, p. 114-124 11 p. (RTNS'18).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  12. Automating Verification of State Machines with Reactive Designs and Isabelle/UTP

    Foster, S. D., Baxter, J. E., Cavalcanti, A. L. C., Miyazawa, A. H. & Woodcock, JAMES. C. P., 5 Oct 2018, 15th International Conference on Formal Aspects of Component Software. Ölveczky, P. C. & Bae, K. (eds.). Springer, p. 137-155 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11222 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  13. A Game that Makes You Question...” Exploring the Role of Reflection for the Player Experience

    Mekler, E., Iacovides, I. & Bopp, J., Oct 2018, Proceedings of the annual ACM Conference CHI Play 2018. ACM

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  14. Service Level Agreements for Safe and Configurable Production Environments

    Ashjaei, M., Clegg, K., Corneo, L., Hawkins, R. D., Jaradat, O. T. S., Gulisano, V. & Nikolakopoulos, Y., 7 Sep 2018, International Conference on Emerging Technologies and Factory Automation: Work in Progress Session (ETFA-WiP'18). IEEE, p. 1-4 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  15. Performance Assessment of Recursive Probability Matching for Adaptive Operator Selection in Differential Evolution

    Sharma, M., López-Ibáñez, M. & Kazakov, D. L., Sep 2018, 15th Intl Conf. on Parallel Problem Solving from Nature: (PPSN 2018). SPRINGER-VERLAG BERLIN, p. 321-333 13 p. (LNCS).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  16. TZDKS: A New TrustZone-based Dual-CriticalitySystem with Balanced Performance

    Dong, P., Burns, A., Jiang, Z. & Liao, X., 31 Aug 2018, Proceeding IEEE 24th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) . IEEE Xplore: IEEE, p. 59-64 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  17. Automatic discovery and exploitation of promising subproblems for tabulation

    Akgun, O., Gent, I. P., Jefferson, C. A., Miguel, I. J., Nightingale, P. W. & Salamon, A. Z., 27 Aug 2018, Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings. Hooker, J. (ed.). Netherlands: Springer, p. 3-12 10 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  18. Metamorphic testing of constraint solvers

    Akgun, O., Gent, I. P., Jefferson, C. A., Miguel, I. J. & Nightingale, P. W., 23 Aug 2018, Principles and Practice of Constraint Programming: 24th International Conference, CP 2018, Lille, France, August 27-31, 2018, Proceedings. Hooker, J. (ed.). Netherlands: Springer, p. 727-736 10 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  19. The Visual Inheritance Structure to Support the Design of Visual Notations

    Selviandro, N., Kelly, T. & Hawkins, R. D., 17 Aug 2018, (Accepted/In press) Third International Workshop on Human Factors in Modeling (HuFaMo’18). 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  20. Why Game Designers Should Study Magic

    Kumari, S., Deterding, C. S. & Kuhn, G., 7 Aug 2018, Proceedings of the 13th International Conference on the Foundations of Digital Games, FDG 2018. Deterding, S., Khandaker, M., Risi, S., Font, J., Dahlskog, S., Salge, C. & Olsson, C. M. (eds.). New York, NY: ACM Press, 30

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  21. AirTight: A Resilient Wireless Communication Protocol for Mixed-Criticality Systems

    Burns, A., Harbin, J. R., Soares Indrusiak, L., Bate, I. J., Davis, R. I. & Griffin, D. J., 1 Aug 2018, IEEE Embedded and Real-Time Computing Systems and Applications: RTCSA. 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  22. Intrinsic Elicitation: A Model and Design Approach for Games Collecting Human Subject Data

    Gundry, D. E. & Deterding, C. S., 1 Aug 2018, Proceedings of the 13th International Conference on the Foundations of Digital Games, FDG 2018. Deterding, S., Khandaker, M., Risi, S., Font, J., Dahlskog, S., Salge, C. & Olsson, C. M. (eds.). New York: ACM, 38

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  23. Indifferentiable Authenticated Encryption

    Barbosa, M. & Farshim, P., 25 Jul 2018, Advances in Cryptology – CRYPTO 2018. Vol. 10991. p. 187-220 24 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  24. Towards a Hierarchical-Control Architecture for Distributed Autonomous Systems

    Calinescu, R. C. & Yonbawi, S. R., 18 Jul 2018, Workshop on Verification and Validation of Autonomous Systems.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  25. A framework for constraint based local search using ESSENCE

    Akgun, O., Attieh, S. W. A., Gent, I. P., Jefferson, C. A., Miguel, I. J., Nightingale, P. W., Salamon, A. Z., Spracklen, P. & Wetter, J. P., 13 Jul 2018, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 1242-1248 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  26. Complexity of n-Queens completion (extended abstract)

    Gent, I. P., Jefferson, C. A. & Nightingale, P. W., 13 Jul 2018, Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence. Lang, J. (ed.). International Joint Conferences on Artificial Intelligence, p. 5608-5611 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  27. Ageism and sexism amongst young computer scientists

    Petrie, H., 11 Jul 2018, Computers Helping people with Special Needs: Proceedings of 16th International Conference, ICCHP 2018. Miesenberger, K. & Kouroupetroglou, G. (eds.). Cham, Switerland: Springer, Vol. LNCS 10897. p. 421-425 4 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  28. Assistive technology abandonment: research realities and potentials

    Petrie, H., Carmien, S. & Lewis, A. W., 11 Jul 2018, Proceedings of the 16th International Conference on Computers Helping People with Special Needs (ICCHP 2018). LNCS 10897.. Cham, Switzerland: Springer

    Research output: Chapter in Book/Report/Conference proceedingChapter

  29. AdaptMC: A Control-Theoretic Approach for Achieving Resilience in Mixed-Criticality Systems

    Papadopoulos, A., Bini, E., Baruah, S. & Burns, A., 4 Jul 2018, Proceeding ECRTS Conference. Altmeyer, S. (ed.). Dagstuhl: LIPICS, p. 14:1-14:22 22 p. 14

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  30. Dependent input sampling strategies: using metaheuristics for generating parameterised random sampling regimes

    Srivisut, K., Clark, J. A. & Paige, R. F., 2 Jul 2018, GECCO 2018 - Proceedings of the 2018 Genetic and Evolutionary Computation Conference. Association for Computing Machinery, Inc, p. 1451-1458 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  31. Narrative Bytes: Data-Driven Content Production in Esports

    Block, F. O., Hodge, V. J., Hobson, S. J., Sephton, N., Devlin, S. M., Ursu, M., Cowling, P. I. & Drachen, A., 25 Jun 2018, TVX 2018 - Proceedings of the 2018 ACM International Conference on Interactive Experiences for TV and Online Video. New York, NY: ACM Press, p. 29-41 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  32. Parallel model validation with epsilon

    Madani, S., Kolovos, D. S. & Paige, R. F., 25 Jun 2018, Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Proceedings. Springer-Verlag, Vol. 10890 LNCS. p. 115-131 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10890 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  33. Towards automatic generation of UML profile graphical editors for papyrus

    Zolotas, A., Wei, R., Gerasimou, S., Hoyos Rodriguez, H., Kolovos, D. S. & Paige, R. F., 25 Jun 2018, Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Proceedings. Springer-Verlag, Vol. 10890 LNCS. p. 12-27 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10890 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  34. Probabilistic Graph Programs for Randomised and Evolutionary Algorithms

    Atkinson, T., Plump, D. & Stepney, S., 19 Jun 2018, Proceedings 11th International Conference on Graph Transformation (ICGT 2018). Lambers, L. & Weber, J. (eds.). Springer, 15 p. (Lecture Notes in Computer Science; vol. 10887).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  35. Developing and Using a Geometric Multigrid, Unstructured Grid Mini-Application to Assess Many-Core Architectures

    Owenson, A., Wright, S., Bunt, R., Jarvis, S., Ho, Y. & Street, M., 6 Jun 2018, Proceedings - 26th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, PDP 2018. Institute of Electrical and Electronics Engineers Inc., p. 68-76 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  36. On software modernisation due to library obsolescence

    Gerasimou, S., Kechagia, M., Kolovos, D., Paige, R. & Gousios, G., 2 Jun 2018, Proceedings - 2018 ACM/IEEE 2nd International Workshop on API Usage and Evolution, WAPI 2018. IEEE Computer Society Press, Vol. Part F138314. p. 6-9 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  37. Towards a framework for writing executable natural language rules

    Barmpis, K., Kolovos, D. & Hingorani, J., 29 May 2018, Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Proceedings. Springer-Verlag, Vol. 10890 LNCS. p. 251-263 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10890 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  38. Towards efficient loading of change-based models

    Yohannis, A., Rodriguez, H. H., Polack, F. & Kolovos, D., 29 May 2018, Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Proceedings. Springer-Verlag, Vol. 10890 LNCS. p. 235-250 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10890 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  39. Restmule: Enabling resilient clients for remote APIs

    Sanchez, B. A., Barmpis, K., Neubauer, P., Paige, R. F. & Kolovos, D. S., 28 May 2018, Proceedings - 2018 ACM/IEEE 15th International Conference on Mining Software Repositories, MSR 2018. IEEE Computer Society Press, p. 537-541 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  40. Abstraction/Representation Theory and the Natural Science of Computation

    Horsman, D., Kendon, V. & Stepney, S., 17 May 2018, Physical Perspectives on Computation, Computational Perspectives on Physics. Cuffaro, M. E. & Fletcher, S. C. (eds.). CAMBRIDGE UNIV PRESS, p. 127-149

    Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)

  41. A Data-augmented 3D Morphable Model of the Ear

    Dai, H., Pears, N. E. & Smith, W. A. P., 15 May 2018, The 13th IEEE International Conference on AUTOMATIC FACE AND GESTURE RECOGNITION (FG 2018) . IEEE, 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  42. Symmetric Shape Morphing for 3D Face and Head Modelling

    Dai, H., Pears, N. E., Smith, W. A. P. & Duncan, C., 15 May 2018, The 13th IEEE Conference on Automatic Face and Gesture Recognition. IEEE, 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  43. YORwalK: Desiging a Smartphone Exercise Application for People with Intermittent Claudication

    Shalan, A., Abdulrahman, A., Habli, I., Tew, G. & Thompson, A., 25 Apr 2018, Studies in health technology and informatics . Vol. 247. p. 311-315 5 p. (Studies in Health Technology and Informatics).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  44. Learning from Ordinal Data with Inductive Logic Programming in Description Logic

    Qomariyah, N. N. & Kazakov, D. L., 29 Mar 2018, Late Breaking Papers of the 27th International Conference on Inductive Logic Programming. Lachiche, N. & Vrain, C. (eds.). http://ceur-ws.org/Vol-2085/: CEUR Workshop Proceedings, Vol. 2085. p. 38-50 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  45. Engineering bidirectional transformations

    Paige, R. F., 28 Mar 2018, Bidirectional Transformations: International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures. Gibbons, J. & Stevens, P. (eds.). Springer-Verlag, Vol. 9715 LNCS. p. 151-187 37 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9715 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  46. Correlated Input Strategies: Using Metaheuristics for Generating Parameterised Random Sampling Regimes

    Srivisut, K., Paige, R. F. & Clark, J. A., 25 Mar 2018, (Accepted/In press) Proceedings of the Genetic and Evolutionary Computation Conference (GECCO) 2018. ACM, 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  47. Analysis of the use of genetic algorithms for indoor localisation via cloud point matching

    Boland, M. & Soares Indrusiak, L., 24 Mar 2018, (Accepted/In press) Proceedings of the Genetic and Evolutionary Computation Conference. 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  48. Value-Based Manufacturing Optimisation in Serverless Clouds for Industry 4.0

    Dziurzanski, P., Swan, J. & Soares Indrusiak, L., 24 Mar 2018, (Accepted/In press) Proceedings of the Genetic and Evolutionary Computation Conference.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  49. Bragg Diffraction Patterns as Graph Characteristics

    Escolano, F. & Hancock, E. R., 22 Mar 2018, Eleventh International Conference on Energy Minimisation Methods in Computer Vision and Pattern Recognition. Springer Nature , Vol. 10746. p. 59-72 13 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  50. Value-Based Allocation of Docker Containers

    Dziurzanski, P., 21 Mar 2018, 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP). IEEE, p. 358-362

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  51. Social Aspects of the Game Development Process in the Global Gam Jam

    Pirker, J., Lesjak, I., Punz, A. & Drachen, A., 18 Mar 2018, ICGJ 2018 Proceedings of the International Conference on Game Jams, Hackathons, and Game Creation Events. New York: New York, NY: ACM Press, p. 9-16 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  52. Evolving Graphs by Graph Programming

    Atkinson, T., Plump, D. & Stepney, S., 2 Mar 2018, Proceedings 21st European Conference on Genetic Programming (EuroGP 2018). Springer, 16 p. (Lecture Notes in Computer Science; vol. 10781).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  53. Buffer-aware bounds to multi-point progressive blocking in priority-preemptive NoCs

    Soares Indrusiak, L., Burns, A. & Nikolic, B., Mar 2018, Proceedings of the 2018 Design, Automation & Test in Europe Conference (DATE). p. 219-224

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  54. eSport vs irlSport

    McCutcheon, C., Hitchens, M. & Drachen, A., 21 Feb 2018, Advances in Computer Entertainment Technology: 14th International Conference, ACE 2017, London, UK, December 14-16, 2017, Proceedings. Vol. 10714. p. 531-542 12 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  55. From premature semantics to mature interaction programming

    Cairns, P. A. & Thimbleby, H., Feb 2018, Computational Interaction. Howes, A. (ed.). Oxford: Oxford University Press, p. 213-248

    Research output: Chapter in Book/Report/Conference proceedingChapter

  56. Extrapolate: generalizing counterexamples of functional test properties

    Braquehais, R. & Runciman, C., 31 Jan 2018, (Accepted/In press) IFL 2017: 29th Symposium on the Implementation and Application of Functional Programming Languages. New York: ASSOC COMPUTING MACHINERY, 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  57. Controlling the Crucible: A Novel PvP Recommender Systems Framework for Destiny

    Sifa, R., Zhai, K., Pawlakos, E., Jha, R., Narayanan, S., Klabjan, D. & Drachen, A., 29 Jan 2018, Proceedings of Australian Computer Science Week, Interactive Entertainment. Association for Computing Machinery (ACM)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  58. Learning implicational models of universal grammar parameters

    Kazakov, D. L., Cordoni, G., Algahtani, E., Ceolin, A., Irimia, M-A., Kim, S-S., Michelioudakis, D., Radkevich, N., Guardiano, C. & Longobardi, G., 29 Jan 2018, The Evolution of Language: Proceedings of the 12th International Conference (EVOLANGXII). Cuskley, C., Flaherty, M., Little, H., McCrohon, L., Ravignani, A. & Verhoef, T. (eds.). Torun, Poland: Online at http://evolang.org/torun/proceedings/papertemplate.html?p=176, 10 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  59. To Be or Not to Be … Social: Incorporating Simple Social Features in Mobile Game Customer Lifetime Value Predictions

    Drachen, A., Pastor, J. M. S., Fontaine, D. J., Liu, A., Chang, C., Chang, Y., Sifa, R., Runge, J. & Klabjan, D., 28 Jan 2018, Proceedings of Australian Computer Science Week, Interactive Entertainment. Association for Computing Machinery (ACM)

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  60. Signal selection in a complex environmental distributed sensing problem

    Makrai, G. & Bate, I., 26 Jan 2018, Proceedings of the 13th International Conference on Distributed Computing in Sensor Systems, DCOSS 2017. Institute of Electrical and Electronics Engineers Inc., p. 155-162 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  61. Checking Graph Programs for Confluence

    Plump, D. & Hristakiev, I., 23 Jan 2018, Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Revised Selected Papers. Seidl, M. & Zschaler, S. (eds.). Springer, p. 92-108 16 p. (Lecture Notes in Computer Science; vol. 10748).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  62. Cheap Remarks about Concurrent Programs

    Walker, M. & Runciman, C., 22 Jan 2018, (Accepted/In press) Proceedings of 14th International Symposium on Functional and Logic Programming. Springer, 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  63. Features of integrated model-based co-modelling and co-simulation technology

    Larsen, P. G., Fitzgerald, J., Woodcock, J., Gamble, C., Payne, R. & Pierce, K., 1 Jan 2018, Software Engineering and Formal Methods - SEFM 2017 Collocated Workshops: DataMod, FAACS, MSE, CoSim-CPS, and FOCLASA, Revised Selected Papers. Cerone, A. & Roveri, M. (eds.). Springer Verlag, p. 377-390 14 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10729 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  64. 3D Steganalysis Using LaplacianSmoothing at Various Levels

    Li, Z., Liu, F. & Bors, A. G., 2018, Proc. International Conference on Cloud Computing and Security (ICCCS). Springer, Vol. 11068. p. 223-232 (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  65. 3D Steganalysis Using the Extended Local Feature Set

    Li, Z., Gong, D., Liu, F. & Bors, A. G., 2018, Proc. of IEEE International Conference on Image Processing. IEEE, p. 1683-1687 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  66. GPU-Accelerated Hypothesis Cover Set Testing for Learning in Logic

    Algahtani, E. & Kazakov, D. L., 2018, CEUR Proceedings of the 28th International Conference on Inductive Logic Programming. CEUR Workshop Proceedings

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  67. Impact of Memory Frequency Scaling on User-centric Smartphone Workloads

    Mendis, H. R., Chen, W-M., Soares Indrusiak, L., Kuo, T-W. & Hsiu, P-C., 2018, Proceedings of the 33rd ACM/SIGAPP Symposium on Applied Computing (SAC 2018).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  68. Memory-Aware Genetic Algorithms for Task Mapping on Hard Real-Time Networks-on-Chip

    Still, L. R. & Soares Indrusiak, L., 2018, 26th Euromicro International Conference on Parallel, Distributed and Network-based Processing (PDP).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  69. Metaheuristic Design Patterns: New Perspectives for Larger-Scale Search Architectures

    Krawiec, K., Simons, C., Swan, J. & R. Woodward, J., 2018, Handbook of Research on Emergent Applications of Optimization Algorithms. Vasant, P., Alparslan-Gok, S. Z. & Weber, G-W. (eds.). Hershey, PA, USA: IGI Global, p. 1-36 36 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  70. Predicting skill learning outcomes in a large, longitudinal MOBA dataset

    Aung, M. T., Bonometti, V., Drachen, A., Cowling, P. I., Kokkinakis, A. V., Yoder, C. & Wade, A. R. P., 2018, Proceedings of the IEEE Computational Intelligence in Games. IEEE, 50

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  71. Towards Multi-Objective Optimisation of Hadoop 2.x Application Deployment on Public Clouds

    Alasmari, N. N. M. & Calinescu, R. C., 2018, Proceedings of the 6th International Conference on Enterprise Systems.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  72. Variability Management in Safety-Critical Software Product Line Engineering

    De Oliveira, A. L., Braga, R. T. V., Masiero, P. C., Papadopoulos, Y., Habli, I. & Kelly, T. P., 2018, International Conference on Software Reuse.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution