Search research publications and outputs

  1. 2021
  2. Decoding the proposed EU AI Act

    Townsend, B., 1 Oct 2021, 7 p. Washington, US : American Society of International Law.

    Research output: Other contribution

  3. StressBench: A Configurable Full System Network and I/O Benchmark Framework

    Chester, D., Groves, T., Hammond, S. D., Law, T. R., Wright, S. A., Smedley-Stevenson, R., Fahmy, S. A., Mudalige, G. R. & Jarvis, S., 22 Sep 2021. 8 p.

    Research output: Contribution to conferencePaperpeer-review

  4. Global tropospheric halogen (Cl, Br, I) chemistry and its impact on oxidants

    Wang, X., Jacob, D. J., Downs, W., Zhai, S., Zhu, L., Shah, V., Holmes, C. D., Sherwen, T., Alexander, B., Evans, M. J., Eastham, S. D., Neuman, J. A., Veres, P. R., Koenig, T. K., Volkamer, R., Huey, L. G., Bannan, T. J., Percival, C. J., Lee, B. H. & Thornton, J. A., 21 Sep 2021

    Article in Atmospheric Chemistry and Physics

  5. InfoVAEGAN : Learning Joint Interpretable Representations by Information Maximization and Maximum Likelihood

    Ye, F. & Bors, A. G., 20 Sep 2021, Proc. IEEE International Conference on Image Processing. IEEE, 5 p.

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

  6. Lifelong Twin Generative Adversarial Networks

    Ye, F. & Bors, A. G., 20 Sep 2021, Proc. of IEEE International Conference on Image Processing (ICIP). IEEE, 5 p.

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

  7. Two-Pathway Style Embedding for Arbitrary Voice Conversion

    Xu, X., Shi, L., Chen, J., Chen, X., Lian, J., Lin, P., Zhang, Z. & Hancock, E. R., 1 Sep 2021, Proc. Interspeech 2021. p. 1364-1368 5 p.

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

  8. Formally Verified Simulations of State-Rich Processes using Interaction Trees in Isabelle/HOL

    Foster, S., Hur, C-K. & Woodcock, J., 13 Aug 2021, International Conference on Concurrency Theory (CONCUR 2021). (LIPIcs).

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

  9. “Slow down and look”: Desirable aspects of failure in video games, from the perspective of players.

    Foch, C. & Kirman, B., 2 Aug 2021.

    Research output: Contribution to conferencePaperpeer-review

  10. Advances in Space Quantum Communications

    Sidhu, J. S., Joshi, S. K., Gundogan, M., Brougham, T., Lowndes, D., Mazzarella, L., Krutzik, M., Mohapatra, S., Dequal, D., Vallone, G., Villoresi, P., Ling, A., Jennewein, T., Mohageg, M., Rarity, J., Fuentes, I., Pirandola, S. & Oi, D. K. L., 19 Jul 2021

    Article in IET Quantum Communication

  11. What is a Parasite? Defining reaction and network properties in an open ended automata chemistry

    Stepney, S. & Hickinbotham, S. J., 19 Jul 2021, Artificial Life Conference Proceedings. p. 598-606 9 p.

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

  12. Verifying Graph Programs with Monadic Second-Order Logic

    Wulandari, G. & Plump, D., 18 Jun 2021, Proceedings 14th International Conference on Graph Transformation (ICGT 2021). Gadducci, F. & Kehrer, T. (eds.). Springer, p. 240-261 22 p. (Lecture Notes in Computer Science; vol. 12741).

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

  13. Age and sex influence social interactions, but not associations, within a killer whale pod

    Weiss, M. N., Franks, D. W., Giles, D. A., Youngstrom, S., Wasser, S. K., Balcomb, K. C., Ellifrit, D. K., Domenici, P., Cant, M. A., Ellis, S., Nielsen, M. L. K., Grimes, C. & Croft, D. P., 16 Jun 2021

    Article in PROCEEDINGS OF THE ROYAL SOCIETY B-BIOLOGICAL SCIENCES

  14. Enhancing the Value of Counterfactual Explanations for Deep Learning

    Jia, Y., McDermid, J. A. & Habli, I., 15 Jun 2021, AIME 2021 : Artificial Intelligence in Medicine in Europe.

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

  15. Global tropospheric halogen (Cl, Br, I) chemistry and its impact on oxidants [discussion paper]

    Wang, X., Jacob, D. J., Downs, W., Zhai, S., Zhu, L., Shah, V., Holmes, C. D., Sherwen, T., Alexander, B., Evans, M. J., Eastham, S. D., Neuman, J. A., Veres, P., Koenig, T. K., Volkamer, R., Huey, L. G., Bannan, T. J., Percival, C. J., Lee, B. H. & Thornton, J. A., 2 Jun 2021

    Article in Atmospheric Chemistry and Physics Discussions

  16. Classification of Failures in the Perception of Conversational Agents (CAs) and their Implications on Patient Safety

    Aftab, H., Hammad Hussain Shah, S. & Habli, I., 29 May 2021, Public Health and Informatics: Proceedings of MIE 2021. Mantas, J., Stoicu-Tivadar, L., Chronaki, C. C., Hasman, A., Weber, P., Gallos, P., Crişan-Vida, M., Zoulias, E. & Sorina Chirila, O. (eds.). IOS Press, Vol. 281. p. 659-663 5 p. (Studies in Health Technology and Informatics).

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

  17. Are Neural Networks Really the Holy Grail? A Comparison of Multivariate Calibration for Low-cost Environmental Sensors

    Fang, X., Bate, I. J. & Griffin, D. J., 21 May 2021, Science and Technologies for Smart Cities: 6th EAI International Conference, SmartCity360°, Virtual Event, December 2-4, 2020, Proceedings. 1 ed. LNICST: Springer, Vol. 372. p. 442-461

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

  18. Wait, But Why? Assessing Behavior Explanation Strategies for Real-Time Strategy Games

    Robertson, J., Kokkinakis, A., Hook, J. D., Kirman, B., Block, F. O., Ursu, M., Patra, S., Demediuk, S. P., Drachen, A. & Olarewaju, O., 13 May 2021, Proceedings of the 2021 IUI Annual Conference of Intelligent User Interfaces. Association for Computing Machinery (ACM)

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

  19. A Special Interest Group on Designed and Engineered Friction in Interaction

    Gould, S. J. J., Chuang, L. L., Iacovides, I., Garaialde, D., Cecchinato, M. E., Cowan, B. R. & Cox, A. L., 8 May 2021, Extended Abstracts of the 2021 CHI Conference on Human Factors in Computing Systems, CHI EA 2021. Association for Computing Machinery (ACM), 4 p. 158. (Conference on Human Factors in Computing Systems - Proceedings).

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

  20. Fast Parametric Model Checking through Model Fragmentation

    Fang, X., Calinescu, R., Gerasimou, S. & Alhwikem, F., 7 May 2021, 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE). ACM

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

  21. Cross-Supervised Joint-Event-Extraction with Heterogeneous Information Networks

    Wang, Y., Xu, Z., Bai, L., Wan, Y., Cui, L., Zhao, Q., Hancock, E. R. & Yu, P. S., 6 May 2021, 2020 25th International Conference on Pattern Recognition (ICPR). p. 278-285 8 p.

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

  22. Fast Subspace Clustering Based on the Kronecker Product

    Zhou, L., Bai, X., Zhang, L., Zhou, J. & Hancock, E., 6 May 2021, Proceedings 25th International Conference on Pattern Recognition, ICPR 2021, Milan, Italy, January 10-15, 2021. p. 1558-1565 8 p. (International Conference on Pattern Recognition).

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

  23. HMFlow: Hybrid Matching Optical Flow Network for Small and Fast-Moving Objects

    Yu, S., Zhang, Y., Wang, C., Bai, X., Zhang, L. & Hancock, E. R., 6 May 2021, Proceedings 25th International Conference on Pattern Recognition. p. 1197-1204 8 p. (International Conference on Pattern Recognition).

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

  24. Atmospheric conditions and composition that influence PM2.5 oxidative potential in Beijing, China

    Campbell, S. J., Wolfer, K., Utinger, B., Westwood, J., Zhang, Z. H., Bukowiecki, N., Steimer, S. S., Vu, T. V., Xu, J., Straw, N., Thomson, S., Elzein, A., Sun, Y., Liu, D., Li, L., Fu, P., Lewis, A. C., Harrison, R. M., Bloss, W. J., Loh, M. & 3 others, Miller, M. R., Shi, Z. & Kalberer, M., 12 Apr 2021

    Article in Atmospheric Chemistry and Physics

  25. Alzheimer's Brain Network Analysis Using Sparse Learning Feature Selection

    Cui, L., Zhang, L., Bai, L., Wang, Y. & Hancock, E. R., 9 Apr 2021, Structural, Syntactic, and Statistical Pattern Recognition. Torsello, A., Rossi, L., Pelillo, M., Biggio, B. & Robles-Kelly, A. (eds.). Cham: Springer International Publishing AG, p. 184-194 11 p.

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

  26. Graph Transformer: Learning Better Representations for Graph Neural Networks

    Wang, B., Cui, L., Bai, L. & Hancock, E. R., 9 Apr 2021, Structural, Syntactic, and Statistical Pattern Recognition. Torsello, A., Rossi, L., Pelillo, M., Biggio, B. & Robles-Kelly, A. (eds.). Cham: Springer International Publishing AG, p. 139-149 11 p.

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

  27. LGL-GNN: Learning Global and Local Information for Graph Neural Networks

    Li, H., Wang, B., Cui, L., Bai, L. & Hancock, E. R., 9 Apr 2021, Structural, Syntactic, and Statistical Pattern Recognition. Torsello, A., Rossi, L., Pelillo, M., Biggio, B. & Robles-Kelly, A. (eds.). Cham: Springer International Publishing AG, p. 129-138 10 p.

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

  28. The Entropy of Graph Embeddings: A Proxy of Potential Mobility in Covid19 Outbreaks

    Escolano, F., Lozano, M. A. & Hancock, E. R., 9 Apr 2021, Structural, Syntactic, and Statistical Pattern Recognition. Torsello, A., Rossi, L., Pelillo, M., Biggio, B. & Robles-Kelly, A. (eds.). Cham: Springer International Publishing AG, p. 195-204 10 p.

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

  29. Weighted Network Analysis Using the Debye Model

    Zhu, H., Wu, H., Wang, J. & Hancock, E. R., 9 Apr 2021, Structural, Syntactic, and Statistical Pattern Recognition. Torsello, A., Rossi, L., Pelillo, M., Biggio, B. & Robles-Kelly, A. (eds.). Cham: Springer International Publishing AG, p. 153-163 11 p.

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

  30. Mixture models as a method for comparative sociality: social networks and demographic change in resident killer whales

    Ellis, S., Franks, D. W., Weiss, M., Cant, M. A., Domenici, P., Balcomb, K. C., Ellifrit, D. K. & Croft, D. P., 5 Apr 2021

    Article in Behavioral Ecology and Sociobiology

  31. “A Good Algorithm Does Not Steal – It Imitates”: The Originality Report as a Means of Measuring When a Music Generation Algorithm Copies Too Much

    Yin, Z., Reuben, F., Stepney, S. & Collins, T., 2 Apr 2021, Artificial Intelligence in Music, Sound, Art and Design. EvoMUSART 2021. Springer, Vol. 12693. p. 360-375 16 p. 24. (Lecture Notes in Computer Science).

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

  32. Safety Cases: An Impending Crisis?

    Habli, I., Alexander, R. & Hawkins, R. D., 10 Feb 2021, Safety-Critical Systems Symposium (SSS’21). York, UK

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

  33. Runtime Decision Making Under Uncertainty in Autonomous Vehicles

    Gautam, V., Gheraibia, Y., Alexander, R. & Hawkins, R. D., 8 Feb 2021, Proceedings of the Workshop on Artificial Intelligence Safety (SafeAI 2021). CEUR Workshop Proceedings, 8 p.

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

  34. Cryo-EM model validation recommendations based on outcomes of the 2019 EMDataResource challenge

    Lawson, C. L., Kryshtafovych, A., Adams, P. D., Afonine, P. V., Baker, M. L., Barad, B. A., Bond, P., Burnley, T., Cao, R., Cheng, J., Chojnowski, G., Cowtan, K., Dill, K. A., DiMaio, F., Farrell, D. P., Fraser, J. S., Herzik, M. A., Hoh, S. W., Hou, J., Hung, L. W. & 34 others, Igaev, M., Joseph, A. P., Kihara, D., Kumar, D., Mittal, S., Monastyrskyy, B., Olek, M., Palmer, C. M., Patwardhan, A., Perez, A., Pfab, J., Pintilie, G. D., Richardson, J. S., Rosenthal, P. B., Sarkar, D., Schäfer, L. U., Schmid, M. F., Schröder, G. F., Shekhar, M., Si, D., Singharoy, A., Terashi, G., Terwilliger, T. C., Vaiana, A., Wang, L., Wang, Z., Wankowicz, S. A., Williams, C. J., Winn, M., Wu, T., Yu, X., Zhang, K., Berman, H. M. & Chiu, W., 4 Feb 2021

    Article in Nature Methods

  35. Reinforcement Learning with Quantitative Verification for Assured Multi-Agent Policies

    Riley, J., Calinescu, R., Paterson, C., Kudenko, D. & Banks, A., Feb 2021, 13th International Conference on Agents and Artificial Intelligence.

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

  36. Homodyne-based quantum random number generator at 2.9 Gbps secure against quantum side-information

    Gehring, T., Lupo, C., Kordts, A., Nikolic, D. S., Jain, N., Rydberg, T., Pedersen, T. B., Pirandola, S. & Andersen, U. L., 27 Jan 2021

    Article in Nature Communications

  37. Experimental quantum reading with photon counting

    Ortolano, G., Losero, E., Berchera, I. R., Pirandola, S. & Genovese, M., 20 Jan 2021

    Article in Science Advances

  38. Region-based Non-local Operation for Video Classification

    Huang, G. & Bors, A. G., 10 Jan 2021, Proc. International Conference on Pattern Recognition (ICPR). Milan, Italy: IEEE, 8 p.

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

  39. HSS-GCN: A Hierarchical Spatial Structural Graph Convolutional Network for Vehicle Re-identification

    Xu, Z., Wei, L., Lang, C., Feng, S., Wang, T. & Bors, A. G., 9 Jan 2021, Proc. ICPR's Int. Workshop on Human and Vehicle Analysis for Intelligent Urban Computing (IUC). Milan, Italy: Springer, Vol. 12665. p. 356-364 8 p. (Lecture Notes in Computer Science).

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

  40. Less is More: Analysing Communication in Teams of Strangers

    Tan, E., Wade, A., Kokkinakis, A., Heyes, G., Demediuk, S. P. & Drachen, A., 5 Jan 2021, Proceedings of HICSS 54. Proceedings of HICSS 54

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

  41. 2020
  42. Echo Suite of Software (Showcase Brochure)

    Block, F. O., Ursu, M., Hook, J. D., Kirman, B., Drachen, A., Demediuk, S. P., Kokkinakis, A., Olarewaju, O., Slawson, D., Coates, A., Pedrassoli Chitayat, A., Patra, M. K. & Noelle, I., 20 Dec 2020.

    Research output: Contribution to conferenceOther

  43. On (Emergent) Systematic Generalisation and Compositionality in Visual Referential Games with Straight-Through Gumbel-Softmax Estimator

    Denamganai, K. & Walker, J. A., 12 Dec 2020.

    Research output: Contribution to conferencePaperpeer-review

  44. ReferentialGym: A Nomenclature and Framework for Language Emergence & Grounding in (Visual) Referential Games

    Denamganai, K. & Walker, J. A., 12 Dec 2020.

    Research output: Contribution to conferencePaperpeer-review

  45. An Initial Framework Assessing the Safety of Complex Systems

    Burton, S., McDermid, J. A., Garnett, P. & Weaver, R., 7 Dec 2020, CCS2020 - Conference on Complex System 2020. Zenodo, p. 69 1 p.

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

  46. Yap: Tool Support for Deriving Safety Controllers from Hazard Analysis and Risk Assessments

    Gleirscher, M., 7 Dec 2020, Second Workshop on Formal Methods for Autonomous Systems (FMAS2020). Open Publishing Association, Vol. 329. p. 31 47 p. (Electronic Proceedings in Theoretical Computer Science; vol. 329).

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

  47. Microwave quantum illumination with a digital phase-conjugated receiver

    Barzanjeh, S., Pirandola, S., Vitali, D. & Fink, J., 4 Dec 2020.

    Research output: Contribution to conferencePaperpeer-review

  48. A Fast Graph Program for Computing Minimum Spanning Trees

    Courtehoute, B. & Plump, D., 3 Dec 2020, Graph Computation Models (GCM 2020), Revised Selected Papers. p. 163-180 18 p. (Electronic Proceedings in Theoretical Computer Science; vol. 330).

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

  49. Verifying Graph Programs with First-Order Logic

    Wulandari, G. & Plump, D., 3 Dec 2020, Graph Computation Models (GCM 2020), Revised Selected Papers. p. 181-200 20 p. (Electronic Proceedings in Theoretical Computer Science; vol. 330).

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

  50. An Empirical Survey-based Study into Industry Practice in Real-time Systems

    Akesson, B., Nasri, M., Nelissen, G., Altmeyer, S. & Davis, R. I., 1 Dec 2020, 2020 IEEE Real-Time Systems Symposium (Proceedings). 9 p.

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

  51. Generating Utilization Vectors for the Systematic Evaluation of Schedulability Tests

    Griffin, D. J., Bate, I. J. & Davis, R. I., 1 Dec 2020, 2020 IEEE Real-Time Systems Symposium (proceedings). 13 p.

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

  52. Pair Trading with an Ontology of SEC Financial Reports

    Erten, C., Chotai, N. & Kazakov, D. L., 1 Dec 2020, The 2020 IEEE Symposium Series on Computational Intelligence: IEEE Symposium on Computational Intelligence for Financial Engineeting and Economics (CIFEr 2020). 8 p.

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

  53. Schedulability Analysis for Adaptive Mixed Criticality Systems with Arbitrary Deadlines and Semi-Clairvoyance

    Burns, A. & Davis, R. I., 1 Dec 2020, 2020 IEEE Real-Time Systems Symposium (Proceedings). 13 p.

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

  54. Safe Reinforcement Learning for Sepsis Treatment

    Jia, Y., Burden, J., Lawton, T. & Habli, I., 30 Nov 2020, 8th IEEE International Conference on Healthcare Informatics .

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

  55. Noise-resilient variational hybrid quantum-classical optimization

    Gentini, L., Cuccoli, A., Pirandola, S., Verrucchi, P. & Banchi, L., 16 Nov 2020

    Article in Physical Review A

  56. Learning latent representations across multiple data domains using Lifelong VAEGAN

    Ye, F. & Bors, A. G., 12 Nov 2020, European Conference in Computer Vision (ECCV). Manchester, UK: Springer, 18 p. (Lecture Notes in Computer Science).

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

  57. Lifelong learning of interpretable image representations

    Ye, F. & Bors, A. G., 10 Nov 2020, Proc. Int. Conf. on Image Processing, Theory, Tools and Applications (IPTA). Paris, France: IEEE, 6 p.

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

  58. Mixtures of Variational Autoencoders

    Ye, F. & Bors, A. G., 10 Nov 2020, Proc. Int. Conf. on Image Processing, Theory, Tools and Applications (IPTA) . Paris, France: IEEE, 6 p.

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

  59. A Grounded Analysis of Player-Described Board Game Immersion

    Farkas, T., Wiseman, S., Cairns, P. A. & Fiebrink, R., 2 Nov 2020, Proceedings of ACM CHI Play 2020. p. 427-437 11 p.

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

  60. Shape from semantic segmentation via the geometric Renyi divergence

    Koizumi, T. & Smith, W. A. P., 2 Nov 2020, IEEE Winter Conference on Applications of Computer Vision (WACV) (proceedings).

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

  61. Entanglement-Assisted Absorption Spectroscopy

    Shi, H., Zhang, Z., Pirandola, S. & Zhuang, Q., 28 Oct 2020

    Article in Physical Review Letters

  62. Safety Controller Synthesis for Collaborative Robots

    Gleirscher, M. & Calinescu, R., 28 Oct 2020, Proceedings of the 25th International Conference on Engineering of Complex Computer Systems (ICECCS).

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

  63. Efficiently Querying Large-Scale Heterogeneous Models

    Ali, Q. U. A., Kolovos, D. & Barmpis, K., 27 Oct 2020, Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. New York, NY, USA: Association for Computing Machinery (ACM), (MODELS '20).

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

  64. The Pi-puck Ecosystem: Hardware and Software Support for the e-puck and e-puck2

    Allen, J., Joyce, R. A., Millard, A. G. & Gray, I., 23 Oct 2020, Swarm Intelligence. ANTS 2020.. Dorigo, M., Stützle, T., Blesa, M. J., Blum, C., Hamann, H., Heinrich, M. K. & Strobel, V. (eds.). Cham: Springer, p. 243-255 13 p. (Lecture Notes in Computer Science; vol. 12421).

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

  65. Towards Model-Based Development of Decentralised Peer-to-Peer Data Vaults

    Yohannis, A., De La Vega, A., Kahrobaei, D. & Kolovos, D., 18 Oct 2020, ACM / IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS). 8 p.

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

  66. Position paper: A systematic framework for categorising IoT device fingerprinting mechanisms

    Yadav, P., Feraudo, A., Arief, B., Shahandashti, S. F. & Vassilakis, V. G., 16 Oct 2020, AIChallengeIoT '20: Proceedings of the 2nd International Workshop on Challenges in Artificial Intelligence and Machine Learning for Internet of Things. Association for Computing Machinery (ACM), p. 62–68 7 p. (ACM AIChallengeIoT (Sensys 2020)).

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

  67. “It’s just part of being a person”— Sincerity, Support & Self Expression in Vignette Games

    Henderson, T. & Iacovides, J., 8 Oct 2020, Proceedings of DiGRA 2020.

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

  68. Formal Model-Based Assurance Cases in Isabelle/SACM: An Autonomous Underwater Vehicle Case Study

    Foster, S. D., Nemouchi, Y., O'Halloran, C., Tudor, N. & Stephenson, K., 7 Oct 2020, FormaliSE '20: Proceedings of the 8th International Conference on Formal Methods in Software Engineering. ACM

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

  69. Polyglot and Distributed Software Repository Mining with Crossflow

    Matragkas, N., Kolovos, D., Barmpis, K., Neubauer, P. & Paige, R., Oct 2020, MSR '20: Proceedings of the 17th International Conference on Mining Software Repositories. p. 374-384 11 p.

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

  70. Towards Terawatt-Scale Spectrally Tunable Terahertz Pulses via Relativistic Laser-Foil Interactions

    Liao, G. Q., Liu, H., Scott, G. G., Zhang, Y. H., Zhu, B. J., Zhang, Z., Li, Y. T., Armstrong, C., Zemaityte, E., Bradford, P., Rusby, D. R., Neely, D., Huggard, P. G., Mckenna, P., Brenner, C. M., Woolsey, N. C., Wang, W. M., Sheng, Z. M. & Zhang, J., 18 Sep 2020

    Article in Physical Review X

  71. A Visual Notation for the Representation of Assurance Cases using SACM

    Selviandro, N., Hawkins, R. D. & Habli, I., 16 Sep 2020, International Symposium on Model-Based Safety and Assessment. Springer, p. 3-18 (LNCS; vol. 12297).

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

  72. A Structured Argument for Assuring Safety of the Intended Functionality (SOTIF)

    Birch, J., Blackburn, D., Botham, J., Habli, I., Higham, D., Monkhouse, H., Price, G. & Ratiu, N., 15 Sep 2020, International Workshop on Artificial Intelligence Safety Engineering . Springer, p. 408-414 (Lecture Notes in Computer Science; vol. 12235).

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

  73. Revisiting Security Vulnerabilities in Commercial Password Managers

    Carr, M. & Shahandashti, S. F., 14 Sep 2020.

    Research output: Contribution to conferencePaperpeer-review

  74. Effective Encodings of Constraint Programming Models to SMT

    Davidson, E., Akgün, Ö., Espasa, J. & Nightingale, P., 7 Sep 2020, Proceedings of the 26th International Conference on Principles and Practice of Constraint Programming. Springer, p. 143-159 17 p. (Lecture Notes in Computer Science; vol. 12333).

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

  75. An Assurance Case Pattern for the Interpretability of Machine Learning in Safety-Critical Systems

    Ward, F. R. & Habli, I., Sep 2020, ​Third International Workshop on Artificial Intelligence Safety Engineering .

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

  76. Assuring the Safety of Machine Learning for Pedestrian Detection at Crossings

    Gauerhof, L., Hawkins, R. D., Picardi, C., Paterson, C., Hagiwara, Y. & Habli, I., Sep 2020, SAFECOMP 2020 (39th International Conference on Computer Safety, Reliability and Security).

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

  77. Operationalizing resilient healthcare concepts through a serious video game for clinicians

    Jackson, J., Iacovides, J., Duncan, M., Alders, M., Maben, J. & Anderson, J., Sep 2020

    Article in Applied ergonomics

  78. Coverage based testing for V&V and Safety Assurance of Self-driving Autonomous Vehicle : A Systematic Literature Review

    Tahir, Z. & Alexander, R., 23 Aug 2020, The Second IEEE International Conference On Artificial Intelligence Testing.

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

  79. Conditional Attention for Content-based Image Retrieval

    Hu, Z. & Bors, A. G., Aug 2020, British Machine Vision Conference (BMVC). Manchester, UK, 13 p.

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

  80. Understanding Uncertainty in Self-adaptive Systems

    Calinescu, R., Mirandola, R., Perez-Palacin, D. & Weyns, D., 17 Jul 2020, 1st IEEE International Conference on Autonomic Computing and Self-Organizing Systems.

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

  81. How do Software Professionals Use Local Informal Meetups?

    Ingram, C. & Drachen, A., 7 Jul 2020.

    Research output: Contribution to conferenceOther

  82. WARDS: Modelling the Worth of Vision in MOBA’s

    Pedrassoli Chitayat, A., Kokkinakis, A., Patra, S., Demediuk, S., Robertson, J., Olarewaju, O., Ursu, M., Kirman, B., Hook, J., Block, F. & Drachen, A., 4 Jul 2020, Intelligent Computing - Proceedings of the 2020 Computing Conference. Arai, K., Kapoor, S. & Bhatia, R. (eds.). Springer, p. 63-81 19 p. (Advances in Intelligent Systems and Computing; vol. 1229 AISC).

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

  83. A Quantum-inspired Entropic Kernel for Multiple Financial Time Series Analysis

    Bai, L., Cui, L., Wang, Y., Jiao, Y. & Hancock, E. R., 1 Jul 2020, Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI-20. International Joint Conferences on Artificial Intelligence Organization, p. 4453-4460 8 p.

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

  84. Designing Computational Substrates using Open-Ended Evolution

    Dale, M., Stepney, S. & Trefzer, M. A., 1 Jul 2020, Artificial Life Conference Proceedings. MIT Press, p. 665-667 3 p.

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

  85. Learning for Graph Matching and Related Combinatorial Optimization Problems

    Yan, J., Yang, S. & Hancock, E. R., 1 Jul 2020, Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI-20. International Joint Conferences on Artificial Intelligence Organization, p. 4988-4996 9 p.

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

  86. Multilinear Maps from Obfuscation

    Albrecht, M. R., Farshim, P., Han, S., Hofheinz, D., Larraia, E. & Paterson, K. G., Jul 2020

    Article in Journal of Cryptology

  87. Practical Measurement and Reconstruction of Spectral Skin Reflectance

    Gitlina, Y., Guarnera, G. C., Dhillon, D. S., Hansen, J., Lattas, A., Pai, D. & Ghosh, A., Jul 2020

    Article in Computer graphics forum

  88. Long-distance continuous-variable quantum key distribution over 202.81 km fiber

    Zhang, Y-C., Chen, Z., Pirandola, S., Wang, X., Zhou, C., Chu, B., Zhao, Y., Xu, B., Yu, S. & Guo, H., 30 Jun 2020

    Article in Physical Review Letters

  89. Confluence up to Garbage

    Plump, D. & Campbell, G., 25 Jun 2020, Proceedings 13th International Conference on Graph Transformation (ICGT 2020). Gadducci, F. & Kehrer, T. (eds.). Springer, Vol. 12150. p. 20-37 18 p. (Lecture Notes in Computer Science).

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

  90. A Novel Flow Control Mechanism to Avoid Multi-Point Progressive Blocking in Hard Real-Time Priority-Preemptive NoCs

    Burns, A., Soares Indrusiak, L., Smirnov, N. & Harrison, J., 11 Jun 2020, 26th IEEE Real-Time and Embedded Technology and Applications Symposium: Proceedings. IEEE

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

  91. Elastic Scheduling of Parallel Real-Time Tasks with Discrete Utilizations

    Orr, J., Uribe, J. C., Gill, C., Baruah, S., Agrawal, K., Dyke, S., Prakash, A., Bate, I., Wong, C. & Adhikari, S., 9 Jun 2020, Proceedings of the 28th International Conference on Real-Time Networks and Systems. New York, NY, USA: Association for Computing Machinery (ACM), p. 117–127 11 p. (RTNS 2020).

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

  92. Establishing Confidence and Understanding Uncertainty in Real-Time Systems

    Bate, I., Griffin, D. & Lesage, B., 9 Jun 2020, Proceedings of the 28th International Conference on Real-Time Networks and Systems. New York, NY, USA: Association for Computing Machinery (ACM), p. 67–77 11 p. (RTNS 2020).

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

  93. Justifying the Service Provided to Low Criticality Tasks in a Mixed Criticality System

    Law, S., Bate, I. & Lesage, B., 9 Jun 2020, Proceedings of the 28th International Conference on Real-Time Networks and Systems. New York, NY, USA: Association for Computing Machinery (ACM), p. 100–110 11 p. (RTNS 2020).

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

  94. Shape coexistence revealed in the N= Z isotope 72 Kr through inelastic scattering

    Wimmer, K., Arici, T., Korten, W., Doornenbal, P., Delaroche, J. P., Girod, M., Libert, J., Rodríguez, T. R., Aguilera, P., Algora, A., Ando, T., Baba, H., Blank, B., Boso, A., Chen, S., Corsi, A., Davies, P., de Angelis, G., de France, G., Doherty, D. T. & 24 others, Gerl, J., Gernhäuser, R., Goigoux, T., Jenkins, D., Kiss, G., Koyama, S., Motobayashi, T., Nagamine, S., Niikura, M., Nishimura, S., Obertelli, A., Lubos, D., Phong, V. H., Rubio, B., Sahin, E., Saito, T. Y., Sakurai, H., Sinclair, L., Steppenbeck, D., Taniuchi, R., Vaquero, V., Wadsworth, R., Wu, J. & Zielinska, M., 3 Jun 2020

    Article in European Physical Journal A

  95. A manifesto for Reality-based Safety Science

    Rae, A., Provan, D., Aboelssaad, H. & Alexander, R., 1 Jun 2020

    Article in Safety science

  96. The Improved GP 2 Compiler

    Campbell, G., Romo, J. & Plump, D., 1 Jun 2020, Proceedings Eleventh International Workshop on Graph Computation Models (GCM 2020). Hoffmann, B. & Minas, M. (eds.). p. 206-217 12 p.

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

  97. Human-swarm interaction via e-ink displays

    Millard, A. G., Joyce, R. A. & Gray, I., 31 May 2020.

    Research output: Contribution to conferencePaper

  98. How Software Practitioners Use Informal Local Meetups to Share Software Engineering Knowledge

    Ingram, C. & Drachen, A., 29 May 2020, 42nd International Conference on Software Engineering. ACM

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

  99. Generating Real-World Impact from Academic Research: Experience Report from a University Impact Hub.

    Ingram, C., Chubb, J. A., Boardman, C. & Ursu, M., 23 May 2020, In IEEE/ACM 42nd International Conference on Software Engineering Workshops (ICSEW’20), May 23–29, 2020, Seoul, Re- public of Korea. ACM, New York, NY, USA, 8 pages: 7th International Workshop on Software Engineering Research and Industrial Practice. ACM, 9 p.

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

  100. Management of container-based genetic algorithm workloads over cloud infrastructure

    Alrefai, T. & Soares Indrusiak, L., 11 May 2020, CF '20: Proceedings of the 17th ACM International Conference on Computing Frontiers. ACM, p. 229-232 4 p.

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

  101. Microwave quantum illumination using a digital receiver

    Barzanjeh, S., Pirandola, S., Vitali, D. & Fink, J., 8 May 2020

    Article in Science Advances

  102. ALL IN ONE NETWORK FOR DRIVER ATTENTION MONITORING

    Yang, D., Li, X., Dai, X., Zhang, R., Qi, L., Zhang, W. & Jiang, Z., May 2020

    Conference article in Proc. IEEE International Conference on Acoustics, Speech, and Signal Processing

  103. Learning Spatio-Temporal Representations with Temporal Squeeze Pooling

    Huang, G. & Bors, A. G., May 2020, Proc. IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP). IEEE, 5 p.

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

  104. Three perceptual dimensions for specular and diffuse reflection

    Toscani, M., Guarnera, D., Guarnera, C., Hardeberg, J. Y. & Gegenfurtner, K., May 2020

    Article in ACM Transactions on Applied Perception

  105. Learning Aligned-Spatial Graph Convolutional Networks for Graph Classification

    Bai, L., Jiao, Y., Cui, L. & Hancock, E. R., 30 Apr 2020, Machine Learning and Knowledge Discovery in Databases. Brefeld, U., Fromont, E., Hotho, A., Knobbe, A., Maathuis, M. & Robardet, C. (eds.). Cham: Springer International Publishing, p. 464-482 19 p. (Lecture Notes in Computer Science; vol. 11906).

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

  106. Towards a complete 3D morphable model of the human head

    Ploumpis, S., Ververas, E., O'Sullivan, E., Moschoglou, S., Wang, H., Pears, N. E., Smith, W. A. P., Gecer, B. & Zafeiriou, S., 29 Apr 2020

    Article in IEEE Transactions on Pattern Analysis and Machine Intelligence

  107. From Theory to Behaviour: Towards a General Model of Engagement

    Bonometti, V., Ringer, C., Ruiz, M., Wade, A. & Drachen, A., 27 Apr 2020, 8 p.

    Research output: Working paper

  108. CoLearn: enabling federated learning in MUD-compliant IoT edge networks

    Feraudo, A., Yadav, P., Safronov, V., Popescu, D. A., Mortier, R., Wang, S., Bellavista, P. & Crowcroft, J., 25 Apr 2020, EdgeSys '20: Proceedings of the Third ACM International Workshop on Edge Systems, Analytics and Networking. ACM, p. 25–30 6 p.

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

  109. MCS-IOV: Real-time I/o virtualization for mixed-criticality systems

    Jiang, Z., Audsley, N., Dong, P., Guan, N., Dai, X. & Wei, L., 3 Apr 2020, Proceedings - 2019 IEEE 40th Real-Time Systems Symposium, RTSS 2019. Institute of Electrical and Electronics Engineers Inc., p. 326-338 13 p. 9052193. (Proceedings - Real-Time Systems Symposium; vol. 2019-December).

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

  110. Entanglement Classification via Neural Network Quantum States

    Harney, C., Pirandola, S., Ferraro, A. & Paternostro, M., 2 Apr 2020

    Article in New Journal of Physics

  111. Semi-Clairvoyance in Mixed-Criticality Scheduling

    Agrawa, K., Baruah, S. & Burns, A., 2 Apr 2020, 2019 IEEE Real-Time Systems Symposium (RTSS). I E E E, p. 458-468 11 p. (IEEE Real-Time Systems Symposium (RTSS)).

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

  112. Synthesizing Real-Time Schedulability Tests using Evolutionary Algorithms: A Proof of Concept

    Dziurzanski, P., Davis, R. I. & Soares Indrusiak, L., 2 Apr 2020, Proceedings of the 40th IEEE Real-Time Systems Symposium. p. 43-55 (Real-Time Systems Symposium).

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

  113. Automated Algebraic Reasoning for Collections and Local Variables with Lenses

    Foster, S. D. & Baxter, J., 1 Apr 2020, 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2020). Lecture Notes in Computer Science, 16 p.

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

  114. Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL

    Munive, J. H. Y., Struth, G. & Foster, S. D., 1 Apr 2020, 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS 2020). Lecture Notes in Computer Science, 16 p.

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

  115. Addressing resource contention and timing predictability for multi-core architectures with shared memory interconnects

    Wang, H., Audsley, N. C. & Chang, W., Apr 2020, Proceedings - 2020 IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2020. Institute of Electrical and Electronics Engineers Inc., p. 70-81 12 p. 9113099. (Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS; vol. 2020-April).

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

  116. Global inorganic nitrate production mechanisms: comparison of a global model with nitrate isotope observations

    Alexander, B., Sherwen, T., D Holmes, C., A Fisher, J., Chen, Q., J Evans, M. & Kasibhatla, P., 31 Mar 2020

    Article in Atmospheric Chemistry and Physics

  117. Interlayer transmission of magnons in dynamic spin valve structures

    Chen, Q., Ruan, X., Yuan, H., Zhou, X., Kou, Z., Huang, Z., Xu, Y. & Zhai, Y., 30 Mar 2020

    Article in Applied Physics Letters

  118. CPS-oriented modeling and control of traffic signals using adaptive back pressure

    Chang, W., Roy, D., Zhao, S., Annaswamy, A. & Chakraborty, S., 13 Mar 2020, Design, Automation and Test in Europe Conference (DATE).

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

  119. Benchmarking TinyML Systems: Challenges and Direction

    Banbury, C. R., Reddi, V. J., Lam, M., Fu, W., Fazel, A., Holleman, J., Huang, X., Hurtado, R., Kanter, D., Lokhmotov, A., Patterson, D., Pau, D., Seo, J., Sieracki, J., Thakker, U., Verhelst, M. & Yadav, P., 10 Mar 2020, SysML 2020, Proceedings.

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

  120. Minimizing Execution Duration in the Presence of Learning-Enabled Components

    Agrawa, K., Baruah, S., Burns, A. & Singh, A., 1 Mar 2020, DATE '20: Proceedings of the 23rd Conference on Design, Automation and Test in Europe March 2020. ACM, p. 1644-1649 6 p.

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

  121. Terahertz quantum cryptography

    Ottaviani, C., Woolley, M. J., Erementchouk, M., Federici, J. F., Mazumder, P., Pirandola, S. & Weedbrook, C., Mar 2020

    Article in IEEE Journal on Selected Areas in Communication

  122. Effects of Sea Salt Aerosol Emissions for Marine Cloud Brightening on Atmospheric Chemistry: Implications for Radiative Forcing

    Horowitz, H. M., Holmes, C., Wright, A., Sherwen, T., Wang, X., Evans, M., Huang, J., Jaeglé, L., Chen, Q., Zhai, S. & Alexander, B., 28 Feb 2020

    Article in Geophysical Research Letters

  123. Assurance Argument Patterns and Processes for Machine Learning in Safety-Related Systems

    Picardi, C., Paterson, C., Hawkins, R. D., Calinescu, R. & Habli, I., 27 Feb 2020, Proceedings of the Workshop on Artificial Intelligence Safety (SafeAI 2020). CEUR Workshop Proceedings, p. 23-30 (CEUR Workshop Proceedings; vol. 2560).

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

  124. Multilinear cryptography using nilpotent groups

    Kahrobaei, D., Tortora, A. & Tota, M., 26 Feb 2020, Elementary Theory of Groups and Group Rings, and Related Topics: Proceedings of the Conference held at Fairfield University and at the Graduate Center, CUNY, November 1-2, 2018. Baginski, P., Fine, B., Moldenhauer, A., Rosenberger, G. & Vladimir, S. (eds.). de Gruyter, p. 127-134 (De Gruyter Proceedings in Mathematics).

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

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

    Bai, L., Cui, L. & Hancock, E. R., 8 Feb 2020, 8 p. (arXiv).

    Research output: Working paper

  126. Modelling cetacean morbillivirus outbreaks in an endangered killer whale population

    Weiss, M. N., Franks, D. W., Balcomb, K. C., Ellifrit, D. K., Silk, M. J., Cant, M. A. & Croft, D. P., 1 Feb 2020

    Article in Biological Conservation

  127. Human Factors of Using Artificial Intelligence in Healthcare: Challenges That Stretch Across Industries

    Sujan, M., Furniss, D., Hawkins, R. D. & Habli, I., Feb 2020, Safety-Critical Systems Symposium.

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

  128. Learning Binary Code for Fast Nearest Subspace Search

    Zhou, L., Xiao, B., Liu, X., Zhou, J. & Hancock, E. R., Feb 2020

    Article in Pattern Recognition

  129. Modular Safety Cases for the Assurance of Industry 4.0

    Jaradat, O., Sljivo, I., Hawkins, R. D. & Habli, I., Feb 2020, Safety-Critical Systems Symposium.

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

  130. Safety Assurance Objectives for Autonomous Systems

    Alexander, R., Asgari, H., Ashmore, R., Banks, A., Bongirwar, R., Bradshaw, B., Bragg, J., Clegg, J., Fenn, J., Harper, C., Harvey, D., Johnson, N., Menon, C., Rivett, R. S., Ryan, P., Sujan, M., Tudor, N. & Tushingham, S., Feb 2020, 2.0 ed. Safety Critical Systems Club. 112 p.

    Research output: Book/ReportBook

  131. How Players Learn Team-versus-Team Esports: First Results from A Grounded Theory Study

    Hesketh, J., Deterding, C. S. & Gow, J., 31 Jan 2020, DiGRA'20 Abstract - Proceedings of the 2020 DiGRA International Conference. Tampere, (DiGRA conference proceedings).

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

  132. Fine structure in the α decay of 223U

    Sun, M. D., Liu, Z., Huang, T. H., Zhang, W. Q., Andreyev, A. N., Ding, B., Wang, J. G., Liu, X. Y., Lu, H. Y., Hou, D. S., Gan, Z. G., Yang, H. B., Ma, L., Zhang, Z. Y., Yu, L., Jiang, J., Wang, K. L., Wang, Y. S., Liu, M. L., Li, J. & 12 others, Li, Z. H., Wang, X., Feng, A. H., Lin, C. J., Sun, L. J., Ma, N. R., Zuo, W., Xu, H. S., Zhou, X. H., Xiao, G. Q., Qi, C. & Zhang, F. S., 20 Jan 2020

    Article in Physics Letters B

  133. The prevalence of loot boxes in mobile and desktop games

    Zendle, D., Meyer, R., Cairns, P. A., Waters, S. & Ballou, N., 20 Jan 2020

    Article in Addiction

  134. InverseRenderNet: Learning single image inverse rendering

    Yu, Y. & Smith, W. A. P., 9 Jan 2020, IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR). p. 3150-3159 10 p. (2019 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR)).

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

  135. Direct observation of hidden spin polarization in 2H-MoT e2

    Tu, J., Chen, X. B., Ruan, X. Z., Zhao, Y. F., Xu, H. F., Chen, Z. D., Zhang, X. W., Zhang, X. W., Wu, J., He, L., Zhang, Y., Zhang, R. & Xu, Y. B., 3 Jan 2020

    Article in Physical Review B

  136. DAG Scheduling and Analysis on Multiprocessor Systems: Exploitation of Parallelism and Dependency

    Zhao, S., Dai, X., Bate, I., Burns, A. & Chang, W., 2020, IEEE Real-Time Systems Symposium. IEEE, 13 p.

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

  137. Importance-Driven Deep Learning System Testing

    Gerasimou, S., Eniser, H. F. & Sen, A., 2020, 42nd International Conference on Software Engineering.

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

  138. Interval Change-Point Detection for Runtime Probabilistic Model Checking

    Zhao, X., Calinescu, R., Gerasimou, S., Robu, V. & Flynn, D., 2020, 35th IEEE/ACM International Conference on Automated Software Engineering.

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

  139. Preliminary Safety Analysis of a Wearable Clinic for the Early Detection of Psychotic Relapse

    Habli, I., Stockton-Powdrell, C., Machin, M., Fraccaro, P., Lewis, S. & Peek, N., 2020, Digital Personalized Health and Medicine. Pape-Haugaard, L. B., Lovis, C., Cort Madsen, I., Weber, P., Hostrup Nielsen, P. & Scott, P. (eds.). p. 1367-1368 2 p. (Studies in Health Technology and Informatics; vol. 270).

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

  140. Secure and Efficient Delegation of Elliptic-Curve Pairing

    Kahrobaei, D., Di Crescenzo, G., Khodjaeva, M. & Shpilrain, V., 2020, ACNS 2020, Applied Cryptography and Network Security. Lecture Notes in Computer Science 682, Springer-Verlag, 20 p.

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

  141. 2019
  142. Postreproductive killer whale grandmothers improve the survival of their grandoffspring

    Nattrass, S., Croft, D. P., Ellis, S., Cant, M. A., Weiss, M. N., Wright, B., Stredulinsky, E., Doniol-Valcroze, T., Ford, J. K. B., Balcomb, K. C. & Franks, D. W., 26 Dec 2019

    Article in Proceedings of the National Academy of Sciences of the United States of America

  143. Work-In-Progress: Real-Time RPC for Hybrid Dual-OS System

    Pan, D., Jiang, Z., Burns, A., Ding, Y. & Ma, J., 15 Dec 2019, 2019 IEEE Real-Time Systems Symposium (RTSS). IEEE, p. 1-4 4 p. (Real-Time Systems Symposium (RTSS)).

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

  144. Co-created evaluation: Identifying how games support police learning

    Adams, A., Hart, J., Iacovides, I., Beavers, S., Oliveira, M. & Magroudi, M., 1 Dec 2019

    Article in International Journal of Human Computer Studies

  145. BxDF material acquisition, representation, and rendering for VR and design

    Guarnera, C., Guarnera, D., Ward, G. J., Glencross, M. & Hall, I., 30 Nov 2019, SIGGRAPH Asia 2019 Courses. Association for Computing Machinery (ACM), p. 1- 17 17 p. 121. (SA ’19).

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

  146. Human factors challenges for the safe use of artificial intelligence in patient care

    Sujan, M., White, S., Furniss, D., Habli, I., Grundy, K., Grundy, H., Nelson, D., Elliott, M. & Reynolds, N., 27 Nov 2019

    Article in BMJ Health and Care Informatics

  147. Why is it so difficult to govern mobile apps in healthcare?

    Magrabi, F., Habli, I., Sujan, M., Wong, D., Thimbleby, H., Baker, M. & Coiera, E., 18 Nov 2019

    Article in BMJ Health and Care Informatics

  148. A Calculus of Space, Time, and Causality: its Algebra, Geometry, Logic

    Hoare, T., Struth, G. & Woodcock, J. C. P., 4 Nov 2019, Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. Ribeiro, P. & A. S. (eds.). Lecture Notes in Computer Science, Vol. 11885.

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

  149. Probabilistic Semantics for RoboChart A Weakest Completion Approach

    Woodcock, JAMES. C. P., Cavalcanti, A. L. C., Foster, S. D. & Mota, A., 4 Nov 2019, Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. Ribeiro, P. & Sampaio, A. (eds.). Lecture Notes in Computer Science, Vol. 11885.

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

  150. “Horror, guilt and shame” – Uncomfortable Experiences in Digital Games

    Gowler, C. P. R. & Iacovides, I., 17 Oct 2019, CHI PLAY 2019 - Proceedings of the Annual Symposium on Computer-Human Interaction in Play. Association for Computing Machinery, Inc, p. 325-337 13 p. (CHI PLAY 2019 - Proceedings of the Annual Symposium on Computer-Human Interaction in Play).

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

  151. “One of the baddies all along”: Moments that challenge a player’s perspective

    Whitby, M. A., Deterding, S. & Iacovides, I., 17 Oct 2019, CHI PLAY 2019 - Proceedings of the Annual Symposium on Computer-Human Interaction in Play. Association for Computing Machinery, Inc, p. 339-350 12 p. (CHI PLAY 2019 - Proceedings of the Annual Symposium on Computer-Human Interaction in Play).

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

  152. Half-lives of Sr 73 and y 76 and the consequences for the proton dripline

    Sinclair, L., Wadsworth, R., Dobaczewski, J., Pastore, A., Lorusso, G., Suzuki, H., Ahn, D. S., Baba, H., Browne, F., Davies, P. J., Doornenbal, P., Estrade, A., Fang, Y., Fukuda, N., Henderson, J., Isobe, T., Jenkins, D. G., Kubono, S., Li, Z., Lubos, D. & 14 others, Nishimura, S., Nishizuka, I., Patel, Z., Rice, S., Sakurai, H., Shimizu, Y., Schury, P., Takeda, H., Söderström, P. A., Sumikama, T., Watanabe, H., Werner, V., Wu, J. & Xu, Z. Y., 16 Oct 2019

    Article in Physical Review C

  153. Integrating Existing Safety Analyses into SysML

    Clegg, K. D., McDermid, J. A., Grigg, A. & Mole, L., 11 Oct 2019, Model-Based Safety and Assessment (IMBSA) 2019: Lecture Notes in Computer Science. Papadopoulos, Y., Aslansefat, K. & Katsaros, P. (eds.). 2019 ed. Springer Nature, Vol. 11842. p. 63-77 15 p.

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

  154. Certification of Highly Automated Vehicles for Use on UK Roads: Creating An Industry-Wide Framework for Safety

    Koopman, P., Hierons, R., Khastgir, S., Clark, J., Fisher, M., Alexander, R., Eder, K., Thomas, P., Barrett, G., Torr, P., Blake, A., Ramamoorthy, S. & McDermid, J. A., Oct 2019, Five AI Ltd.

    Research output: Book/ReportOther report

  155. Automatic Detection of At-Most-One and Exactly-One Relations for Improved SAT Encodings of Pseudo-Boolean Constraints

    Ansótegui, C., Bofill, M., Coll, J., Dang, N., Esteban, J. L., Miguel, I. J., Nightingale, P., Salamon, A. Z., Suy, J. & Villaret, M., 30 Sep 2019, Proceedings of the 25th International Conference on Principles and Practice of Constraint Programming. Springer, p. 20-36 17 p.

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

  156. Hybrid Relations in Isabelle/UTP

    Foster, S. D., 23 Sep 2019, 7th International Symposium on Unifying Theories of Programming (UTP). Springer, p. 130-153 24 p. (Lecture Notes in Computer Science; vol. 11885).

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

  157. Evolution of Formal Model-based Assurance Cases for Autonomous Robots

    Gleirscher, M., Foster, S. D. & Nemouchi, Y., 9 Sep 2019, Software Engineering and Formal Methods. Springer, p. 87-104 18 p. (Lecture Notes in Computer Science; vol. 11724).

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

  158. Predicting Visual Memory Schemas with Variational Autoencoders

    Kyle-Davidson, C. P., Bors, A. G. & Evans, K., Sep 2019, Proc. British Machine Vision Conference (BMVC).

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

  159. Performance evaluation of HEVC RCL applications mapped onto NoC-based embedded platforms

    Penny, W., Palomino, D., Porto, M., Zatt, B. & Indrusiak, L., 26 Aug 2019, Proceedings - 32nd Symposium on Integrated Circuits and Systems Design, SBCCI 2019. Association for Computing Machinery, Inc, a7. (Proceedings - 32nd Symposium on Integrated Circuits and Systems Design, SBCCI 2019).

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

  160. Social preferences and network structure in a population of reef manta rays

    Perryman, R. J. Y., Venables, S. K., Tapilatu, R. F., Marshall, A. D., Brown, C. & Franks, D. W., 22 Aug 2019

    Article in Behavioral Ecology and Sociobiology

  161. Tighter dimensioning of heterogeneous multi-resource autonomous CPS with control performance guarantees

    Roy, D., Chang, W., Mitter, S. & Chakraborty, S., 22 Aug 2019, DAC '19: Proceedings of the 56th Annual Design Automation Conference 2019. 10

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

  162. Secure Delegation to a Single Malicious Server: Exponentiation in RSA-type Groups

    Kahrobaei, D., Di Crescenzo, G., Khodjaeva, M. & Shpilrain, V., 19 Aug 2019, 2019 IEEE Conference on Communications and Network Security (CNS): Workshops: SPC: 5th IEEE Workshop on Security and Privacy in the Cloud 2019.

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

  163. Full-System Modeling and Simulation: Contributions Towards Coupling Contention and I/O

    Chester, D., Wright, S. A., Hammond, S. D., Law, T. R., Smedley-Stevenson, R., Maheswaran, S. & Jarvis, S. A., 15 Aug 2019.

    Research output: Contribution to conferencePosterpeer-review

  164. Variability management in safety‐critical systems design and dependability analysis

    De Oliveira, A., Bessi, R., Masiero, P. C., Parker, D., Papadopoulos, Y., Habli, I. & Kelly, T., 12 Aug 2019

    Article in Journal of Software: Evolution and Process

  165. Towards a Framework for Safety Assurance of Autonomous Systems

    McDermid, J. A., Jia, Y. & Habli, I., 11 Aug 2019, Artificial Intelligence Safety 2019. Espinoza, H., Yu, H., Huang, X., Lecue, F., Chen, C., Hernandex-Orallo, J., o hEigeartaigh, S. & Mallah, R. (eds.). CEUR Workshop Proceedings, Vol. 2419. p. 1-7 8 p.

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

  166. Athanor: High-Level Local Search Over Abstract Constraint Specifications in Essence

    Attieh, S. W. A., Dang, N., Jefferson, C., Miguel, I. & Nightingale, P., 10 Aug 2019, Proceedings of the 28th International Joint Conference on Artificial Intelligence. International Joint Conferences on Artificial Intelligence, p. 1056-1063 8 p.

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

  167. Three Reasons Why: Framing the Challenges of Assuring AI

    Johnson, N. L. & Fang, X., 9 Aug 2019, Three Reasons Why: Framing the Challenges of Assuring AI.

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

  168. A SysML Profile for Fault Trees: Linking Safety Models to System Design

    Clegg, K. D., McDermid, J. A., Grigg, A. & Mole, L., 8 Aug 2019, Computer Safety, Reliability, and Security: SAFECOMP 2019. Romanovsky, A. & Troubitsyna, E. (eds.). Springer Nature, Vol. 11698. p. 85-93 (Lecture Notes in Computer Science; vol. 11698).

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

  169. Fault-tolerant Transmission of Messages of Differing Criticalities Across a Shared Communication Media

    Agrawa, K., Baruah, S. & Burns, A., 1 Aug 2019.

    Research output: Contribution to conferencePaperpeer-review

  170. Developing a Safety Case for Electronic Prescribing

    Jia, Y., Lawton, T., White, S. P. & Habli, I., Aug 2019, Studies in Health Technology and Informatics: MEDINFO2019. Vol. 264. p. 629-633 5 p.

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

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

    Liao, Z., Sharma, C., Cussens, J. & van Beek, P., 17 Jul 2019, Proceedings of the AAAI Conference on Artificial Intelligence, 33(01). AAAI Press, p. 7892-7899 8 p. (Proceedings of the AAAI Conference on Artificial Intelligence; vol. 33, no. 1).

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

  172. Deep Reinforcement Learning Based Parameter Control in Differential Evolution

    Sharma, M., Komninos, A., López-Ibáñez, M. & Kazakov, D. L., 13 Jul 2019, GECCO '19: Proceedings of the Genetic and Evolutionary Computation Conference. ACM, p. 709-717 (ACM Proceedings).

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

  173. Deep Supervised Hashing using Symmetric Relative Entropy

    Zhang, X., Zhou, L., Bai, X., Luan, X., Luo, J. & Hancock, E. R., 11 Jul 2019

    Article in Pattern Recognition Letters

  174. Detecting Causal Links between Financial News and Stocks

    Qu, H. & Kazakov, D. L., 11 Jul 2019, Proceedings of IEEE Conference on Computational Intelligence for Financial Engineering and Economics: (CIFEr 2019). Shenzhen, China: IEEE, p. 156-163 9 p. (IEEE Symposium on Computational Intelligence for Financial Engineering and Economics).

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

  175. Incorporating Robustness and Resilience into Mixed-Criticality Scheduling Theory

    Baruah, S. & Burns, A., 11 Jul 2019, 2019 IEEE 22nd International Symposium on Real-Time Distributed Computing (ISORC). IEEE, p. 155-162 8 p. (nternational Symposium on Real-Time Distributed Computing (ISORC)).

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

  176. Industrial Application of a Partitioning Scheduler to Support Mixed Criticality Systems

    Law, S. A., Bate, I. J. & Lesage, B. M. J-R., 8 Jul 2019, Proceedings of the 31st Euromicro Conference on Real-Time Systems (ECRTS 2019).

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

  177. An XML-based Factory Description Language for Smart Manufacturing Plants in Industry 4.0: Factory Description Language

    Zhao, S., Dziurzanski, P. & Soares Indrusiak, L., 3 Jul 2019, International Workshop on Reconfigurable and Communication-centric Cyber-Physical Systems.

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

  178. Integrated Process Planning and Scheduling in Commercial Smart Kitchens

    Dziurzanski, P., Zhao, S. & Soares Indrusiak, L., 3 Jul 2019, International Workshop on Reconfigurable and Communication-centric Cyber-Physical Systems (ReCoCyPS 2019). 6 p.

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

  179. A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems

    Maiza, C., Rihani, H., Rivas, J., goossens, J., Altmeyer, S. & Davis, R. I., Jul 2019

    Article in ACM Comput. Surv.

  180. Evolving Graphs with Horizontal Gene Transfer

    Plump, D., Atkinson, T. & Stepney, S., Jul 2019, Proceedings Genetic and Evolutionary Computation Conference (GECCO 2019). ACM, p. 968-976

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

  181. From Java to real-time Java: A model-driven methodology with automated toolchain

    Chang, W., Zhao, S., Wei, R., Wellings, A. J. & Burns, A., 23 Jun 2019, LCTES 2019: Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems. Phoenix AZ USA: ACM, p. 123-134 12 p.

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

  182. A Database and Evaluation for Classification of RNA Molecules Using Graph Methods

    Algul, E. & Wilson, R. C., 13 Jun 2019, Graph-Based Representations in Pattern Recognition - 12th IAPR-TC-15 International Workshop, GbRPR 2019, Tours, France, June 19-21, 2019, Proceedings. Springer, p. 78-87 10 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  183. Perspectives on Assurance Case Development for Retinal Disease Diagnosis Using Deep Learning

    Picardi, C. & Habli, I., Jun 2019, AIME 2019: Artificial Intelligence in Medicine . Springer, p. 365-370 (Lecture Notes in Artificial Intelligence; vol. 11526).

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

  184. Femtosecond laser-heating effect on the magnetization dynamics in perpendicularly magnetized Ta/CoFeB/MgO film

    Liu, B., Yang, L., Ruan, X., Cai, J. W., He, L., Meng, H., Wu, J. & Xu, Y., 29 May 2019

    Article in New Journal of Physics

  185. Influencers in Multiplayer Online Shooters Evidence of Social Contagion in Playtime and Social Play

    Canossa, A., Azadvar, A., Harteveld, C., Drachen, A. & Deterding, C. S., 2 May 2019, CHI '19 Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems. New York : ACM, 12 p.

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

  186. The role of gaming during difficult life experiences

    Iacovides, I. & Mekler, E. D., 2 May 2019, CHI 2019 - Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery (ACM)

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

  187. Crossflow: A framework for distributed mining of software repositories

    Kolovos, D., Neubauer, P., Barmpis, K., Matragkas, N. & Paige, R., 1 May 2019, Proceedings - 2019 IEEE/ACM 16th International Conference on Mining Software Repositories, MSR 2019. IEEE Computer Society Press, p. 155-159 5 p. 8816734. (IEEE International Working Conference on Mining Software Repositories; vol. 2019-May).

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

  188. Domain-specific languages for the design, deployment and manipulation of heterogeneous databases

    Kolovos, D., Medhat, F., Paige, R., Di Ruscio, D., Van Der Storm, T., Scholze, S. & Zolotas, A., 1 May 2019, Proceedings - 2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering, MiSE 2019. Institute of Electrical and Electronics Engineers Inc., p. 89-92 4 p. 8876980. (Proceedings - 2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering, MiSE 2019).

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

  189. Feature selection method for image steganalysis based on weighted inner-inter class distance and dispersion criterion

    Ma, Y., Luo, X., Li, Z., Zhang, Y. & Bors, A. G., May 2019, Proc. ACM Turing Celebration Conference - China. ACM, 5 p. 66

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

  190. Latent Distribution Preserving Deep Subspace Clustering

    Zhou, L., Xiao, B., wang, D., Liu, X., Zhou, J. & Hancock, E. R., May 2019, p. 4440-4446. 7 p.

    Research output: Contribution to conferencePaperpeer-review

  191. Solving the Multi-Objective Flexible Job-Shop Scheduling Problem with Alternative Recipes for a Chemical Production Process

    Dziurzanski, P., Zhao, S., Swan, J., Soares Indrusiak, L., Scholze, S. & Krone, K., 24 Apr 2019, Applications of Evolutionary Computation - 22nd International Conference, EvoApplications 2019, Held as Part of EvoStar 2019, Proceedings. Kaufmann, P. & Castillo, P. A. (eds.). p. 33-48 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11454 LNCS).

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

  192. Exploiting system dynamics for resource-efficient automotive CPS design

    Maldonado, L., Chang, W., Roy, D., Annaswamy, A., Goswami, D. & Chakraborty, S., 29 Mar 2019, 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE). p. 234-239

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

  193. AI and Automatic Music Generation for Mindfulness

    Williams, D., Hodge, V. J., Gega, L., Murphy, D., Cowling, P. I. & Drachen, A., 17 Mar 2019. 10 p.

    Research output: Contribution to conferencePaperpeer-review

  194. Perpetual Assurances for Self-Adaptive Systems

    Weyns, D., Bencomo, N., Calinescu, R., Cámara, J., Ghezzi, C., Grassi, V., Grunske, L., Inverardi, P., Jézéquel, J-M., Malek, S., Mirandola, R., Mori, M. & Tamburrelli, G., 12 Mar 2019, Software Engineering for Self-Adaptive Systems III. Assurances. Springer, p. 31-63 33 p. (Lecture Notes in Computer Science; vol. 9640).

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

  195. Multimillijoule coherent terahertz bursts from picosecond laser-irradiated metal foils

    Liao, G., Li, Y., Liu, H., Scott, G. G., Neely, D., Zhu, B., Armstrong, C., Zhang, Z., Zemaityte, E., Bradford, P., Huggard, P. G., Rusby, D. R., McKenna, P., Brenner, C. M., Woolsey, N. C., Zhang, Y., Wang, W., Sheng, Z. & Zhang, J., 5 Mar 2019

    Article in Proceedings of the National Academy of Sciences of the United States of America

  196. Multi-core cyclic executives for safety-critical systems

    Deutschbein, C., Fleming, T. D., Burns, A. & Baruah, S., 1 Mar 2019

    Article in Science of Computer Programming

  197. Active versus expectant management for women in the third stage of labour

    Begley, C. M., Gyte, G. M., Devane, D., McGuire, W., Weeks, A. & Biesty, L. M., 13 Feb 2019

    Article in Cochrane Database of Systematic Reviews

  198. Pointers inside lambda closure objects in OpenMP target offload regions

    Truby, D., Bertolli, C., Wright, S. A., Bercea, G-T., O'Brien, K. & Jarvis, S., 11 Feb 2019, Proceedings of LLVM-HPC 2018: 5th Workshop on the LLVM Compiler Infrastructure in HPC, Held in conjunction with SC 2018: The International Conference for High Performance Computing, Networking, Storage and Analysis. Institute of Electrical and Electronics Engineers Inc., p. 10-17 8 p. 8639410. (Technical Consortium on High Performance Computing).

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

  199. Toward the limit of nuclear binding on the N=Z line: Spectroscopy of Cd 96

    Davies, P. J., Park, J., Grawe, H., Wadsworth, R., Gernhäuser, R., Krücken, R., Nowacki, F., Ahn, D. S., Ameil, F., Baba, H., Bäck, T., Blank, B., Blazhev, A., Boutachkov, P., Browne, F., Čeliković, I., Dewald, M., Doornenbal, P., Faestermann, T., Fang, Y. & 60 others, De France, G., Fukuda, N., Gengelbach, A., Gerl, J., Giovinazzo, J., Go, S., Goel, N., Górska, M., Gregor, E., Hotaka, H., Ilieva, S., Inabe, N., Isobe, T., Jenkins, D. G., Jolie, J., Jung, H. S., Jungclaus, A., Kameda, D., Kim, G. D., Kim, Y. K., Kojouharov, I., Kubo, T., Kurz, N., Lewitowicz, M., Lorusso, G., Lubos, D., Maier, L., Merchan, E., Moschner, K., Murai, D., Naqvi, F., Nishibata, H., Nishimura, D., Nishimura, S., Nishizuka, I., Patel, Z., Pietralla, N., Rajabali, M. M., Rice, S., Sakurai, H., Schaffner, H., Shimizu, Y., Sinclair, L. F., Söderström, P. A., Steiger, K., Sumikama, T., Suzuki, H., Takeda, H., Taprogge, J., Thöle, P., Valder, S., Wang, Z., Warr, N., Watanabe, H., Werner, V., Wu, J., Xu, Z. Y., Yagi, A., Yoshinaga, K. & Zhu, Y., 11 Feb 2019

    Article in Physical Review C

  200. Do professional facial image comparison training courses work?

    Towler, A., Kemp, R. I., Mike Burton, A., Dunn, J. D., Wayne, T., Moreton, R. & White, D., 1 Feb 2019

    Article in PLoS ONE

  201. Supporting engagement in research through a game design competition

    Iacovides, I., Cox, A. L., Furniss, D., Stawarz, K., Jennett, C. & Adams, A., 1 Feb 2019

    Article in Research for All

  202. Polar Transformation on Image Features for Orientation-Invariant Representations

    Chen, J., Lue, Z., Zhang, Z., Huang, F., Ye, Z., Tagiuchi, T. & Hancock, E. R., Feb 2019

    Article in IEEE Transactions on Multimedia

  203. Safety Assurance Objectives for Autonomous Systems

    Alexander, R., Ashmore, R., Banks, A., Bradshaw, B., Bragg, J., Clegg, J., Harper, C., Menon, C., Rivett, R. S., Ryan, P., Tudor, N., Tushingham, S., Birch, J., Burski, L., Coley, T., Lewis, N., Neal, K., Price, A., Reid, S., Simpson, A. & 1 others, Steel, R., Feb 2019, 1.0 ed. Safety Critical Systems Club. 66 p.

    Research output: Book/ReportBook

  204. A psychometric evaluation of emotional responses to horror music

    Williams, D., Wu, C. Y., Hodge, V. J., Murphy, D. & Cowling, P. I., 1 Jan 2019. 9 p.

    Research output: Contribution to conferencePaperpeer-review

  205. Conditional channel simulation

    Pirandola, S., Laurenza, R. & Banchi, L., Jan 2019

    Article in Annals of Physics

  206. Co-designing the computational model and the computing substrate

    Stepney, S., 2019, p. 5–14. 10 p.

    Research output: Contribution to conferencePaper

  207. The role of structure and complexity on Reservoir Computing quality

    Dale, M., Dewhirst, J. D., O'Keefe, S. E. M., Sebald, A. A-M., Stepney, S. & Trefzer, M. A., 2019, p. 52–64. 13 p.

    Research output: Contribution to conferencePaperpeer-review

  208. The role of the representational entity in physical computing

    Stepney, S. & Kendon, V., 2019, p. 219–231. 13 p.

    Research output: Contribution to conferencePaperpeer-review

  209. 2018
  210. Pinset: A DSL for extracting datasets from models for data mining-based quality analysis

    De La Vega, A., Sanchez, P. & Kolovos, D. S., 26 Dec 2018, Proceedings - 2018 International Conference on the Quality of Information and Communications Technology, QUATIC 2018. Institute of Electrical and Electronics Engineers Inc., p. 83-91 9 p. 8590174. (Proceedings - 2018 International Conference on the Quality of Information and Communications Technology, QUATIC 2018).

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

  211. Perceptually Validated Cross-Renderer Analytical BRDF Parameter Remapping

    Guarnera, D., Guarnera, G. C., Toscani, M., Glencross, M., Li, B., Hardeberg, J. Y. & Gegenfurtner, K., 14 Dec 2018

    Article in IEEE Transactions on Visualization and Computer Graphics

  212. 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. (IEEE/CVF Conference on Computer Vision and Pattern Recognition).

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

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

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

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

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

  217. Supporting Critical Modes in AirTight

    Harbin, J. R., Griffin, D. J., Burns, A., Bate, I. J., Davis, R. I. & Soares Indrusiak, L., Dec 2018, p. 7-12. 6 p.

    Research output: Contribution to conferenceOtherpeer-review

  218. What is the Safety Case for Health IT? A Study of Assurance Practices in England

    Habli, I., White, S. P., Sujan, M., Harrison, S. & Ugarte, M., Dec 2018

    Article in Safety science

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

  220. Rapid Integration of CPS Security and Safety

    McDermid, J. A., Asplund, F., Oates, R. & Roberts, J., 5 Nov 2018

    Article in IEEE Embedded Systems Letters

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

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

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

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

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

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

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

  228. The Moral Responsibility Gap and the Increasing Autonomy of Systems

    Porter, Z. L. M., Habli, I., Monkhouse, H. E. & Bragg, J. E., 18 Sep 2018.

    Research output: Contribution to conferencePaperpeer-review

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

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

  231. Quantum enhanced measurements without entanglement

    Braun, D., Adesso, G., Benatti, F., Floreanini, R., Marzolino, U., Mitchell, M. W. & Pirandola, S., 5 Sep 2018

    Article in Reviews of Modern Physics

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

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

  234. What is Acceptably Safe for Reinforcement Learning?

    Bragg, J. E. & Habli, I., Sep 2018.

    Research output: Contribution to conferencePaperpeer-review

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

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

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

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

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

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

  241. Indifferentiable Authenticated Encryption

    Barbosa, M. & Farshim, P., 25 Jul 2018, Advances in Cryptology – CRYPTO 2018. Shacham, H. & Boldyreva, A. (eds.). Vol. 10991. p. 187-220 24 p.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  255. Interconversion of intrinsic defects in $SrTiO_3(001)$

    Chambers, S. A., Du, Y., Zhu, Z., Wang, J., Wahila, M. J., Piper, L. F. J., Prakash, A., Yue, J., Jalan, B., Spurgeon, S. R., Kepaptsoglou, D. M., Ramasse, Q. M. & Sushko, P. V., 12 Jun 2018

    Article in Physical Review B

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

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

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

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

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

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

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

  263. Gamma decay of pygmy states in 90,94Zr from inelastic scattering of light ions

    Crespi, F. C. L., Bracco, A., Tamii, A., Blasi, N., Camera, F., Wieland, O., Aoi, N., Balabanski, D., Bassauer, S., Brown, A. S., Carpenter, M. P., Carroll, J. J., Ciemala, M., Czeszumska, A., Davies, P. J., Donaldson, L., Fang, Y., Fujita, H., Gey, G., Hoang, T. H. & 28 others, Ichige, N., Ideguchi, E., Inoue, A., Isaak, J., Iwamoto, C., Jenkins, D. G., Jin, O. H., Klaus, T., Kobayashi, N., Koike, T., Krzysiek, M., Kumar Raju, M., Liu, M., Maj, A., Montanari, D., Morris, L., Noji, S., Pickstone, S. G., Savran, D., Spieker, M., Steinhilber, G., Sullivan, C., Wasilewska, B., Werner, V., Yamamoto, T., Yamamoto, Y., Zhou, X. & Zhu, S., 10 May 2018

    Article in Journal of Physics: Conference Series

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

  265. Intelligent support technologies for older people: an analysis of characteristics and roles

    Petrie, H., Darzentas, J. S. & Carmien, S., 9 Apr 2018, Breaking down barriers: usability, accessibility and inclusive design. Langdon, P., Lazar, J., Heylighen, A. & Dong, H. (eds.). Cham, Switzerland: Springer, p. 89-97 9 p.

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

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

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

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

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

  270. How the Business Model of Customisable Card Games Influences Player Engagement

    Hodge, V. J., Sephton, N. J., Devlin, S. M., Cowling, P. I., Goumagias, N., Shao, J., Purvis, K., Cabras, I., Fernandes, K. & Li, F., 12 Mar 2018

    Article in IEEE Transactions on Games

  271. Postreproductive lifespans are rare in mammals

    Ellis, S., Franks, D. W., Nattrass, S., Cant, M. A., Bradley, D. L., Giles, D., Balcomb, K. C. & Croft, D., 5 Mar 2018

    Article in Ecology and Evolution

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

  273. Analyzing Player Networks in Destiny

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

    Article in Entertainment Computing

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

  275. Unconsciously interactive Films in a cinema environment—a demonstrative case study

    Kirke, A., Williams, D., Miranda, E. R., Bluglass, A., Whyte, C., Pruthi, R. & Eccleston, A., 12 Feb 2018

    Article in Digital Creativity

  276. Ethics and the safety of autonomous systems

    Menon, C. & Alexander, R. D., 6 Feb 2018.

    Research output: Contribution to conferencePaper

  277. The State of Solutions for Autonomous Systems Safety

    Alexander, R. D., Ashmore, R. & Banks, A., 6 Feb 2018.

    Research output: Contribution to conferencePaper

  278. Verifiable Classroom Voting in Practice

    Hao, F., Clarke, D., Randell, B. & Shahandashti, S. F., 6 Feb 2018

    Article in IEEE Security & Privacy

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

  280. Online-only friends, real-life friends or strangers? Differential associations with passion and social capital in video game play

    Perry, R., Drachen, A., Kearney, A., Krieglstein, S., Nacke, L. E., Sifa, R., Wallner, G. & Johnson, D., Feb 2018

    Article in Computers in Human Behavior

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

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

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

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

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

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

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

  288. Semantics-preserving cosynthesis of cyber-physical systems

    Roy, D., Zhang, L., Chang, W., Mitter, S. & Chakraborty, S., Jan 2018

    Article in Proceedings of the IEEE

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

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

  291. Hazard and Risk Analysis of Health Informatics: Fundamental Challenges and New Directions

    Habli, I. & White, S. P., 2018.

    Research output: Contribution to conferencePaper

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

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

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

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

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

Previous 1 2 3 Next