Search research publications and outputs

  1. 2022
  2. Where to Focus: Investigating Hierarchical Attention Relationship for Fine-Grained Visual Classification

    Liu, Y., Zhou, L., Zhang, P., Xiao, B., Gu, L., Yu, X., Zhou, J. & Hancock, E. R., 4 Jul 2022, (Accepted/In press) Proceedings ECCV 2022. Springer-Verlag, 17 p.

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

  3. Formally Verified Animation for RoboChart using Interaction Trees

    Ye, K., Foster, S. & Woodcock, J., 27 Jun 2022, (Accepted/In press) The 23rd International Conference on Formal Engineering Methods. Springer Science and Business Media Deutschland GmbH

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

  4. Mitigating Risk in Neural Network Classifiers

    Alpizar Santana, M., Calinescu, R. & Paterson, C., 30 Aug 2022, 48th Euromicro Conference Series on Software Engineering and Advanced Applications (SEAA) . IEEE, 4 p.

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

  5. Online security attack experience and worries of young adults in the United Kingdom

    Aldaraani, N., Petrie, H. & Shahandashti, S. F., 25 May 2022, (Accepted/In press) 2022 IFIP International Symposium on Human Aspects of Information Security & Assurance. Springer

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

  6. Imitating Playstyle with Dynamic Time Warping Imitation

    Ferguson, M., Devlin, S., Kudenko, D. & Walker, J. A., 21 May 2022, (Accepted/In press) The 17th International Conference on the Foundations of Digital Games (FDG) 2022. ACM

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

  7. A Hierarchical Transitive-Aligned Graph Kernel for Un-attributed Graphs

    Cui, L., Bai, L. & Hancock, E. R., 15 May 2022, (Accepted/In press) Proceedings ICML 2022, Baltimore, USA.. 9 p. (Proceedings of Machine Learning Research).

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

  8. ML-Based Detection of Blackhole and Rank Attacks in RPL Networks

    Ioulianou, P., Vasilakis, V. & Shahandashti, S. F., 5 May 2022, (Accepted/In press) International Symposium on Communications Systems, Networks and Digital Signal Processing: Proceedings. IEEE Press, 6 p.

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

  9. A Framework for Generating Informative Benchmark Instances

    Dang, N., Akgün, Ö., Espasa, J., Miguel, I. & Nightingale, P., 31 Jul 2022, 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). LIPICS, Vol. 235.

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

  10. Selecting SAT Encodings for Pseudo-Boolean and Linear Integer Constraints

    Ulrich-Oltean, F., Nightingale, P. & Walker, J. A., 31 Jul 2022, 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). LIPICS, Vol. 235.

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

  11. Providing Assurance That Risks Associated with Electromagnetic Disturbances Are Sufficiently Managed

    Tishehzan, M., Dawson, J. F., Nicholson, M. & Pissoort, D., 25 Apr 2022, (Accepted/In press) 2022 International Symposium on Electromagnetic Compatibility - EMC EUROPE. 5 p.

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

  12. PRESTO: Predicting System-level Disruptions through Parametric Model Checking

    Fang, X., Calinescu, R., Paterson, C. & Wilson, J. C., 10 Mar 2022, (Accepted/In press) 17th International Symposium on Software Engineering for Adaptive and Self-Managing Systems.

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

  13. Revisiting Domain Generalized Stereo Matching Networks from a Feature Consistency Perspective

    Zhang, J., Wang, X., Xiao, B., Wang, C., Huang, L., Cheng, Y., Gu, L., Zhou, J., Harada, T. & Hancock, E. R., 20 Feb 2022, (Accepted/In press) Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR), 2022.. 10 p.

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

  14. Sensors and Data in Mobile Robotics for Localisation

    Hodge, V. J., 14 Feb 2022, (Accepted/In press) Encyclopedia of Data Science and Machine Learning. IGI Global

    Research output: Chapter in Book/Report/Conference proceedingChapter

  15. Do People Use Games to Compensate for Psychological Needs During Crises? A Mixed-Methods Study of Gaming During COVID-19 Lockdowns

    Ballou, N., Deterding, C. S., Iacovides, J. & Helsby, L., 11 Feb 2022, (Accepted/In press) CHI Conference on Human Factors in Computing Systems (CHI ’22). ACM, 15 p.

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

  16. 2021
  17. Self-Determination Theory in HCI: Shaping a Research Agenda

    Ballou, N., Deterding, C. S., Calvo, R., Peters, D., Tyack, A., Mekler, E. D., Villalobos Zúñiga, G. & Türkay, S., 1 Dec 2021, (Accepted/In press) CHI ’22 Extended Abstracts. Association for Computing Machinery (ACM)

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

  18. Heterogeneous Model Query Optimisation

    Ali, Q. U. A., 12 Oct 2021, (Accepted/In press) MODELS 2021: Model-Driven Engineering Languages and Systems, proceedings. IEEE

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

  19. Simulation, Design and Control of a Soft Robotic Arm with Integrated Bending Sensing

    Wills, B. & Liu, P., 6 Oct 2021, (Accepted/In press) The 20th IEEE International Conference on Advanced Robotics (ICAR). IEEE

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

  20. Information Bottlenecked Variational Autoencoder for Disentangled 3D Facial Expression Modelling

    Sun, H., Pears, N. E. & Gu, Y., 4 Oct 2021, (Accepted/In press) Winter Conference on Applications in Computer Vision, Proceedings. IEEE

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

  21. Ontology Graph Embeddings and ILP for Financial Forecasting

    Erten, C. & Kazakov, D. L., 20 Sep 2021, (Accepted/In press) Inductive Logic Programming, Proceedings of the 30th International Conference. Springer, 14 p. (LNAI).

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

  22. Generation and Verification of Executable Assurance Case by Model-based Engineering

    Yan, F., 27 Aug 2021, (Accepted/In press) 2021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).

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

  23. Not Very Effective: Validity Issues of the Effectance in Games Scale

    Ballou, N., Breitsohl, H., Kao, D., Gerling, K. & Deterding, C. S., 25 Aug 2021, (Accepted/In press) xtended Abstracts of the 2021 Annual Symposium on Computer-Human Interaction in Play (CHI PLAY ’21),. Association for Computing Machinery, Inc, 6 p.

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

  24. Cryptanalysis of Semidirect Product Key Exchange Using Matrices Over Non-Commutative Rings

    Battarbee, C., Kahrobaei, D. & Shahandashti, S. F., 26 Jul 2021, (Accepted/In press) MathCrypt 2021.

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

  25. Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster Proofs

    Foster, S. D., Munive, J. H. Y., Struth, G. & Gleirscher, M., 16 Jul 2021, (Accepted/In press) 24th International Symposium on Formal Methods. 18 p.

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

  26. Model-Based Development of Engine Control Systems: Experiences and Lessons Learnt

    Cooper, J., De La Vega, A., Paige, R. F., Kolovos, D., Michael, B., Brown, C., Sanchez Pina, B. A. & Hoyos Rodriguez, H., 11 Jul 2021, (Accepted/In press) ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems.

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

  27. Detection and Mitigation of Rare Subclasses in Deep Neural Network Classifiers

    Paterson, C., Calinescu, R. & Picardi, C., 27 Jun 2021, (Accepted/In press) IEEE AI Test 2021 conference.

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

Previous 1 2 3 4 5 Next