Search research publications and outputs

  1. 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

  2. 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

  3. 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

  4. 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

  5. A New Look at the Refund Mechanism in the Bitcoin Payment Protocol

    Avizheh, S., Safavi-Naini, R. & Shahandashti, S. F., Dec 2018, p. 369-387. 19 p.

    Research output: Contribution to conferencePaperpeer-review

  6. A Secure Scheme for Group Communication of Wireless IoT Devices

    Alohali, B., Vasilakis, V., Moscholios, I. & Logothetis, M., 27 Sep 2018. 6 p.

    Research output: Contribution to conferencePaperpeer-review

  7. A Substrate-Independent Framework to Characterise Reservoir Computers

    Dale, M., Miller, J. F., Stepney, S. & Trefzer, M. A., 16 Oct 2018, arXiv, 19 p.

    Research output: Working paperPreprint

  8. 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

  9. A review of literature on parallel constraint solving

    Gent, I. P., McCreesh, C., Miguel, I. J., Moore, N., Nightingale, P. W., Prosser, P. & Unsworth, C., Sep 2018

    Article in Theory and Practice of Logic Programming

  10. 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)peer-review

  11. Achieving Performance Balance for Dual-Criticality System Based on ARM TrustZone

    Dong, P., Burns, A., Jiang, Z. & Ding, Y., Jul 2018. 7 p.

    Research output: Contribution to conferencePaperpeer-review

  12. 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

  13. Adaptive Hash Retrieval with Kernel Based Similarity

    Xiao, B., Yan, C., Yang, H., Lu, B., Zhou, J. & Hancock, E. R., Mar 2018

    Article in Pattern Recognition

  14. 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

  15. 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

  16. An Evaluation of Classification and Outlier Detection Algorithms

    Hodge, V. J. & Austin, J., 2 May 2018, 4 p.

    Research output: Working paperPreprint

  17. An analytical framework in LEO mobile satellite systems servicing batched Poisson traffic

    Moscholios, I., Vasilakis, V., Sarigiannidis, P., Sagias, N. & Logothetis, M., 5 Jan 2018

    Article in Iet communications

  18. An extensible framework for multicore response time analysis

    Davis, R. I., Altmeyer, S., Soares Indrusiak, L., Maiza, C., Nelis, V. & Reineke, J., 1 Jul 2018

    Article in Real-Time Systems

  19. Analyzing Player Networks in Destiny

    Pirker, J., Rattinger, A., Drachen, A. & Sifa, R., Mar 2018

    Article in Entertainment Computing

  20. 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

  21. 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

  22. 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

  23. BookLeaf: An Unstructured Hydrodynamics Mini-application

    Truby, D., Wright, S. A., Kevis, R., Maheswaran, S., Herdman, A. & Jarvis, S. A., 10 Sep 2018. 8 p.

    Research output: Contribution to conferencePaperpeer-review

  24. 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

  25. Cache-aware task scheduling for maximizing control performance

    Chang, W., Roy, D., Hu, S. & Chakraborty, S., 23 Mar 2018, 2018 Design, Automation and Test in Europe Conference and Exhibition (DATE). p. 694-699

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

  26. 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

  27. 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

  28. 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

  29. 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

  30. 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

  31. Decoupling Criticality and Importance in Mixed-Criticality Scheduling

    Bletsas, K., Awan, M. A., Souto, P. F., Akesson, B., Burns, A. & Tovar, E., Dec 2018, p. 25-32. 6 p.

    Research output: Contribution to conferenceOtherpeer-review

  32. Deep Learning and Word Embeddings for Tweet Classification for Crisis Response

    O'Keefe, S. E. M. & Alrashdi, R. M. M., 8 Oct 2018. 5 p.

    Research output: Contribution to conferencePaperpeer-review

  33. 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

  34. 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

  35. EMP control and characterization on high-power laser systems

    Bradford, P., Woolsey, N. C., Scott, G. G., Liao, G., Liu, H., Zhang, Y., Zhu, B., Armstrong, C., Astbury, S., Brenner, C., Brummitt, P., Consoli, F., East, I., Gray, R., Haddock, D., Huggard, P., Jones, P. J. R., Montgomery, E., Musgrave, I., Oliveira, P. & 8 others, Rusby, D. R., Spindloe, C., Summers, B., Zemaityte, E., Zhang, Z., Li, Y., McKenna, P. & Neely, D., 21 May 2018

    Article in High Power Laser Science and Engineering

  36. Errata for three papers (2004-05) on fixed-priority scheduling with self-suspensions

    Audsley, N. C., Bletsas, K., Nelissen, G., Chen, J-J., Nelissen, G. & Huang, W-H. K., 1 Oct 2018.

    Research output: Contribution to conferencePaperpeer-review

Previous 1 2 3 Next