Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

Advanced search options

Reset

to
1 - 50 out of 163Page size: 50
  1. 2022

  2. 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 proceeding › Conference contribution

  3. Noiseless linear amplification in quantum target detection using Gaussian states

    Karsa, A., Ghalaii, M. & Pirandola, S., 13 Jun 2022, (Accepted/In press)

    Article in Quantum Science and Technology

  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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference 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 proceeding › Conference contribution

  8. Using a Serious Game as an Elicitation Tool in Interview Research: Reflections on Methodology

    Jackson, J. & Iacovides, J., 13 May 2022, (Accepted/In press)

    Article in Games for Health

  9. Information Bottleneck and Selective Noise Supervision for Zero-Shot Learning

    Zhou, L., Liu, Y., Pencheng, Z., Xiao, B., Yazhou, Y., Zhou, J., Lin, G., Harada, T. & Hancock, E. R., 9 May 2022, (Accepted/In press)

    Article in Machine Learning

  10. A Framework for Generating Informative Benchmark Instances

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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

    Ulrich-Oltean, F., Nightingale, P. & Walker, J. A., 29 Apr 2022, (Accepted/In press) 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). LIPICS, Vol. 235.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  12. 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 proceeding › Conference contribution

  13. An Approach to Formally Specifying the Behaviour of Mixed-Criticality Systems

    Burns, A. & Jones, C., 5 Jul 2022, Proceedings, 34th Euromicro Conference on Real-Time Systems (ECRTS 2022). ACM, 23 p. 12

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  14. Applications of 3D Photography in Craniofacial Surgery

    Duncan, C., Pears, N. E., Dai, H., Smith, W. A. P. & O'Higgins, P., 4 Apr 2022, (Accepted/In press)

    Article in Journal of Paediatric Neurosciences

  15. Autohighlight: Highlight Detection in League of Legends Esports Broadcasts via Crowd-Sourced Data

    Ringer, C., Nicolaou, M. & Walker, J. A., 1 Apr 2022, (Accepted/In press)

    Article in Machine Learning with Applications

  16. 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 proceeding › Conference contribution

  17. Lightweight and efficient neural network with SPSA attention for wheat ear detection

    Dong, Y., Liu, Y., Kang, H., Li, C., Liu, P. & Liu, Z., Mar 2022, (Accepted/In press)

    Article in PeerJ Computer Science

  18. 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 proceeding › Conference contribution

  19. 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 proceeding › Chapter

  20. 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 proceeding › Conference contribution

  21. 2021

  22. 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 proceeding › Conference contribution

  23. Learning Aligned Vertex Convolutional Networks for Graph Classification

    Cui, L., Bai, L., Xiao, B., Wang, Y. & Hancock, E. R., 16 Nov 2021, (Accepted/In press)

    Article in IEEE Transactions on Neural Networks and Learning Systems

  24. 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 proceeding › Conference contribution

  25. 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 proceeding › Conference contribution

  26. 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 proceeding › Conference contribution

  27. 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 proceeding › Conference contribution

  28. 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 proceeding › Conference contribution

  29. 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 proceeding › Conference contribution

  30. 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 proceeding › Conference contribution

  31. Kinship Dynamics: Patterns and Consequences of Changes in Local Relatedness

    Croft, D. P., Weiss, M. N., Nielsen, M. L. K., Grimes, C., Cant, M. A., Ellis, S., Franks, D. W. & Johnstone, R. A., 26 Jul 2021, (Accepted/In press)

    Article in Proceedings of the Royal Society B

  32. Service humanoid robotics: a novel interactive system based on bionic-companionship framework

    Yang, J., Chew, E. & Liu, P., 25 Jul 2021, (Accepted/In press)

    Article in PeerJ Computer Science

  33. 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 proceeding › Conference contribution

  34. 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 proceeding › Conference contribution

  35. 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 proceeding › Conference contribution

  36. Neither Grasshopper nor Ant: learning from coding for fun and from gaming [WIP]

    Iacovides, J. & Green, TRG., 10 Jun 2021, (Accepted/In press) Proceedings of the 32nd Psychology of Programming Interest Group. ACM

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  37. Robot motion planning benchmarking and optimization through motion planning pipeline

    Liu, S. & Liu, P., 2 Jun 2021, (Accepted/In press) The 17th IEEE International Conference on Automation Science and Engineering (CASE 2021). IEEE

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  38. Probabilistic Program Performance Analysis

    Stephanakos, I., Calinescu, R. & Gerasimou, S., 1 Jun 2021, (Accepted/In press) EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2021).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  39. Safety cases for digital health innovations: can they work?

    Sujan, M. & Habli, I., 20 May 2021, (Accepted/In press)

    Article in BMJ Quality & Safety

  40. Uncalibrated, Two Source Photo-Polarimetric Stereo

    Tozza, S., Zhu, D., Smith, W. A. P., Ramamoorthi, R. & Hancock, E. R., 3 May 2021, (Accepted/In press)

    Article in IEEE Transactions on Pattern Analysis and Machine Intelligence

  41. Quality Evolvability ES: Evolving Individuals With a Distribution of Well Performing and Diverse Offspring

    Katona, A., Franks, D. W. & Walker, J. A., 26 Apr 2021, (Accepted/In press) ALIFE 2021: Conference on Artificial Life.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  42. Schedulability Analysis for Multi-core Systems Accounting for Resource Stress and Sensitivity

    Davis, R. I., Griffin, D. J. & Bate, I. J., 6 Apr 2021, (Accepted/In press) 33rd Euromicro Conference on Real-Time Systems 2021 (proceedings). Association for Computing Machinery (ACM), p. 7:1-7:26 26 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  43. Accept All: The Landscape of Cookie Banners in Greece and the UK

    Kampanos, G. & Shahandashti, S. F., 22 Mar 2021, (Accepted/In press) International Conference on ICT Systems Security and Privacy Protection, Proceedings. Springer, Vol. 625. p. 213 227 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  44. Brief Industry Paper: Digital Twin for Dependable Multi-Core Real-Time Systems --- Requirements and Open Challenges

    Dai, X., Zhao, S., Bate, I. J., Burns, A., Guo, X. & Chang, W., 16 Mar 2021, (Accepted/In press) IEEE Real-Time and Embedded Technology and Applications Symposium.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  45. Maintaining driver attentiveness in shared-control autonomous driving

    Calinescu, R., Alasmari, N. & Gleirscher, M., 12 Mar 2021, (Accepted/In press) Software Engineering for Adaptive and Self-Managing Systems. IEEE, (IEEE Conference Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  46. Assuring the Machine Learning Lifecycle: Desiderata, Methods, and Challenges

    Paterson, C., Calinescu, R. & Ashmore, R., 5 Mar 2021, (Accepted/In press)

    Article in ACM Computing Surveys

  47. AI Explainability: The Technical and Ethical Dimensions

    McDermid, J. A., Jia, Y., Porter, Z. & Habli, I., 1 Mar 2021, (Accepted/In press)

    Article in Philosophical Transactions: Mathematical, Physical and Engineering Sciences

  48. Active Triggering of Pneumatic Rehabilitation Gloves Based on Surface Electromyography Sensors

    Feng, Y., Zhong, M., Wang, X., Lu, H., Wang, H., Liu, P. & Vladareanu, L., 27 Feb 2021, (Accepted/In press)

    Article in PeerJ Computer Science

  49. Are You Open? A Content Analysis of Transparency and Openness Guidelines in HCI Journals

    Ballou, N., Warriar, V. R. & Deterding, C. S., 21 Jan 2021, (Accepted/In press) CHI Conference on Human Factors in Computing Systems (CHI ’21),. Association for Computing Machinery (ACM)

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  50. Utilizing the Untapped Potential of Indirect Encoding for Neural Networks with MetaLearning

    Katona, A., Lourenco, N., Machado, P., Franks, D. W. & Walker, J. A., 20 Jan 2021, (Accepted/In press).

    Research output: Contribution to conference › Paper › peer-review

  51. Towards an Analysable, Scalable, Energy-Efficient I/O Virtualization for Mixed-Criticality Systems

    Jiang, Z., Dai, X., Dong, P., Wei, R., Yang, D., Audsley, N. & Guan, N., 2021, (Accepted/In press)

    Article in IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

  52. 2020

  53. Channel Estimation for MmWave Massive MIMO with Hybrid Precoding Based on Log-Sum Sparse Constraints

    Zhang, A., Cao, W., Liu, P., Sun, J. & Li, J., 24 Nov 2020, (Accepted/In press)

    Article in IEEE Transactions on Circuits and Systems II: Express Briefs

Previous 1 2 3 4 Next