Search research publications and outputs

  1. 2022
  2. A Hierarchical Transitive-Aligned Graph Kernel for Un-attributed Graphs

    Bai, L., Cui, L., Jiao, Y. & 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

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

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

  5. On Asymmetric Game for NOMA-ALOHA under Fading

    Choi, J. & Ko, Y., 4 Mar 2022, (Accepted/In press) IEEE Vehicular Technology Conference . IEEE Vehicular technology conference (VTC)

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

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

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

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

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

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

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

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

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

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

  16. System performance as a function of calibration methods, sample size and sampling variability in likelihood ratio-based forensic voice comparison

    Wang, X. & Hughes, V., 2 Jun 2021, (Accepted/In press) Proceedings of Interspeech 2021.

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

  17. 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 proceedingConference contribution

  18. A 1.3 GHz, High Voltage Mesoband Dipole Antenna for IEMI Testing

    Dawson, J. F., Rees, T., Petit, B., Hoad, R., Bale, S., Hough, M., Dawson, L., Robinson, M., Marvin, A., Will, I. & Porter, S., 4 May 2021, (Accepted/In press) Joint IEEE International Symposium on Electromagnetic Compatibility, Signal Power Integrity and EMC Europe. 1 p.

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

  19. A 150MHz, High Voltage Mesoband Dipole Antenna for IEMI Testing

    Bale, S., Hoad, R., Petit, B., Rees, T., Robinson, M., Hough, M., Porter, S., Dawson, L., Marvin, A., Dawson, J. F. & Will, I., 4 May 2021, (Accepted/In press) Joint IEEE International Symposium on Electromagnetic Compatibility, Signal Power Integrity and EMC Europe. 1 p.

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

  20. A Lightweight, Compact, High voltage Hyperband Antenna for IEMI Testing

    Dawson, J. F., Hoad, R., Petit, B., Rees, T., Robinson, M., Bale, S., Hough, M., Dawson, L., Marvin, A. & Will, I., 4 May 2021, (Accepted/In press) Joint IEEE International Symposium on Electromagnetic Compatibility, Signal Power Integrity and EMC Europe. 1 p.

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

  21. Analysis and Estimation of Electromagnetic Energy Coupled into IC packages

    Tang, H., Venkateshaiah, A. H., Dawson, J. F., Marvin, A., Robinson, M. & Ge, J., 4 May 2021, (Accepted/In press) Joint IEEE International Symposium on Electromagnetic Compatibility, Signal & Power Integrity and EMC Europe. 6 p.

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

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

  23. Equilibrium Analysis in Wireless Networks Walrasian Markets: A Distributed Approach

    Haghighatdoost, V., Khorsandi, S., Khan, Z. & Ahmadi, H., 13 Apr 2021, (Accepted/In press) European Conference on Networks and Communications, 2021, Proceedings . Institute of Electrical and Electronics Engineers Inc.

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

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

  25. Characterizing the Robustness of Wi-Fi and Bluetooth against CW EM Disturbances inside a Reverberation Chamber

    Ovechkin, A., Claeys, T., Vanoost, K., Dawson, J. F., Vandenbosch, K. & Pissoort, D., 5 Apr 2021, (Accepted/In press) Joint IEEE International Symposium on Electromagnetic Compatibility, Signal Power Integrity and EMC Europe. 7 p.

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

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

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

  28. Experimental Verification of Board Level Shielding Variability at Microwave Frequencies

    Marvin, A., Dawson, J. & Robinson, M., 9 Mar 2021, (Accepted/In press) Joint IEEE International Symposium on Electromagnetic Compatibility, Signal & Power Integrity and EMC Europe. 6 p.

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

  29. Overview of the P2716~WG - IEEE Guide for the Characterization of the shielding effectiveness of printed circuit board level shielding: What makes characterizing the SE of Board Levels Shields so challenging?

    Marvin, A. C. & Dawson, J. F., 15 Feb 2021, (Accepted/In press) Proceedings of the 2021 Joint IEEE International Symposium on Electromagnetic Compatibility, Signal \& Power Integrity and EMC Europe. IEEE, 17 p.

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

  30. Overview of the P2716~WG - IEEE Guide for the Characterization of the shielding effectiveness of printed circuit board level shielding: Single Reverb Room

    Dawson, J. F., Marvin, A. C. & She, B., 15 Feb 2021, (Accepted/In press) Proceedings of teh 2021 Joint IEEE International Symposium on Electromagnetic Compatibility, Signal \& Power Integrity and EMC Europe. IEEE, 24 p.

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

  31. 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 proceedingConference contribution

  32. 2020
  33. A Review of Motion Planning Algorithms for Robotic Arm Systems

    Liu, S. & Liu, P., 15 Nov 2020, (Accepted/In press) 8th International Conference on Robot Intelligence Technology and Applications (proceedings). IEEE

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

  34. Model-based and Model-Free Robot Control: A Review

    Zhang, B. & Liu, P., 15 Nov 2020, (Accepted/In press) 8th International Conference on Robot Intelligence Technology and Applications (proceedings). IEEE

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

  35. Service Humanoid Robotics: Review and Design of A Novel Bionic-Companionship Framework

    Yang, J., Chew, E. & Liu, P., 15 Nov 2020, (Accepted/In press) 8th International Conference on Robot Intelligence Technology and Applications (proceedings). IEEE

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

  36. Virtual Network Function Embedding under Nodal Outage using Reinforcement Learning

    Chetty, S. B., Ahmadi, H. & Nag, A., 9 Nov 2020, (Accepted/In press) IEEE International Conference on Advanced Networks and Telecommunications System. Institute of Electrical and Electronics Engineers Inc.

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

  37. Evolution of Diverse, Manufacturable Robot Body Plans

    Buchanan Berumen, E., Le Goff, L., Hart, E., Eiben, G., De Carlo, M., Li, W., Hale, M., Woolley, R., Winfield, A., Timmis, J. & Tyrrell, A., 18 Sep 2020, (Accepted/In press) 2020 IEEE Symposium Series on Computational Intelligence.

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

  38. Hardware Design for Autonomous Robot Evolution

    Hale, M., Buchanan Berumen, E., Li, W., Woolley, R., Le Goff, L., De Carlo, M., Timmis, J., Winfield, A., Hart, E., Eiben, G. & Tyrrell, A., 18 Sep 2020, (Accepted/In press) 2020 IEEE Symposium Series on Computational Intelligence.

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

  39. Reconstructing Creative Lego Models

    Tattersall, G., Zhu, D., Smith, W. A. P., Deterding, C. S. & Huber, P., 16 Sep 2020, (Accepted/In press) Computer Vision – ACCV 2020.

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

  40. A Real-Time CAN-CAN Gateway with Tight Latency Analysis and Targeted Priority Assignment

    Xie, G., Gong, H., Han, Y., Chakraborty, S. & Chang, W., 14 Sep 2020, (Accepted/In press) IEEE Real-Time Systems Symposium (RTSS).

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

  41. Towards Formal Verification of Control Algorithms for Autonomous Marine Vehicles

    Foster, S. D., Gleirscher, M. & Calinescu, R., 2 Aug 2020, (Accepted/In press) Proceeding of the 25th International Conference on Engineering of Complex Computer Systems (ICECCS 2020). IEEE, 6 p.

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

  42. TwitchChat: A Dataset for Exploring Livestream Chat

    Ringer, C., Nicolaou, M. & Walker, J. A., 23 Jul 2020, (Accepted/In press) THE 16TH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE AND INTERACTIVE DIGITAL ENTERTAINMENT (AIIDE). AAAI Press

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

  43. Fixed-Priority Scheduling and Controller Co-Design for Time-Sensitive Networks

    Dai, X., Zhao, S., Jiang, Y., Jiao, X., Hu, S. & Chang, W., 17 Jul 2020, (Accepted/In press) IEEE/ACM International Conference on Computer-Aided Design (ICCAD 2020).

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

  44. Efficient Generation of Graphical Model Views via Lazy Model-to-Text Transformation

    Kolovos, D., De La Vega, A. & Cooper, J., 13 Jul 2020, (Accepted/In press) ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20).

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

  45. "Look Ma, no landmarks!" - Unsupervised, model-based dense face alignment

    Koizumi, T. & Smith, W. A. P., 2 Jul 2020, (Accepted/In press) 16th European Conference on Computer Vision (ECCV 2020) Proceedings. Springer-Verlag, (LNCS).

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

  46. Least squares surface reconstruction on arbitrary domains

    Zhu, D. & Smith, W. A. P., 2 Jul 2020, (Accepted/In press) 16th European Conference on Computer Vision (ECCV 2020) Proceedings. Springer-Verlag, (Lecture Notes in Computer Science).

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

  47. Self-supervised Outdoor Scene Relighting

    Yu, Y., Meka, A., Elgharib, M., Seidel, H-P., Theobalt, C. & Smith, W. A. P., 2 Jul 2020, (Accepted/In press) 16th European Conference on Computer Vision (ECCV 2020) Proceedings. Springer-Verlag, (Lecture Notes in Computer Science).

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

  48. Automatic Similarity Detection in LEGO Ducks

    Ferguson, M., Deterding, C. S., Lieberoth, A., Malmdorf Andersen, M., Devlin, S., Kudenko, D. & Walker, J. A., 30 Jun 2020, (Accepted/In press) ICCC'20: Eleventh International Conference on Computational Creativity. Association for Computational Creativity (ACC), 4 p.

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

  49. Player Style Clustering without Game Variables

    Ferguson, M., Devlin, S., Kudenko, D. & Walker, J. A., 28 May 2020, (Accepted/In press) Proceedings of the International Conference on the Foundations of Digital Games (FDG) 2020. ACM

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

  50. Casual Creators in the Wild: A Typology of Commercial Generative Creativity Support Tools

    Petrovskaya, E., Deterding, C. S. & Colton, S., 14 May 2020, (Accepted/In press) ICCC’20: Eleventh International Conference on Computational Creativity. Association for Computational Creativity (ACC)

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

  51. DAX: Data-Driven Audience Experiences in Esports

    Kokkinakis, A., Demediuk, S. P., Nölle, I., Olarewaju, O., Patra, S., Robertson, J., York, P., Pedrassoli Chitayat, A., Coates, A., Slawson, D., Hughes, P., Hardie, N., Kirman, B., Hook, J. D., Drachen, A., Ursu, M. & Block, F. O., 15 Apr 2020, (Accepted/In press) Proceedings of ACM International Conference on Interactive Media Experience (IMX) 2020. Association for Computing Machinery (ACM), p. 94-105 12 p.

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

  52. ICS protocol fuzzing: Coverage guided packet crack and generation

    Luo, Z., Zuo, F., Shen, Y., Jiao, X., Chang, W. & Jiang, Y., 26 Mar 2020, (Accepted/In press) Design Automation Conference (DAC).

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

  53. TEVoT: Timing error modeling of functional units under dynamic voltage and temperature variations

    Jiao, X., Ma, D., Chang, W. & Jiang, Y., 26 Mar 2020, (Accepted/In press) Design Automation Conference (DAC).

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

Previous 1 2 Next