Search research publications and outputs

  1. Article › Research › Not peer-reviewed
  2. Article › Research › Peer-reviewed
  3. 3D Modeling of craniofacial ontogeny and sexual dimorphism in children

    Smith, O. A. M., Nashed, Y. S. G., Duncan, C., Pears, N., Profico, A. & O'Higgins, P., 26 Dec 2020, (E-pub ahead of print)

    Article in Anatomical Record

  4. A Comparison of Self-Play Algorithms Under a Generalized Framework

    Hernandez, D., Denamganai, K., Devlin, S., Samothrakis, S. & Walker, J. A., 11 Feb 2021, (E-pub ahead of print)

    Article in IEEE Transactions on Games

  5. A General Purpose Algorithm for Counting Simple Cycles and Simple Paths of Any Length

    Giscard, P-L., Kriege, N. & Wilson, R. C., 15 Feb 2019, (E-pub ahead of print)

    Article in Algorithmica

  6. A Novel CSI Feedback Approach for Massive MIMO using LSTM-Attention CNN

    Li, Q., Zhang, A., Liu, P., Li, J. & Li, C., 3 Jan 2020, (E-pub ahead of print)

    Article in IEEE Access

  7. A Survey of Schedulability Analysis Techniques for Rate-Dependent Tasks

    Feld, T., Biondi, A., Davis, R. I., Buttazzo, G. C. & Slomka, F., 22 Dec 2017, (E-pub ahead of print)

    Article in Journal of Systems and Software

  8. A long postreproductive life span is a shared trait among genetically distinct killer whale populations

    Nielsen, M., Ellis, S., Towers, J., Doniol-Valcroze, T., Franks, D. W., Cant, M., Weiss, M., Johnstone, R. A., Balcomb, K. C., Ellifrit, D. K. & Croft, D., 16 Jun 2021, (E-pub ahead of print)

    Article in Ecology and Evolution

  9. A quantum Jensen-Shannon graph kernel for unattributed graphs

    Bai, L., Rossi, L., Torsello, A. & Hancock, E. R., 4 Apr 2014, (E-pub ahead of print)

    Article in Pattern Recognition

  10. Analyses of ovarian activity reveal repeated evolution of post-reproductive lifespans in toothed whales

    Ellis, S., Franks, D. W., Nattrass, S., Currie, T., Cant, M. A., Giles, D., Balcomb, K. C. & Croft, D. P., 27 Aug 2018, (E-pub ahead of print)

    Article in Scientific Reports

  11. Architecting Time-Critical Big-Data Systems

    Basanta-Val, P., Audsley, N. C., Wellings, A. J., Gray, I. & Fernandez-Garcio, N., 31 Oct 2016, (E-pub ahead of print)

    Article in IEEE Transactions on Big Data

  12. Battery draining attacks against edge computing nodes in IoT networks

    Smith, R. T., Palin, D., Ioulianou, P. P., Vasilakis, V. & Shahandashti, S. F., 20 Jan 2020, (E-pub ahead of print)

    Article in Cyber-Physical Systems

  13. Calculating effect sizes in animal social network analysis

    Franks, D. W., Weiss, M. N., Silk, M. J., Perryman, R. J. Y. & Croft, D. P., 21 Jun 2020, (E-pub ahead of print)

    Article in Methods in ecology and evolution

  14. Cherenkov radiation-based optical fibre diagnostics of fast electrons generated in intense laser-plasma interactions

    Liu, H., Liao, G. Q., Zhang, Y. H., Zhu, B. J., Zhang, Z., Li, Y. T., Scott, G. G., Rusby, D. R., Armstrong, C., Zemaityte, E., Carroll, D. C., Astbury, S., Bradford, P., Woolsey, N. C., McKenna, P. & Neely, D., 8 Aug 2018, (E-pub ahead of print)

    Article in Review of Scientific Instruments

  15. Compositional and Local Livelock Analysis for CSP

    Filho, M. S. C., Oliveira, M. V. M., Sampaio, A. C. A. & Cavalcanti, A. L. C., 12 Jan 2018, (E-pub ahead of print)

    Article in Information Processing Letters

  16. Cross-modal Hashing with Semantic Deep Embedding

    Yan, C., Bai, X., Wang, S., Zhou, J. & Hancock, E. R., 23 Jan 2019, (E-pub ahead of print)

    Article in Neurocomputing

  17. Directed motor-auditory EEG connectivity is modulated by music tempo

    Nicolaou, N., Malik, A., Daly, I., Weaver, J., Hwang, F., Kirke, A., Roesch, E. B., Williams, D., Miranda, E. R. & Nasuto, S. J., 18 Oct 2017, (E-pub ahead of print)

    Article in Frontiers in human neuroscience

  18. Dirichlet Densifiers for Improved Commute Times Estimation

    Curado, M., Escolano, F., Lozano, M. A. & Hancock, E. R., 19 Feb 2019, (E-pub ahead of print)

    Article in Pattern Recognition

  19. End-to-End Verifiable E-Voting Trial for Polling Station Voting

    Hao, F., Wang, S., Bag, S., Procter, R., Shahandashti, S. F., Mehrnezhad, M., Toreini, E., Metere, R. & Liu, L., 30 Jul 2020, (E-pub ahead of print)

    Article in IEEE Security & Privacy

  20. Errors and discrepancies in the administration of intravenous infusions: a mixed methods multihospital observational study

    Lyons, I., Furniss, D., Blandford, A., Chumbley, G., Iacovides, I., Wei, L., Cox, A. L., Mayer, A., Vos, J., Galal-Edeen, G. H., Schnock, K. O., Dykes, P. C., Bates, D. W. & Franklin, B. D., 7 Apr 2018, (E-pub ahead of print)

    Article in BMJ Quality & Safety

  21. Fault-based refinement-testing for CSP

    Cavalcanti, A. L. C. & Simao, A., 21 Mar 2019, (E-pub ahead of print)

    Article in Software Quality Journal

  22. Formal mutation testing for Circus

    Alberto, A., Cavalcanti, A. L. C., Gaudel, M-C. & Simao, A., 21 Apr 2016, (E-pub ahead of print)

    Article in Information and Software Technology

  23. Fused Lasso for Feature Selection using Structural Information

    Bai, L., Cui, L., Wang, Y., Yu, P. S. & Hancock, E. R., 1 Jun 2021, (E-pub ahead of print)

    Article in Pattern Recognition

  24. Growing old: Do women and men age differently?

    Smith, O. A. M., Duncan, C., Pears, N., Profico, A. & O'Higgins, P., 17 Jan 2021, (E-pub ahead of print)

    Article in Anatomical Record

  25. Higher-Order Particle Representation for Particle-in-Cell Simulations

    Brown, D., Bettencourt, M. T., Wright, S. A., Maheswaran, S., Jones, J. P. & Jarvis, S., 8 Mar 2021, (E-pub ahead of print)

    Article in Journal of Computational Physics

  26. Identifying the most informative features using a structurally interacting elastic net

    Cui, L., Bai, L., Zhang, Z., Wang, Y. & Hancock, E. R., 3 Nov 2018, (E-pub ahead of print)

    Article in Neurocomputing

  27. Image retrieval based on query by saliency content

    Papushoy, A. & Bors, A. G., 26 Sep 2014, (E-pub ahead of print)

    Article in Digital Signal Processing

  28. Learning Graph Convolutional Networks based on Quantum Vertex Information Propagation

    Bai, L., Jiao, Y., Cui, L., Rossi, L., Wang, Y., Yu, P. S. & Hancock, E. R., 24 Aug 2021, (E-pub ahead of print)

    Article in IEEE Transactions on Knowledge and Data Engineering

  29. Local-global nested graph kernels using nested complexity traces

    Bai, L., Cui, L., Rossi, L., xu, L., Xiao, B. & Hancock, E. R., 19 Jun 2018, (E-pub ahead of print)

    Article in Pattern Recognition Letters

  30. Many Suspensions, Many Problems: A Review of Self-Suspending Tasks in Real-Time Systems

    Chen, J-J., Nelissen, G., Huang, W-H. K., Yang, M., Brandenburg, B., Bletsas, K., Liu, C., Richard, P., Ridouard, F., Audsley, N. C., Rajkumar, R., de Niz, D. & von der Bruggen, G., 11 Sep 2018, (E-pub ahead of print)

    Article in Real-Time Systems

  31. Modelling Timed Reactive Systems from Natural-Language Requirements

    Carvalho, G., Cavalcanti, A. L. C. & Sampaio, A. C. A., 26 Jul 2016, (E-pub ahead of print)

    Article in Formal Aspects of Computing

  32. Modelling and Motion Analysis of a Pill-Sized Hybrid Capsule Robot

    Huda, M. N., Liu, P., Saha, C. & Yu, H., 19 Mar 2020, (E-pub ahead of print)

    Article in Journal of Intelligent & Robotic Systems

  33. Multi-Agent Credit Assignment in Stochastic Resource Management Games

    Mannion, P., Devlin, S., Duggan, J. & Howley, E., 24 Aug 2017, (E-pub ahead of print)

    Article in The Knowledge Engineering Review

  34. Multimodal Fusion for Indoor Sound Source Localization

    Chen, J., Takashima, R., Guo, X., Zhang, Z., Xu, X., Takiguchi, T. & Hancock, E. R., 23 Feb 2021, (E-pub ahead of print)

    Article in Pattern recognition

  35. Navigating the Windows Mail database

    Chivers, H. R., 21 Mar 2018, (E-pub ahead of print)

    Article in Digital Investigation

  36. On the effectiveness of cache partitioning in hard real-time systems

    Altmeyer, S., Douma, R., Lunniss, W. R. E. & Davis, R. I., 6 Jan 2016, (E-pub ahead of print)

    Article in Real-Time Systems

  37. Open System Quantum Thermodynamics of Time Varying Graphs

    MINELLO, GIORGIA., Torsello, A. & Hancock, E. R., 20 Feb 2020, (E-pub ahead of print)

    Article in Journal of Complex Networks

  38. Pooling Attention-based Encoder–Decoder Network for semantic segmentation

    Xu, H., Huang, Y., Hancock, E. R., Wang, S., Xuan, Q. & Zhou, W., 22 Jun 2021, (E-pub ahead of print)

    Article in Computers & Electrical Engineering

  39. Quantum Jensen-Shannon Graph Kernels using Discrete-time Quantum Walks

    Bai, L., Rossi, L., Cui, L., Zhang, Z., Ren, P., Xiao, B. & Hancock, E. R., 9 Sep 2016, (E-pub ahead of print)

    Article in Pattern Recognition Letters

  40. Quantum-based subgraph convolutional neural networks

    Zhang, Z., Chen, D., Wang, J., Bai, L. & Hancock, E. R., 6 Nov 2018, (E-pub ahead of print)

    Article in Pattern recognition

  41. Recovering Variations in Facial Albedo from Low Resolution Images

    Xu, C., Zhang, Z., Wang, B., Hu, G. & Hancock, E. R., 22 Sep 2017, (E-pub ahead of print)

    Article in Pattern Recognition

  42. Safety-critical Java for embedded systems

    Schoeberl, M., Dalsgaard, A. E., Hansen, R. R., Korsholm, S., Ravn, A., Rivas, J., Strom, T., Søndergaard, H., Zhao, S. & Wellings, A. J., 14 Dec 2016, (E-pub ahead of print)

    Article in Concurrency and Computation: Practice and Experience

  43. Seeking Affinity Structure: Strategies for Improving m-best Graph Matching

    Curado, M., Escolano, F., Lozano, M. A. & Hancock, E. R., 10 Sep 2019, (E-pub ahead of print)

    Article in Information Sciences

  44. Semi-Supervised Face Frontalization in the Wild

    Zhang, Z., Liang, R., Chen, X., Xu, X., Hu, G., Zuo, W. & Hancock, E. R., 22 Sep 2020, (E-pub ahead of print)

    Article in Information Forensics and Security, IEEE Transactions on

  45. Significant cognitive decline in Parkinson’s disease exacerbates the reliance on visual feedback during upper limb reaches

    Cosgrove, J., Hinder, M., St George, R., Picardi, C., Smith, S. L., Lones, M. A., Jamieson, S. & Alty, J. E., 12 May 2021, (E-pub ahead of print)

    Article in Neuropsychologia

  46. Single Image Super Resolution via Neighbor Reconstruction

    Zhang, Z., Xu, C., Zhang, Z., Chen, G., Cai, Y., Wang, Z., Li, H. & Hancock, E. R., 22 Apr 2019, (E-pub ahead of print)

    Article in Pattern Recognition Letters

  47. Sound reasoning in tock-CSP

    Baxter, J., Ribeiro, P. & Cavalcanti, A., 17 Apr 2021, (E-pub ahead of print)

    Article in Acta Informatica

  48. Static probabilistic timing analysis for real-time systems using random replacement caches

    Altmeyer, S., Cucu-Grosjean, L. & Davis, R. I., 13 Jan 2015, (E-pub ahead of print)

    Article in Real-Time Systems

  49. Statistical Mechanical Analysis for Unweighted and Weighted Stock Market Networks

    Wang, J., Guo, X., Li, W., Wu, X., Zhang, Z. & Hancock, E. R., 22 Jun 2021, (E-pub ahead of print)

    Article in Pattern recognition

  50. Stochastic domain wall depinning in permalloy nanowires with various types of notches

    Gao, Y., You, B., Yang, H. L., Zhan, Q. F., Li, Z., Lei, N., Zhao, W. S., Wu, J., Tu, H. Q., Wang, J., Wei, L. J., Zhang, W., Xu, Y. B. & Du, J., 29 Dec 2016, (E-pub ahead of print)

    Article in RSC Advances

  51. Structural network inference from time-series data using a generative model and transfer entropy

    Zhang, Z., Zhang, G., Zhang, Z., Chen, G., Zeng, Y., Wang, B. & Hancock, E. R., 25 May 2019, (E-pub ahead of print)

    Article in Pattern Recognition Letters

  52. The Anatomical Society's core anatomy syllabus for undergraduate nursing

    Connolly, S. A., Gillingwater, T. H., Chandler, C., Grant, A. W., Greig, J., Meskell, M., Ross, M. T., Smith, C. F., Wood, A. F. & Finn, G. M., 7 Feb 2018, (E-pub ahead of print)

    Article in Journal of Anatomy

  53. Thermodynamic Motif Analysis for Directed Stock Market Networks

    Chen, D., Guo, X., Wang, J., Liu, J., Zhang, Z. & Hancock, E. R., 2 Feb 2021, (E-pub ahead of print)

    Article in Pattern recognition

  54. Turning a Digital Camera into an Absolute 2D Tele-Colorimeter

    Guarnera, G. C., Bianco, S. & Schettini, R., 10 Apr 2018, (E-pub ahead of print)

    Article in Computer graphics forum

  55. Using formal reasoning on a model of tasks for FreeRTOS

    Woodcock, J. C. P., Cheng, S. & D'Souza, D., 20 Aug 2014, (E-pub ahead of print)

    Article in Formal Aspects of Computing

  56. Verified simulation for robotics

    Cavalcanti, A., Sampaio, A., Miyazawa, A., Ribeiro, P., Filho, M. C., Didier, A., Li, W. & Timmis, J., 11 Jan 2019, (E-pub ahead of print)

    Article in Science of Computer Programming

  57. Editorial › Research › Peer-reviewed
  58. Special issue › Research › Peer-reviewed
  59. Conference contribution › Research
  60. Analysing RoboChart with probabilities

    Conserva Filho, M. S., Marinho, R., Mota, A. & Woodcock, J., 24 Oct 2018, (E-pub ahead of print) Formal Methods: Foundations and Applications - 21st Brazilian Symposium, SBMF 2018, Proceedings. Massoni, T. & Mousavi, M. R. (eds.). Springer-Verlag, p. 198-214 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11254 LNCS).

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

  61. Analysis and Refactoring of Software Systems Using Performance Antipattern Profiles

    Calinescu, R., Cortelessa, V., Stefanakos, I. & Trubiani, C., 17 Mar 2020, (E-pub ahead of print) 23rd International Conference on Fundamental Approaches to Software Engineering. p. 357-377 21 p.

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

  62. Bragg Diffraction Patterns as Graph Characteristics

    Escolano, F. & Hancock, E. R., 22 Mar 2018, (E-pub ahead of print) Eleventh International Conference on Energy Minimisation Methods in Computer Vision and Pattern Recognition. Springer Nature, Vol. 10746. p. 59-72 13 p. (Lecture Notes in Computer Science).

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

  63. CONNER: A Concurrent ILP Learner in Description Logic

    Algahtani, E. & Kazakov, D. L., 5 Jun 2020, (E-pub ahead of print) Inductive Logic Programming: 29th International Conference, ILP 2019. Springer, p. 1-15 15 p. (LNAI; no. 11770).

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

  64. Deep Face Model Compression Using Entropy-based Filter Selection

    Han, B., Zhang, Z., Xu, C., Wang, B., Hu, G., Bai, L., Hong, Q. & Hancock, E. R., 13 Oct 2017, (E-pub ahead of print) Proceedings ICIAP 2017: Lecture Notes in Computer Science. Springer Berlin / Heidelberg, Vol. 10485. p. 127-136

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

  65. Deep Parameter Tuning of Concurrent Divide and Conquer Algorithms in Akka

    White, D. R., Joffe, L., Bowles, E. & Swan, J., 25 Mar 2017, (E-pub ahead of print) Applications of Evolutionary Computation: 20th European Conference, EvoApplications 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings, Part II. Squillero, G. & Sim, K. (eds.). Cham: Springer International Publishing Switzerland, p. 35-48 14 p.

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

  66. DeepFault: Fault Localization for Deep Neural Networks

    Gerasimou, S., Eniser, H. F. & Sen, A., 15 Feb 2019, (E-pub ahead of print) 22nd International Conference on Fundamental Approaches to Software Engineering. Springer-Verlag

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

  67. Engineering bidirectional transformations

    Paige, R. F., 28 Mar 2018, (E-pub ahead of print) Bidirectional Transformations: International Summer School, Oxford, UK, July 25-29, 2016, Tutorial Lectures. Gibbons, J. & Stevens, P. (eds.). Springer-Verlag, Vol. 9715 LNCS. p. 151-187 37 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9715 LNCS).

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

  68. Evolving Graphs by Graph Programming

    Atkinson, T., Plump, D. & Stepney, S., 2 Mar 2018, (E-pub ahead of print) Proceedings 21st European Conference on Genetic Programming (EuroGP 2018). Springer, 16 p. (Lecture Notes in Computer Science; vol. 10781).

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

  69. Formalising Cosimulation Models

    Zeyda, F., Ouy, J., Foster, S. D. & Cavalcanti, A. L. C., Sep 2017, (E-pub ahead of print) 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems (CoSim-CPS 2017). 15 p.

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

  70. From formalised state machines to implementation of robotic controllers

    Li, W., Miyazawa, A. H., De Oliveira Salazar Ribeiro, P. F., Cavalcanti, A. L. C., Woodcock, JAMES. C. P. & Timmis, J. I., Sep 2016, (E-pub ahead of print) 13th International Conference on Distributed Autonomous Robotic Systems. London, UK: Springer-Verlag, 14 p. (Springer Tracts in Advanced Robotics).

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

  71. GPU-Accelerated Hypothesis Cover Set Testing for Learning in Logic

    Algahtani, E. & Kazakov, D. L., 2018, (E-pub ahead of print) CEUR Proceedings of the 28th International Conference on Inductive Logic Programming. CEUR Workshop Proceedings

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

  72. Grouping Multi-vector Streaklines for Human Activity Identification

    Stephens, K. & Bors, A. G., 4 Aug 2016, (E-pub ahead of print) Proc. IEEE Workshop on Image, Video and Multidimensional Signal Processing. IEEE, p. 1-5 6 p.

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

  73. Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods

    Nemouchi, Y., Foster, S. D., Gleirscher, M. & Kelly, T. P., 22 Nov 2019, (E-pub ahead of print) Integrated Formal Methods: Proceedings of the 15th International Conference. Springer International Publishing, Vol. 11918. p. 379-398 20 p. (LNCS).

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

  74. Linear Depth Estimation from an Uncalibrated, Monocular Polarisation Image

    Smith, W. A. P., Ramamoorthi, R. & Tozza, S., 17 Sep 2016, (E-pub ahead of print) Lecture Notes in Computer Science. p. 109-125 17 p. (Lecture Notes in Computer Science; vol. 9912).

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

  75. Metagame Autobalancing for Competitive Multiplayer Games

    Hernandez, D., Gbadamosi, C., Goodman, J. & Walker, J. A., 5 Jun 2020, (E-pub ahead of print) Proceedings of the IEEE Conference on Games 2020. IEEE, 8 p.

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

  76. Metrics for energy-aware software optimisation

    Roberts, S. I., Wright, S. A., Fahmy, S. A. & Jarvis, S. A., 12 May 2017, (E-pub ahead of print) High Performance Computing - 32nd International Conference, ISC High Performance 2017, Proceedings. Springer-Verlag, Vol. 10266 LNCS. p. 413-430 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10266 LNCS).

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

  77. Model-Driven Simulation-Based Analysis for Multi-Robot Systems

    Harbin, J. R., Gerasimou, S., Matragkas, N., Zolotas, A. & Calinescu, R., 1 Aug 2021, (E-pub ahead of print) MODELS 2021: ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS).

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

  78. Performance and Usability of Visual and Verbal Verification of Word-based Key Fingerprints

    Livsey, L., Petrie, H., Shahandashti, S. F. & Fray, A., 8 Jul 2021, (E-pub ahead of print) International Symposium on Human Aspects of Information Security & Assurance, Proceedings. Springer, Vol. 613. p. 199 210 p.

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

  79. Sparse, Continuous Policy Representations for Uniform Online Bin Packing via Regression of Interpolants

    Drake, J. H., Swan, J., Neumann, G. & Özcan, E., 9 Mar 2017, (E-pub ahead of print) Evolutionary Computation in Combinatorial Optimization: 17th European Conference, EvoCOP 2017, Amsterdam, The Netherlands, April 19-21, 2017, Proceedings. Hu, B. & López-Ibáñez, M. (eds.). Cham: Springer International Publishing Switzerland, p. 189-200 12 p.

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

  80. Stress-Testing Centralised Model Stores

    García-Domínguez, A., Barmpis, K., Kolovos, D. S., Wei, R. & Paige, R. F., 23 Jun 2016, (E-pub ahead of print) Modelling Foundations and Applications - 12th European Conference, ECMFA 2016, Held as Part of STAF 2016, Vienna, Austria, July 6-7, 2016, Proceedings. Springer, p. 48-63 16 p.

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

  81. Towards a framework for writing executable natural language rules

    Barmpis, K., Kolovos, D. & Hingorani, J., 29 May 2018, (E-pub ahead of print) Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Proceedings. Springer-Verlag, Vol. 10890 LNCS. p. 251-263 13 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

  82. Towards efficient loading of change-based models

    Yohannis, A., Rodriguez, H. H., Polack, F. & Kolovos, D., 29 May 2018, (E-pub ahead of print) Modelling Foundations and Applications - 14th European Conference, ECMFA 2018, Held as Part of STAF 2018, Proceedings. Springer-Verlag, Vol. 10890 LNCS. p. 235-250 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

  83. eSport vs irlSport

    McCutcheon, C., Hitchens, M. & Drachen, A., 21 Feb 2018, (E-pub ahead of print) Advances in Computer Entertainment Technology: 14th International Conference, ACE 2017, London, UK, December 14-16, 2017, Proceedings. Vol. 10714. p. 531-542 12 p. (Lecture Notes in Computer Science).

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

  84. Review article › Research › Peer-reviewed
  85. Laser produced electromagnetic pulses: Generation, detection and mitigation

    Consoli, F., Tikhonchuk, V. T., Tikhonchuk, V. T., Bardon, M., Bradford, P., Carroll, D. C., Cikhardt, J., Cikhardt, J., Cipriani, M., Clarke, R. J., Cowan, T. E., Danson, C. N., Danson, C. N., Danson, C. N., De Angelis, R., De Marco, M., Dubois, J. L., Etchessahar, B., Garcia, A. L., Hillier, D. I. & 24 others, Hillier, D. I., Honsa, A., Jiang, W., Kmetik, V., Krása, J., Li, Y., Li, Y., Lubrano, F., McKenna, P., Metzkes-Ng, J., Poyé, A., Prencipe, I., Rączka, P., Smith, R. A., Vrana, R., Woolsey, N. C., Zemaityte, E., Zhang, Y., Zhang, Y., Zhang, Z., Zielbauer, B., Neely, D., Neely, D. & Neely, D., 9 Jun 2020, (E-pub ahead of print)

    Review article in High Power Laser Science and Engineering