Search research publications and outputs

  1. 2021
  2. Reservoir Computing in Material Substrates

    Dale, M., Miller, J. F., Stepney, S. & Trefzer, M. A., 6 Aug 2021, Reservoir Computing: Theory, Physical Implementations, and Applications. Nakajima, K. & Fischer, I. (eds.). Springer, p. 141-166 26 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  3. EMPIRE-PIC: A Performance Portable Unstructured Particle-in-Cell Code

    Bettencourt, M. T., Brown, D. A. S., Cartwright, K. L., Cyr, E. C., Glusa, C. A., Lin, P. T., Moore, S. G., McGregor, D. A. O., Pawlowski, R., Phillips, E. G., Roberts, N. V., Wright, S. A., Maheswaran, S., Jones, J. P. & Jarvis, S., Aug 2021

    Article in Communications in Computational Physics

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

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

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

  5. Safer Complex Systems: An Initial Framework

    Burton, S., McDermid, J. A., Garnett, P. & Weaver, R., 15 Jul 2021, 130 p.

    Research output: Book/ReportCommissioned report

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

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

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

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

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

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

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

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

  10. Editorial

    Chen, X., Liu, Z., Wang, J. & Woodcock, J., 1 Jun 2021

    Editorial in Formal Aspects of Computing

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

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

  13. Thermal Characterisation of Unweighted and Weighted Networks

    Wang, J., Wu, H. & Hancock, E. R., 5 May 2021, 2020 25th International Conference on Pattern Recognition (ICPR). p. 1641-1648 8 p.

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

  14. fMRI Brain Networks as Statistical Mechanical Ensembles

    Wu, H., Wang, J. & Hancock, E. R., 5 May 2021, 2020 25th International Conference on Pattern Recognition (ICPR). p. 1694-1700 7 p.

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

  15. Strain-Controlled Spin Wave Excitation and Gilbert Damping in Flexible Co2FeSi Films Activated by Femtosecond Laser Pulse

    Zhang, Z., Liu, E., Lu, X., Zhang, W., You, Y., Xu, G., Xu, Z., Wong, P. K. J., Wang, Y., Liu, B., Yu, X., Wu, J., Xu, Y., Wee, A. T. S. & Xu, F., 24 Mar 2021

    Article in ADVANCED FUNCTIONAL MATERIALS

  16. Maintaining driver attentiveness in shared-control autonomous driving

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

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

  17. Advances in Robotics, Automation and Data Analytics

    Liu, P., Jessnor Arif, M. J., Khairuddin, I. M., Mohd Razman, M. A., Ab. Nasir, A. F., Abdul Karim, M. S., Jaafar, A. A., Hong, L. W., Abdul Majeed, A. P. P. & Myung, H., 11 Mar 2021, Springer. 429 p.

    Research output: Book/ReportBook

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

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

  20. An “As Desired” Model of the Software Safety Assurance Lifecycle

    Osborne, M., Hawkins, R. D. & Nicholson, M., 10 Feb 2021, Safety Critical Systems Symposium (SSS '21).

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

  21. A Human Ear Reconstruction Autoencoder

    Sun, H., Pears, N. E. & Dai, H., 8 Feb 2021, 16th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications. Springer International Publishing

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

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

  23. An Initial Framework Assessing the Safety of Complex Systems

    McDermid, J. A., Burton, S., Garnett, P. & Weaver, R. A., Feb 2021, Systems and Covid-19: Proceedings of the 29th Safety-Critical Systems Symposium Virtual Conference . Parsons, M. & Nicholson, M. (eds.). Safety Critical Systems Club, Vol. 161. p. 109-111 3 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  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. FatNet: A Feature-attentive Network for 3D Point Cloud Processing

    Kaul, C., Pears, N. E. & Manandhar, S., 10 Jan 2021, 25th International Conference on Pattern Recognition. Springer International Publishing

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

  26. Penalizing small errors using an Adaptive Logarithmic Loss

    Kaul, C., Pears, N. E., Dai, H., Murray-Smith, R. & Manandhar, S., 10 Jan 2021, 25th International Conference on Pattern Recognition: AIHA-2020 – ICPR International Workshop on Artificial Intelligence for Healthcare Applications. Springer International Publishing

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

  27. Open Challenges and Gaps in the Guidance for the Use of Multi-Cores and MPSoCs in Safety-Critical Systems

    Bate, I. J. & Harney, L., 1 Jan 2021, Systems and Covid-19: Proceedings of the 29th Safety-Critical Systems Symposium (SSS’21) 9th-11th February 2021. Parsons, M. & Nicholson, M. (eds.). Safety Critical Systems Club, p. 63-82 19 p.

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

  28. 2020
  29. Advances in Quantum Cryptography

    Pirandola, S., Andersen, U. L., Banchi, L., Berta, M., Bunandar, D., Colbeck, R., Englund, D., Gehring, T., Lupo, C., Ottaviani, C., Pereira, J. L., Razavi, M., Shaari, J. S., Tomamichel, M., Usenko, V. C., Vallone, G., Villoresi, P. & Wallden, P., 31 Dec 2020

    Article in Advances in Optics and Photonics

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

  31. Learning safe neural network controllers with barrier certificates

    Zhao, H., Zeng, X., Chen, T., Liu, Z. & Woodcock, J., 9 Nov 2020, Dependable Software Engineering. Theories, Tools, and Applications - 6th International Symposium, SETTA 2020, Proceedings. Pang, J. & Zhang, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 177-185 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12153 LNCS).

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

  32. Warwick Data Store: A Data Structure Abstraction Library

    Kirk, R. O., Nolten, M., Kevis, R., Law, T. R., Maheswaran, S., Wright, S. A., Powell, S., Mudalige, G. R. & Jarvis, S. A., Nov 2020, Proceedings of PMBS 2020: Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems, Held in conjunction with SC 2020: The International Conference for High Performance Computing, Networking, Storage and Analysis. Institute of Electrical and Electronics Engineers Inc., p. 71-85 15 p. 9307883. (Proceedings of PMBS 2020: Performance Modeling, Benchmarking and Simulation of High Performance Computer Systems, Held in conjunction with SC 2020: The International Conference for High Performance Computing, Networking, Storage and Analysis).

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

  33. To build, or not to build: ModelFlow, a build solution for MDE projects

    Sanchez, B., Kolovos, D. & Paige, R., 16 Oct 2020, Proceedings - 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2020. Association for Computing Machinery, Inc, p. 1-11 11 p. (Proceedings - 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2020).

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

  34. Re-Thinking Mixed-Criticality Architecture for Automotive Industry

    Jiang, Z., Zhao, S., Dong, P., Yang, D., Wei, R., Guan, N. & Audsley, N., Oct 2020, Proceedings - 2020 IEEE 38th International Conference on Computer Design, ICCD 2020. Institute of Electrical and Electronics Engineers Inc., p. 510-517 8 p. 9283545. (Proceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors; vol. 2020-October).

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

  35. Learning Safe Neural Network Controllers with Barrier Certificates

    Zhao, H., Zeng, X., Chen, T., Liu, Z. & Woodcock, J., 18 Sep 2020, (CoRR).

    Research output: Working paper

  36. 3D Face Recognition

    Pears, N. E. & Mian, A., 12 Sep 2020, 3D Imaging, Analysis and Applications. Second ed. Springer Nature Switzerland AG, p. 569-630 55 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  37. 3D Imaging, Analysis and Applications, Second Edition

    Liu, Y. (ed.), Pears, N. E. (ed.), Rosin, P. (ed.) & Huber, P. (ed.), 12 Sep 2020, Second ed. Switzerland: Springer Nature Switzerland AG. 736 p.

    Research output: Book/ReportBook

  38. 3D Morphable Models: The Face, Ear and Head

    Dai, H., Pears, N. E., Huber, P. & Smith, W. A. P., 12 Sep 2020, 3D Imaging, Analysis and Applications. 2 ed. Springer International Publishing

    Research output: Chapter in Book/Report/Conference proceedingChapter

  39. Introduction to 3D Imaging, Analysis and Applications

    Brunger, J., Koch, R., Pears, N. E., Liu, Y. & Rosin, P., 12 Sep 2020, 3D Imaging, Analysis and Applications. Second ed. London: Springer Nature Switzerland AG, p. 1-36 36 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  40. Passive 3D Imaging

    Se, S. & Pears, N. E., 12 Sep 2020, 3D Imaging, Analysis and Applications. Second ed. Springer Nature Switzerland AG, p. 39-107 60 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  41. Estimating Facial Aging Using Light Scattering Photometry

    Dahlan, H. A. & Hancock, E. R., 1 Sep 2020, Advances in Photometric 3D-Reconstruction. Durou, J-D., Falcone, M., Quéau, Y. & Tozza, S. (eds.). Cham: Springer International Publishing, p. 205-232 28 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  42. How Systems Engineering and Systems Thinking Enable Innovation

    Beasley, R. & Ingram, C., 18 Jul 2020, 30th INCOSE International Symposium. International Council for Systems Engineering

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

  43. Supporting Robotic Software Migration Using Static Analysis and Model-Driven Engineering

    Gerasimou, S., Wood, S., Matragkas, N., Kolovos, D. & Paige, R. F., 13 Jul 2020, (Accepted/In press) ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS ’20).

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

  44. Open letter from UK based academic scientists to the secretaries of state for digital, culture, media and sport and for health and social care regarding the need for independent funding for the prevention and treatment of gambling harms

    Wardle, H., Banks, J., Bebbington, P., Blank, L., Bowden Jones Obe, H., Bramley, S., Bunn, C., Casey, E., Cassidy, R., Chamberlain, S. R., Close, J., Critchlow, N., Dobbie, F., Downs, C., Dymond, S., Fino, E., Goyder, E., Gray, C., Griffiths, M., Grindrod, P. & 28 others, Hogan, L., Hoon, A., Hunt, K., James, R., John, B., Manthorpe, J., McCambridge, J., McDaid, D., McKee, M., McManus, S., Moss, A., Norrie, C., Nutt, D. J., Orford, J., Pryce, R., Purves, R., Reith, G., Roberts, A., Roberts, E., Roderique-Davies, G., Rogers, J., Rogers, R. D., Sharman, S., Strang, J., Tunney, R., Turner, J., West, R. & Zendle, D., 1 Jul 2020

    Comment/debate in BMJ

  45. Modelling and Verification of Robotic Platforms for Simulation Using RoboStar Technology

    Cavalcanti, A., 22 May 2020, Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Proceedings. Raschke, A., Méry, D. & Houdek, F. (eds.). Springer, p. 3-5 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12071 LNCS).

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

  46. Measurement of the 7Li(γ,t)4He ground-state cross section between Eγ=4.4 and 10 MeV

    Munch, M., Matei, C., Pain, S. D., Febbraro, M. T., Chipps, K. A., Karwowski, H. J., Diget, C. A., Pappalardo, A., Chesnevskaya, S., Guardo, G. L., Walter, D., Balabanski, D. L., Becchetti, F. D., Brune, C. R., Chae, K. Y., Frost-Schenk, J., Kim, M. J., Kwag, M. S., La Cognata, M., Lattuada, D. & 5 others, Pizzone, R. G., Rapisarda, G. G., Turturica, G. V., Ur, C. A. & Xu, Y., 14 May 2020

    Article in Physical Review C

  47. Empirical Analysis of 1-edit Degree Patches in Syntax-Based Automatic Program Repair

    Dziurzanski, P., Gerasimou, S., Kolovos, D. & Matragkas, N., 20 Mar 2020, (Accepted/In press) IEEE Congress on Evolutionary Computation.

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

  48. Estimating Material Parameters Using Light Scattering Model and Polarization

    Dahlan, H. A., Hancock, E. R. & Smith, W. A. P., 1 Jan 2020, Computational Science and Technology - 6th ICCST 2019. Alfred, R., Lim, Y., Haviluddin, H. & On, C. K. (eds.). Springer-Verlag, p. 405-414 10 p. (Lecture Notes in Electrical Engineering; vol. 603).

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

  49. AUTOMATIC GENERATION OF TEXT FOR MATCH RECAPS USING ESPORT CASTER COMMENTARIES

    Olarewaju, O., Hook, J. D., Kokkinakis, A., Demediuk, S. P., Robertson, J., Patra, S., Noelle, I., Slawson, D., Pedrassoli Chitayat, A., Coates, A., Kirman, B., Drachen, A., Ursu, M. & Block, F. O., 2020, (Accepted/In press) p. 1. 15 p.

    Research output: Contribution to conferencePaper

  50. HaiQ: Synthesis of Software Design Spaces with Structural and Probabilistic Guarantees

    Camara Moreno, J., 2020, Proceedings of the 8th International Conference on Formal Methods in Software Engineering (FormaliSE 2020).

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

  51. Intelligent Run-Time Partitioning of Low-Code System Models

    Jahanbin, S., Kolovos, D. & Gerasimou, S., 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

  52. Model-Based Analysis of Microservice Resiliency Patterns

    Camara Moreno, J., Garlan, D., Nabor, M. & Mendes Aderaldo, C., 2020, Proceedings of the IEEE International Conference on Software Architecture (ICSA 2020).

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

  53. Quantitative Verification-Aided Machine Learning: A Tandem Approach for Architecting Self-Adaptive IoT Systems

    Camara Moreno, J., Muccini, H. & Vaidhyanathan, K., 2020, Proceedings of the IEEE International Conference on Software Architecture (ICSA 2020).

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

  54. Reasoning about When to Provide Explanation for Human-in-the-loop Self-Adaptive Systems

    Camara Moreno, J., Garlan, D., Schmerl, B. & Li, N., 2020, Proceedings of the 2020 IEEE Conference on Autonomic Computing and Self-organizing Systems (ACSOS 2020).

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

  55. Safety of Artificial Intelligence: A Collaborative Model

    McDermid, J. A. & Jia, Y., 2020, AISafety@IJCAI. CEUR Workshop Proceedings

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

  56. Software Architecture and Task Plan Co-Adaptation for Mobile Service Robots

    Camara Moreno, J., Garlan, D. & Schmerl, B., 2020, Proceedings of the 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2020).

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

  57. The Safe and Effective Use of Learning-Enabled Components in Safety-Critical Systems

    Agrawa, K., Baruah, S. & Burns, A., 2020. 20 p.

    Research output: Contribution to conferencePaperpeer-review

  58. 2019
  59. Linear-Time Graph Algorithms in GP 2

    Campbell, G., Courtehoute, B. & Plump, D., 25 Nov 2019, Proceedings 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, p. 16:1-16:23 (Leibniz International Proceedings in Informatics (LIPICS); vol. 139).

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

  60. Improving Local Trajectory Optimisation using Probabilistic Movement Primitives

    Shyam, RB., Lightbody, P., Das, G., Liu, P., Gomez-Gonzalez, S. & Neumann, G., 6 Nov 2019, 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) . IEEE

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

  61. Entropic Dynamic Time Warping Kernels for Co-evolving Financial Time Series Analysis

    Bai, L., Cui, L., Xu, L., Wang, Y., Zhang, Z. & Hancock, E. R., 21 Oct 2019, Arxiv (Cornell University).

    Research output: Working paper

  62. Modelflow: Towards reactive model management workflows

    Sanchez, B., Kolovos, D. S. & Paige, R., 20 Oct 2019, DSM 2019 - Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, co-located with SPLASH 2019. Rossi, M. & Sprinkle, J. (eds.). Association for Computing Machinery, Inc, p. 30-39 10 p. (DSM 2019 - Proceedings of the 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling, co-located with SPLASH 2019).

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

  63. A new public body is necessary to effectively regulate the UK video game industry

    Zendle, D., Reith, G., Bowden-Jones, H. & Wardle, H., 9 Oct 2019.

    Research output: Contribution to conferenceOther

  64. Decentralised Gambling Overview: House of Lords Select Committee

    Scholten, O. J., Walker, J. A. & Zendle, D., 9 Oct 2019.

    Research output: Contribution to conferenceOtherpeer-review

  65. Role Identification for Accurate Analysis in Dota 2

    Demediuk, S. P., York, P. J., Block, F. O., Walker, J. A. & Drachen, A., 8 Oct 2019.

    Research output: Contribution to conferencePaperpeer-review

  66. Testing Robots Using CSP

    Cavalcanti, A., Baxter, J., Hierons, R. M. & Lefticaru, R., 23 Sep 2019, Tests and Proofs - 13th International Conference, TAP 2019, held as part of the 3rd World Congress on Formal Methods 2019, Proceedings. Beyer, D. & Keller, C. (eds.). Springer, p. 21-38 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11823 LNCS).

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

  67. Computing Optimal Assignments in Linear Time for Approximate Graph Matching

    Kriege, N., Giscard, P-L., Bause, F. & Wilson, R. C., 6 Sep 2019, (Accepted/In press) International Conference on Data Mining. IEEE Computer Society, 10 p.

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

  68. Unsupervised Learning of Functional Groups for Computational Chemistry

    Erten, C., Algahtani, E., Fairlamb, I. J. S., Garcia-Padilla, E., Lynam, J. M., Manandhar, S., Slattery, J. M. & Kazakov, D. L., 5 Sep 2019, p. 1-4.

    Research output: Contribution to conferenceAbstractpeer-review

  69. On the challenges of model decorations for capturing complex metadata

    Hoyos Rodriguez, H., Zolotas, A., Kolovos, D. & Paige, R. F., Sep 2019, Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019. Burgueno, L., Burgueno, L., Pretschner, A., Voss, S., Chaudron, M., Kienzle, J., Volter, M., Gerard, S., Zahedi, M., Bousse, E., Rensink, A., Polack, F., Engels, G. & Kappel, G. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 347-353 7 p. 8904658. (Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019).

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

  70. Decentralised Gambling: Data Abundance and Technical Concerns

    Scholten, O. J., Zendle, D. & Walker, J. A., 22 Jul 2019, Current Advances in Gambling Research Conference 2019. Society for the Study of Addiction

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

  71. Development and Evaluation of a Novel Robotic System for Search and Rescue

    Cachia, A., Huda, M. N., Liu, P., Saha, C., Tickle, A. J., Arvanitakis, I. & Aziz, S. M., 17 Jul 2019, 20th Towards Autonomous Robotic Systems Conference.

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

  72. Decentralised Gambling: The York Combined Transaction Set

    Scholten, O. J., Zendle, D. & Walker, J. A., 11 Jul 2019

    Research output: Other contribution

  73. Tools and workloads for many-core computing

    Singh, A., Dziurzanski, P., Merrett, G. & Al-Hashimi, B., 26 Jun 2019, Many-Core Computing: Hardware and software. Al-Hashimi, B. M. & Merrett, G. V. (eds.). IET, p. 117-140 24 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  74. Graph Edge Entropy in Maxwell-Boltzmann Statistics for Alzheimer's Disease Analysis

    Wang, J., Wilson, R. C. & Hancock, E. R., 13 Jun 2019, Graph-Based Representations in Pattern Recognition - 12th IAPR-TC-15 International Workshop, GbRPR 2019, Tours, France, June 19-21, 2019, Proceedings. p. 56-66 11 p.

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

  75. Network Embedding by Walking on the Line Graph

    Lozano, M. A., Curado, M., Escolano, F. & Hancock, E. R., 11 Jun 2019, Graph-Based Representations in Pattern Recognition - 12th IAPR-TC-15 International Workshop, GbRPR 2019, Tours, France, June 19-21, 2019, Proceedings. Foggia, P., Conte, D. & Ramel, J-Y. (eds.). Springer, Vol. 11510. p. 215-225 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11510 LNCS).

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

  76. Network Time Series Analysis Using Transfer Entropy

    Caglar, I. & Hancock, E. R., 11 Jun 2019, Graph-Based Representations in Pattern Recognition - 12th IAPR-TC-15 International Workshop, GbRPR 2019, Tours, France, June 19-21, 2019, Proceedings. Conte, D., Ramel, J-Y. & Foggia, P. (eds.). Springer, Vol. 11510. p. 194-203 10 p. (Lecture Notes in Computer Science).

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

  77. Hidden Markov Models: an application to Ecological Momentary Assessment of Schizophrenia

    Hulme, W., Stockton-Powdrell, C., Lewis, S., Habli, I., Martin, G., Bucci, S., Parsia, B., Casson, A. & Peek, N., 5 Jun 2019, 32th IEEE CBMS International Symposium on Computer-Based Medical Systems.

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

  78. Compositional Assume-Guarantee Reasoning of Control Law Diagrams Using UTP

    Ye, K., Foster, S. D. & Woodcock, JAMES. C. P., 30 May 2019, From Astrophysics to Unconventional Computation. Springer, p. 215-254 40 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  79. Towards systematic engineering of collaborative heterogeneous robotic systems

    Gerasimou, S., Matragkas, N. & Calinescu, R., 27 May 2019, 2019 IEEE/ACM 2nd International Workshop on Robotics Software Engineering (RoSE). IEEE, p. 25-28 4 p.

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

  80. Evaluating BCI for Musical Expression: Historical Approaches, Challenges and Benefits

    Williams, D. A. H., 26 May 2019, Brain Art. Springer, p. 145-158 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  81. Is excessive use of social media an addiction?

    Zendle, D. & Bowden-Jones, H., 15 May 2019

    Editorial in BMJ

  82. A novel weakly-supervised approach for RGB-D-based nuclear waste object detection

    Sun, L., Zhao, C., Yan, Z., Liu, P., Duckett, T. & Stolkin, R., 1 May 2019

    Article in IEEE Sensors Journal

  83. Machine learning meets quantitative planning: enabling self-adaptation in autonomous robots

    Camara Moreno, J., Jamshidi, P., Kästner, C., Garlan, D. & Schmerl, B., May 2019, Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2019) .

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

  84. A Pattern for Arguing the Assurance of Machine Learning in Medical Diagnosis Systems

    Picardi, C., Hawkins, R. D., Paterson, C. & Habli, I., 30 Apr 2019, (Accepted/In press) 38th International Conference on Computer Safety, Reliability and Security – SafeComp 2019.

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

  85. KNOWLEDGE-BASED SELF-RECONFIGURATION AND SELF-AWARE DEMONSTRATION FOR MODULAR SATELLITE ASSEMBLY

    Post, M. A. & Austin, J., 11 Apr 2019, (Accepted/In press) 10th International Workshop on Satellite Constellations & Formation Flying 2019. Glasgow UK

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

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

    Bai, L., Jiao, Y., Cui, L. & Hancock, E. R., 6 Apr 2019, (arXiv).

    Research output: Working paper

  87. FocusNet: An attention-based Fully Convolutional Network for Medical Image Segmentation

    Kaul, C., Manandhar, S. K. & Pears, N. E., Apr 2019, International Symposium on Biomedical Imaging (ISBI). Venice

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

  88. Combining 3D Morphable Models: A Large scale Face-and-Head Model

    Ploumpis, S., Wang, H., Pears, N. E., Smith, W. A. P. & Zafeiriou, S., 11 Mar 2019, (Accepted/In press) IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) 2019.

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

  89. Depth from a polarisation + RGB stereo pair

    Zhu, D. & Smith, W. A. P., 11 Mar 2019, (Accepted/In press) IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) 2019.

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

  90. Learning Vertex Convolutional Networks for Graph Classification

    Bai, L., Cui, L., Wu, S., Jiao, Y. & Hancock, E. R., 26 Feb 2019, (arXiv).

    Research output: Working paper

  91. Probabilistic Analysis

    Maxim, D., Cucu-Grosjean, L. & Davis, R. I., 18 Feb 2019, Handbook of Real-Time Computing. Springer, p. 1-23

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

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

  93. Doing Better Statistics in Human-Computer Interaction

    Cairns, P. A., Feb 2019, Cambridge University Press. 250 p.

    Research output: Book/ReportBook

  94. Challenging AI: Evaluating the Effect of MCTS-Driven Dynamic Difficulty Adjustment on Player Enjoyment

    Demediuk, S. P., Tamassia, M., Li, X. & Raffe, W., 29 Jan 2019, Proceedings of ACSW.

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

  95. Energy-efficient design and control of a vibro-driven robot

    Liu, P., Neumann, G., Fu, Q., Pearson, S. & Yu, H., 7 Jan 2019, 2018 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). p. 1464-1469 6 p.

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

  96. Emotional Congruence in Video Game Audio

    Williams, D. A. H., Murphy, D. T. & Cowling, P. I., 2019, Encyclopedia of Computer Graphics and Games (ECCG). Springer

    Research output: Chapter in Book/Report/Conference proceedingChapter

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

    Bai, L., Cui, L., Jiao, Y. & Hancock, E. R., 2019, European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, Würzburg, Germany, 16th - 20th of September 2019.

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

  98. Medical diagnostic based on encrypted medical data

    Gribov, A., Horan, K., Gryak, J., Najarian, K., Shpilrain, V., Soroushmehr, S. M. R. & Kahrobaei, D., 2019, p. 98-111. 14 p.

    Research output: Contribution to conferencePaperpeer-review

  99. Meet the Learning and Teaching Forum

    Penfold-Mounce, R. A., Quinn, S. V., Bramwell-Dicks, A. F. & Hurst, G., 2019, Forum Magazine.

    Research output: Contribution to specialist publicationFeatured article

  100. 2018
  101. Advances in photonic quantum sensing

    Pirandola, S., Bardhan, B. R., Gehring, T., Weedbrook, C. & Lloyd, S., 1 Dec 2018

    Review article in Nature photonics

  102. Narrating Complexity

    Walsh, R. (ed.) & Stepney, S. (ed.), 12 Nov 2018, London: Springer. 332 p.

    Research output: Book/ReportAnthology

  103. Cyber-physical systems engineering: An introduction

    Gibson, J. P., Larsen, P. G., Pantel, M., Fitzgerald, J. & Woodcock, J., 31 Oct 2018, Leveraging Applications of Formal Methods, Verification and Validation: Distributed Systems - 8th International Symposium, ISoLA 2018. Margaria, T. & Steffen, B. (eds.). Springer Science and Business Media Deutschland GmbH, p. 407-410 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11246 LNCS).

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

  104. How do we teach modelling and model-driven engineering? A survey

    Ciccozzi, F., Lambers, L., Pierantonio, A., Taentzer, G., Famelis, M., Mosser, S., Rensink, A., Vallecillo, A., Kappel, G., Paige, R. F., Salay, R. & Wimmer, M., 14 Oct 2018, 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS-Companion 2018. Association for Computing Machinery, Inc, p. 122-129 8 p.

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

  105. Towards a body of knowledge for model-based software engineering

    Ciccozzi, F., Lambers, L., Pierantonio, A., Taentzer, G., Famelis, M., Mosser, S., Rensink, A., Vallecillo, A., Kappel, G., Paige, R. F., Salay, R. & Wimmer, M., 14 Oct 2018, 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, MODELS-Companion 2018. Association for Computing Machinery, Inc, p. 82-89 8 p.

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

  106. Evolutionary MCTS for Multi-Action Adversarial Games

    Baier, H. & Cowling, P. I., 11 Oct 2018, Proceedings of the 2018 IEEE Conference on Computational Intelligence and Games, CIG 2018. IEEE Computer Society, Vol. 2018-August. 8490403

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

  107. Predicting Skill Learning in a Large, Longitudinal MOBA Dataset

    Aung, M., Bonometti, V., Cowling, P., Kokkinakis, A. V., Yoder, C. & Wade, A., 11 Oct 2018, Proceedings of the 2018 IEEE Conference on Computational Intelligence and Games, CIG 2018. IEEE Computer Society, Vol. 2018-August. 8490431

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

  108. Non-rigid 3D Shape Registration using an Adaptive Template

    Dai, H., Pears, N. E. & Smith, W. A. P., 14 Sep 2018. 15 p.

    Research output: Contribution to conferencePaperpeer-review

  109. Graph Convolutional Neural Networks based on Quantum Vertex Saliency

    Bai, L., Jiao, Y., Rossi, L., Cui, L., Cheng, J. & Hancock, E. R., 4 Sep 2018, (arXiv).

    Research output: Working paper

  110. Working with participants

    Power, C. D. & Petrie, H., 30 Aug 2018, (Accepted/In press) Web accessibility: A foundation for research. Harper, S. & Yesilada, Y. (eds.). 2nd ed. Springer

    Research output: Chapter in Book/Report/Conference proceedingChapter

  111. FIFO with Offsets: High Schedulability with Low Overheads

    Nasri, M., Davis, R. I. & Brandenburg, B., 9 Aug 2018, p. 271-282. 12 p.

    Research output: Contribution to conferencePaperpeer-review

  112. Mixed Criticality Systems with Varying Context Switch Costs

    Davis, R. I., Altmeyer, S. & Burns, A., 9 Aug 2018, p. 140-151. 12 p.

    Research output: Contribution to conferencePaperpeer-review

  113. BlueVisor: A scalable real-time hardware hypervisor for many-core embedded systems

    Jiang, Z., Audsley, N. C. & Dong, P., 8 Aug 2018, Proceedings - 24th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2018. Pellizzoni, R. (ed.). Institute of Electrical and Electronics Engineers Inc., p. 75-84 10 p. 8430067

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

  114. Security verification for vacuum fluctuation based quantum random number generator

    Kordts, A., Lupo, C., Nikolic, D. S., Pedersen, T. B., Gehring, T. & Andersen, U. L., 6 Aug 2018, 2018 Conference on Lasers and Electro-Optics, CLEO 2018 - Proceedings. Institute of Electrical and Electronics Engineers Inc., 8426874

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

  115. A Preliminary Survey of Analyzing Dynamic Time-Varying Financial Networks Using Graph Kernels

    Cui, L., Bai, L., Rossi, L., Zhang, Z., Jiao, Y. & Hancock, E. R., 2 Aug 2018, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17-19, 2018, Proceedings. p. 237-247 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11004 LNCS).

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

  116. Deep Supervised Hashing with Information Loss

    Zhang, X., Zhou, L., Bai, X. & Hancock, E. R., 2 Aug 2018, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17-19, 2018, Proceedings. Hancock, E. R., Ho, T. K., Biggio, B., Wilson, R. C., Robles-Kelly, A. & Bai, X. (eds.). p. 395-405 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11004 LNCS).

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

  117. Directed Network Analysis Using Transfer Entropy Component Analysis

    Wu, M., Zeng, Y., Zhang, Z., Hong, H., Xu, Z., Cui, L., Bai, L. & Hancock, E. R., 2 Aug 2018, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17-19, 2018, Proceedings. Hancock, E. R., Ho, T. K., Biggio, B., Wilson, R. C., Robles-Kelly, A. & Bai, X. (eds.). p. 491-500 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11004 LNCS).

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

  118. Plenoptic Imaging for Seeing Through Turbulence

    Wilson, R. C. & Hancock, E. R., 2 Aug 2018, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17-19, 2018, Proceedings. Hancock, E. R., Ho, T. K., Biggio, B., Wilson, R. C., Robles-Kelly, A. & Bai, X. (eds.). p. 367-375 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11004 LNCS).

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

  119. Quantum Edge Entropy for Alzheimer's Disease Analysis

    Wang, J., Wilson, R. C. & Hancock, E. R., 2 Aug 2018, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17-19, 2018, Proceedings. p. 449-459 11 p.

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

  120. Computational Matter

    Stepney, S. (ed.), Rasmussen, S. (ed.) & Amos, M. (ed.), 1 Aug 2018, Springer. 348 p. (Natural Computing )

    Research output: Book/ReportBook

  121. Reservoir Computing with Computational Matter

    Konkoli, Z., Nichele, S., Dale, M. & Stepney, S., 20 Jul 2018, Computational Matter. Stepney, S., Amos, M. & Rasmussen, S. (eds.). 1 ed. Springer, Vol. 1. p. 269-293 25 p. (Natural Computing Series).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  122. Accessibility and usability of self-service terminals, technologies and systems

    Petrie, H. & Darzentas, J. S., 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

  123. Standards, guidelines and legislation related to self-service technologies: developments since 2013

    Petrie, H. & Darzentas, J. S., 11 Jul 2018, Proceedings of the 16th International Conference on Computers Helping People with Special Needs (ICCHP 2018). LNCS 10897. . Springer

    Research output: Chapter in Book/Report/Conference proceedingChapter

  124. Transferring Real-Time Systems Research into Industrial Practice: Four Impact Case Studies

    Davis, R. I., Bate, I. J., Bernat, G., Broster, I., Burns, A., Colin, A., Hutchesson, S. G. & Tracey, N., 3 Jul 2018. 23 p.

    Research output: Contribution to conferencePaperpeer-review

  125. Generational differences in password management behaviour

    Merdenyan, B. & Petrie, H., 2 Jul 2018, Proceedings of the 32nd International BCS Human Computer Interaction Conference (HCI 2018).. British Computer Society (BCS)

    Research output: Chapter in Book/Report/Conference proceedingChapter

  126. Neuroevolution of hierarchical reservoir computers

    Dale, M., 2 Jul 2018, Genetic and Evolutionary Computation Conference: GECCO '18: Proceedings of the Genetic and Evolutionary Computation Conference. ACM Digital Library, p. 410-417 8 p.

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

  127. Fully Automated Spleen Localization And Segmentation Using Machine Learning And 3D Active Contours

    Wood, A., Soroushmehr, S. M. R., Farzaneh, N., Fessell, D., Ward, K. R., Gryak, J., Kahrobaei, D. & Na, K., Jul 2018, 2018 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). IEEE, Vol. 2018. p. 53-56 4 p. (Conference proceedings : ... Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Annual Conference).

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

  128. MRI-Guided Robotically Assisted Focal Laser Ablation of the Prostate Using Canine Cadavers

    Chen, Y., Xu, S., Squires, A., Seifabadi, R., Turkbey, I. B., Pinto, P. A., Choyke, P., Wood, B. & Tse, Z. T. H., Jul 2018

    Article in IEEE Transactions on Biomedical Engineering

  129. Structuring Clinical Decision Support rules for drug safety using Natural Language Processing

    Despotou, G., Korkontzelos, I., Matragkas, N., Bilici, E. & Arvanitis, T. N., 3 Jun 2018, Data, Informatics and Technology: An Inspiration for Improved Healthcare. Hasman, A., Gallos, P., Liaskos, J., Househ, M. S. & Mantas, J. (eds.). IOS Press, p. 89-92 4 p. (Studies in Health Technology and Informatics (HTI); vol. 251).

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

  130. Security verification for vacuum fluctuation based quantum random number generator

    Kordts, A., Lupo, C., Nikolic, D. S., Pedersen, T. B., Gehring, T. & Andersen, U. L., May 2018, CLEO: Applications and Technology, CLEO_AT 2018. OSA - The Optical Society, Vol. Part F92-CLEO_AT 2018.

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

  131. What Moves Players? Visual Data Exploration of Twitter and Gameplay Data

    Drescher, C., Wallner, G., Krieglstein, S., Sifa, R., Drachen, A. & Pohl, M., 21 Apr 2018, CHI '18 Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems Paper No. 560. New York: ACM, Vol. 2018-April. 13 p. 560. (Proceedings of the CHI Conference Human Factors in Computing Systems).

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

  132. Accessible Player Experiences (APX): The Players

    Power, C. D., Beeston, J. T. & Cairns, P., 25 Mar 2018, (Accepted/In press).

    Research output: Contribution to conferencePaperpeer-review

  133. Emotion in Video Game Soundtracking

    Williams, D. A. H. & Lee, N., 21 Mar 2018, 1 ed. New York: Springer. 180 p. (International Series on Computer Entertainment and Media Technology)

    Research output: Book/ReportBook

  134. Design of a Miniature Physiological Data Recorder, and it's Biomedical Applications: Presentation to BPSI Spring Symposium 2018

    Crispin-Bailey, C., Austin, J., Dai, C., Moulds, A., Platt, B. & Crouch, B., 20 Mar 2018, p. 1-17. 18 p.

    Research output: Contribution to conferenceOther

  135. Proceedings of the Tenth Workshop on Energy Methods in Computer Vision and Pattern Recognition

    Pelillo, M. (ed.) & Hancock, E. R., Mar 2018, Berlin: Springer. 500 p. (Lecture Notes in Computer Science; vol. 10746)

    Research output: Book/ReportAnthology

  136. Euler Lagrange Network Dynamics

    Wang, J., Wilson, R. C. & Hancock, E. R., 14 Feb 2018, Eleventh International Conference on Energy Minimisation Methods in Computer Vision and Pattern Recognition. Springer, Vol. 10746. p. 399-413 14 p. (Lecture Notes in Computer Science).

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

  137. Modular Termination of Graph Transformation

    Plump, D., Feb 2018, Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig. Heckel, R. & Taentzer, G. (eds.). Springer, p. 231-244 14 p. (Lecture Notes in Computer Science; vol. 10800).

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

  138. Event-Driven Bandwidth Allocation with Formal Guarantees for Camera Networks

    Seetanadi, G. N., Camara Moreno, J., Almeida, L., Arzen, K. E. & Maggio, M., 31 Jan 2018, Proceedings - 2017 IEEE Real-Time Systems Symposium, RTSS 2017. Institute of Electrical and Electronics Engineers Inc., Vol. 2018-January. p. 243-254 12 p. (IEEE Real-Time Systems Symposium (RTSS)).

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

  139. Player Retention in League of Legends: A Study Using Survival Analysis

    Demediuk, S. P., Murrin, A., Bulger, D., Hitchens, M., Drachen, A., Raffe, W. L. & Tamassia, M., 29 Jan 2018, Proceedings of Australian Computer Science Week, Interactive Entertainment. Association for Computing Machinery (ACM), 9 p.

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

  140. Frontlines in Games User Research

    Drachen, A., Nacke, L. E. & Mirza-Babaei, P., 25 Jan 2018, Games User Research. Oxford: Oxford University Press, p. 509-520

    Research output: Chapter in Book/Report/Conference proceedingChapter

  141. Games User Research

    Drachen, A., Nacke, L. E. & Mirza-Babaei, P., 25 Jan 2018, London: Oxford: Oxford University Press. 560 p.

    Research output: Book/ReportBook

  142. BCI for Music Making: Then, Now, and Next

    Williams, D. A. H. & Miranda, E. R., 24 Jan 2018, Brain-Computer Interfaces Handbook: Technological and Theoretical Advances. Nam, C. S., Nijholt, A. & Lotte, F. (eds.). CRC PRESS-TAYLOR & FRANCIS GROUP, p. 191-205 24 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  143. Modelling and verification for swarm robotics

    Cavalcanti, A., Miyazawa, A., Sampaio, A., Li, W., Ribeiro, P. & Timmis, J., 1 Jan 2018, Integrated Formal Methods - 14th International Conference, IFM 2018, Proceedings. Springer-Verlag, Vol. 11023 LNCS. p. 1-19 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11023 LNCS).

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

  144. A Mixed Entropy Local-Global Reproducing Kernel for Attributed Graphs

    Cui, L., Bai, L., Rossi, L., Zhang, Z., Xu, L. & Hancock, E. R., 2018, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17-19, 2018, Proceedings. Hancock, E. R., Ho, T. K., Biggio, B., Wilson, R. C., Robles-Kelly, A. & Bai, X. (eds.). p. 501-511 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11004 LNCS).

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

  145. Can Games Be More Than Fun?

    Cairns, P. A., 2018, Funology 2: From Usability to Enjoyment. Blythe, M. & Monk, A. (eds.). 2nd ed. Springer, p. 33-46 14 p. (Human-Computer Interaction Series).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  146. Developer-Centric Knowledge Mining from Large Open-Source Software Repositories (CROSSMINER)

    Bagnato, A., Barmpis, K., Bessis, N., Cabrera-Diego, L. A., Rocco, J. D., Di Ruscio, D., Gergely, T., Hansen, S., Kolovos, D., Krief, P., Korkontzelos, I., Laurière, S., Lopez de la Fuente, J. M., Maló, P., Paige, R. F., Spinellis, D., Thomas, C. & Vinju, J. J., 2018, Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Revised Selected Papers. Springer-Verlag, Vol. 10748 LNCS. p. 375-384 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10748 LNCS).

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

  147. Digital Technology for Older People: A Review of Recent Research

    Petrie, H. & Darzentas, J. S., 2018, (Accepted/In press) The Oxford Handbook of Digital Technology and Society. New York: Oxford: Oxford University Press

    Research output: Chapter in Book/Report/Conference proceedingChapter

  148. Dirichlet Densifiers: Beyond Constraining the Spectral Gap

    Curado, M., Escolano, F., Lozano, M. A. & Hancock, E. R., 2018, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17-19, 2018, Proceedings. Hancock, E. R., Ho, T. K., Biggio, B., Wilson, R. C., Robles-Kelly, A. & Bai, X. (eds.). p. 512-521 10 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11004 LNCS).

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

  149. From Formalised State Machines to Implementations of Robotic Controllers

    Li, W., Miyazawa, A., Ribeiro, P., Cavalcanti, A., Woodcock, J. & Timmis, J., 2018, Springer Proceedings in Advanced Robotics. Springer Science and Business Media B.V., p. 517-529 13 p. (Springer Proceedings in Advanced Robotics; vol. 6).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  150. Game Analytics for Games User Research

    Drachen, A. & Connor, S., 2018, Games User Research. Oxford: Oxford University Press, p. 333-354

    Research output: Chapter in Book/Report/Conference proceedingChapter

  151. Global thoughts, local designs: INTERACT 2017 IFIP TC 13 Workshops, Mumbai, India, September 25-27, 2017, Revised Selected Papers

    Clemmensen, T. (ed.), Rajamanickam, V. (ed.), Dannenmann, P. (ed.), Petrie, H. (ed.) & Winckler, M. (ed.), 2018, Cham, Switzerland: Springer. 188 p. (Lecture Notes in Computer Science)

    Research output: Book/ReportBook

  152. Graph Time Series Analysis Using Transfer Entropy

    Caglar, I. & Hancock, E. R., 2018, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17-19, 2018, Proceedings. p. 217-226 10 p.

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

  153. Implementation Code for DOMtegrity: Ensuring Web Page Integrity against Malicious Browser Extensions

    Toreini, E., Mehrnezhad, M., Shahandashti, S. F. & Hao, F., 2018

    Research output: Non-textual formSoftware

  154. Introduction to Games User Research

    Drachen, A., Nacke, L. E. & Mirza-Babaei, P., 2018, Games User Research. Oxford: Oxford University Press, p. 1-12

    Research output: Chapter in Book/Report/Conference proceedingChapter

  155. Issues of culture in designing for accessibility

    Petrie, H., Weber, G., Jadhav, C. & Darzentas, J. S., 2018, Global thoughts, local designs: INTERACT 2017 IFIP TC 13 Workshops, Mumbai, India, September 25-27, 2017, Revised Selected Papers. Clemmensen, T., Rajamanickam, V., Dannemann, P., Petrie, H. & Winckler, M. (eds.). Cham, Switzerland: Springer, Vol. LNCS 10774. p. 55 - 67 13 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  156. Iterative Deep Subspace Clustering

    Zhou, L., Wang, S., Bai, X., Zhou, J. & Hancock, E. R., 2018, Structural, Syntactic, and Statistical Pattern Recognition - Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17-19, 2018, Proceedings. p. 42-51 10 p.

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

  157. Markov Random Field MAP as Set Partitioning

    Cussens, J., 2018, Proceedings of Machine Learning Research: PGM 2018. Vol. 72. p. 85-96 12 p.

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

  158. Printable Soft Grippers with Integrated Bend Sensing for Handling of Crops

    Elgeneidy, K., Liu, P., Pearson, S., Lohse, N. & Neumann, G., 2018, Towards Autonomous Robotic Systems: 19th Annual Conference, TAROS 2018, Bristol, UK July 25-27, 2018, Proceedings. Vol. 10965. p. 479 1 p.

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

  159. SECT-AIR: Software Engineering Costs and Timescales – Aerospace Initiative for Reduction

    Paige, R. F., Zolotas, A., Kolovos, D. S., McDermid, J. A., Bennett, M., Hutchesson, S. & Hawthorn, A., 2018, Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Revised Selected Papers. Springer-Verlag, Vol. 10748 LNCS. p. 403-408 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10748 LNCS).

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

  160. Safety of Artificial Intelligence and its role in Autonomy: A Maritime Perspective

    McDermid, J. A. & Daffey, K., 2018, Safety Critical Systems Symposium.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  161. Search-Based Temporal Testing in an Embedded Multicore Platform

    Srivisut, K., Clark, J. A. & Paige, R. F., 2018, Applications of Evolutionary Computation - 21st International Conference, EvoApplications 2018, Proceedings. Springer-Verlag, Vol. 10784 LNCS. p. 794-809 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10784 LNCS).

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

  162. Structural, Syntactic, and Statistical Pattern Recognition: Joint IAPR International Workshop, S+SSPR 2018, Beijing, China, August 17-19, 2018, Proceedings

    Bai, X., Hancock, E. R. (ed.), Ho, T. K. (ed.), Wilson, R. C. (ed.), Biggio, B. (ed.) & Robles-Kelly, A., 2018, Springer. 540 p. (Lecture Notes in Computer Science)

    Research output: Book/ReportAnthology

  163. Technical Obsolescence Management Strategies for Safety-Related Software for Airborne Systems

    Gerasimou, S., Kolovos, D., Paige, R. & Standish, M., 2018, Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Revised Selected Papers. Springer-Verlag, Vol. 10748 LNCS. p. 385-393 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10748 LNCS).

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

  164. Time Evolving Networks in Finance and Medicine

    Hancock, E. R., 2018, Proceedings of the 7th International Conference on Pattern Recognition Applications and Methods, ICPRAM 2018, Funchal, Madeira - Portugal, January 16-18, 2018.. p. 7 1 p.

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

  165. Towards real-time robotic motion planning for grasping in cluttered and uncertain environments

    Liu, P., ElGeneidy, K., Pearson, S., Huda, M. N. & Neumann, G., 2018, Towards Autonomous Robotic Systems: 19th Annual Conference, TAROS 2018, Bristol, UK July 25-27, 2018, Proceedings. Vol. 10965. p. 481 1 p.

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

  166. 2017
  167. Fast Quantum Algorithm for Solving Multivariate Quadratic Equations

    Faug`ere, J-C., Horan, K., Kahrobaei, D., Kaplan, M., Kashefi, E. & Perret, L., 19 Dec 2017

    Article in QUANTUM INFORMATION COMPUTATION

  168. Deep Learning of Cell Classification using Microscope Images of Intracellular Microtubule Networks

    Alexei, S., Dmitry, B., Marina, P., Kudenko, D., Burakov, A. & Nadezhdina, E., 18 Dec 2017.

    Research output: Contribution to conferencePaperpeer-review

  169. Mixed Type Multi-attribute Pairwise Comparisons Learning

    Qomariyah, N. N. & Kazakov, D. L., 18 Dec 2017, Proc. of the 16th IEEE International Conference on Machine Learning and Applications (ICMLA 2017). IEEE, p. 1094-1097

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

  170. Automatic Property Checking of Robotic Applications

    Miyazawa, A., De Oliveira Salazar Ribeiro, P. F., Li, W., Cavalcanti, A. L. C. & Timmis, J., 14 Dec 2017, IEEE/RSJ International Conference on Intelligent Robots and Systems. p. 3869-3876 8 p.

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

  171. Integrated Analysis of Cache Related Preemption Delays and Cache Persistence Reload Overheads

    Rashid, S. A., Nelissen, G., Altmeyer, S., Davis, R. I. & Tovar, E., 6 Dec 2017. 11 p.

    Research output: Contribution to conferencePaperpeer-review

  172. Performance of a second order electrostatic particle-in-cell algorithm on modern many-core architectures

    Brown, D., Wright, S. A. & Jarvis, S. A., 20 Nov 2017, UK Performance Engineering Workshop (UKPEW'17).

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

  173. Music Genre Classification using Masked Conditional Neural Networks

    Medhat, F., Chesmore, E. D. & Robinson, J. A., 14 Nov 2017, Neural Information Processing: 24th International Conference, ICONIP 2017, Guangzhou, China, November 14-18, 2017, Proceedings, Part II. Springer, (Lecture Notes in Computer Science).

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

  174. Automatic Classification of Music Genre using Masked Conditional Neural Networks

    Medhat, F., Chesmore, E. D. & Robinson, J. A., 11 Nov 2017, 2017 IEEE International Conference on Data Mining (ICDM). IEEE

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

  175. Core outcome domains for clinical trials on somatic symptom disorder, bodily distress disorder and functional somatic syndromes: European Network on Somatic Symptom Disorders Recommendations

    Rief, W., Burton, C., Frostholm, L., Henningsen, P., Kleinstäuber, M., Kop, W. J., Löwe, B., Martin, A., Malt, U. F., Rosmalen, J. G. M., Schröder, A., Shedden-Mora, M., Toussaint, A. & van der Feltz-Cornelis, C. M., 1 Nov 2017

    Article in Psychosomatic medicine

  176. Sound Simulation and Co-simulation for Robotics

    Cavalcanti, A. L. C., Miyazawa, A. & Woodcock, J., Nov 2017, Present and Ulterior Software Engineering. M. M. & B. M. (eds.). Springer International Publishing Switzerland, p. 173-194 22 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  177. Inspired by Nature: Essays Presented to Julian F. Miller on the Occasion of his 60th Birthday

    Stepney, S. (ed.) & Adamatzky, A. (ed.), 31 Oct 2017, Springer. 400 p. (Emergence, Complexity and Computation)

    Research output: Book/ReportBook

  178. Evidence of coupling between magnon excitation and the Gilbert damping in half-metallic oxides

    Lu, X., Atkinson, L. J., Kuerbanjiang, B., Liu, B., Li, G., Wang, Y., Wang, J., Ruan, X., Wu, J., Evans, R. F. L., Lazarov, V. K., Chantrell, R. W. & Xu, Y., 30 Oct 2017, Arxiv (Cornell University).

    Research output: Working paper

  179. Sub-Symbolic Artificial Chemistries

    Faulkner, P. S. M., Krastev, M. S., Sebald, A. A-M. & Stepney, S., 27 Oct 2017, Inspired by Nature. Springer, p. 287-322 36 p.

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

  180. Avoiding Useless Mutants

    Fernandes, L., Gheyi, R., Cavalcanti, A., Ribeiro, M., Mongiovi, M., Ferrari, F., Carvalho, L., Santos, A. & Maldonado, J. C., 23 Oct 2017, GPCE 2017 - Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, co-located with SPLASH 2017. Association for Computing Machinery, Inc, p. 187-198 12 p.

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

  181. UK Utility Elicitation in Patients with Follicular Lymphoma

    Wang, H., Smith, A., Yu, G., Aas, E., Bagguley, T., Howell, D., Roman, E., Burton, C. & Patmore, R., 20 Oct 2017

    Article in Value in Health

  182. Probabilistic Analysis for Mixed Criticality Systems using Fixed Priority Preemptive Scheduling

    Maxim, D., Davis, R. I., Cucu-Grosjean, L. & Easwaran, A., 4 Oct 2017. 10 p.

    Research output: Contribution to conferencePaperpeer-review

  183. Predicting Player Experience without the Player

    Guckelsberger, C., Salge, C., Gow, J. & Cairns, P. A., Oct 2017, ACM CHI Play 2017. ACM, p. 305-315

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

  184. Fault-Based Testing for Refinement in CSP

    Cavalcanti, A. L. C. & Simao, A., 30 Sep 2017, 29th IFIP WG 6.1 International Conference on Testing Software and Systems. Yevtushenko, N., Cavalli, A. R. & Yenigun, H. (eds.). Springer, Vol. 10533. p. 21-37 17 p. (Lecture Notes in Computer Science).

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

  185. A re-characterization of hyper-heuristics

    Swan, J., De Causmaecker, P., Martin, S. & Özcan, E., 19 Sep 2017, (Accepted/In press) Recent Developments of Metaheuristics. L. Amodeo E-G. Talbi, F. Y. (ed.). Springer, p. 1-16 16 p.

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  186. Building Dialectal Arabic Corpora

    Elgabou, H. A. M. & Kazakov, D. L., 7 Sep 2017, The First Workshop on Human-Informed Translation and Interpreting Technology (HiT-IT). p. 52-57 6 p.

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

  187. Abstraction and representation in living organisms: when does a biological system compute?

    Horsman, D., Kendon, V., Stepney, S. & Young, P., 1 Sep 2017, Representation and Reality in Humans, Other Living Organisms and Intelligent Machines. Dodig-Crnkovic, G. & Giovagnoli, R. (eds.). Springer, p. 91-116

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

  188. Cardiovascular catheter with an expandable origami structure

    Taylor, A. J., Chen, Y., Fok, M., Berman, A., Nilsson, K. & Tse, Z. T. H., Sep 2017

    Article in Journal of Medical Devices

  189. Challenges of Safety Assurance for Industry 4.0

    Jaradat, O., Šljivo, I., Habli, I. & Hawkins, R. D., Sep 2017, 13th European Dependable Computing Conference (EDCC). p. 103-106

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

  190. Design evolution and pilot study for a kirigami-inspired flexible and soft anthropomorphic robotic hand: 2017 18th International Conference on Advanced Robotics, ICAR 2017

    Chan, Y. H., Tse, Z. & Ren, H., 31 Aug 2017, p. 432-437. 6 p.

    Research output: Contribution to conferencePaperpeer-review

  191. Learning Binary Preference Relations: Analysis of Logic-based versus Statistical Approaches

    Qomariyah, N. N. & Kazakov, D. L., 27 Aug 2017, p. 30-34. 5 p.

    Research output: Contribution to conferencePaperpeer-review

  192. Model-connected safety cases

    Matragkas, N., Retouniotis, A., Papadopoulos, Y., Sorokos, I., Parker, D. & Shavria, S., 2 Aug 2017, Model-Based Safety and Assessment. Bozzano, M. & Papadopoulos, Y. (eds.). Springer, p. 50-63 14 p. (Lecture Notes in Computer Science ; vol. 10437).

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

  193. Image Retrieval Based on Query by Saliency Content, Chapter 8

    Bors, A. G. & Papushoy, A., Aug 2017, Visual Content Indexing and Retrieval with Psycho-Visual Models. Benois-Pineau, J. & Le Callet, P. (eds.). Springer, p. 171-209 38 p. (Multimedia Systems and Applications).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  194. Why Functional Safety Experts Worry About Automotive Systems Having Increasing Autonomy

    Monkhouse, H. E., Habli, I., McDermid, J. A., Khastgir, S. & Dhadyalla, G., Aug 2017, International Workshop on Driver and Driverless Cars: Competition or Coexistence.

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

  195. Feature-Rich Networks for Knowledge Base Completion

    Manandhar, S. K. & Komninos, A., 30 Jul 2017, p. 324-329. 6 p.

    Research output: Contribution to conferencePaperpeer-review

  196. Harmonic analysis and resynthesis of Sliding-Tile Puzzle heuristics

    Swan, J., 5 Jul 2017, 2017 IEEE Congress on Evolutionary Computation, CEC 2017 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 516-524 9 p. 7969355

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

  197. Reservoir computing in materio: A computational framework for in materio computing

    Dale, M., Stepney, S., Miller, J. F. & Trefzer, M. A., 3 Jul 2017, International Joint Conference on Neural Networks (IJCNN). IEEE, p. 2178-2185

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

  198. Deep Convolutional Neural Networks for left ventricle segmentation

    Molaei, S., Shiri, M., Horan, K., Kahrobaei, D., Nallamothu, B. & Najarian, K., Jul 2017, 2017 39th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). Vol. 2017. p. 668-671 4 p. (Conference proceedings : ... Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Annual Conference).

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

  199. Efficient 3D morphable face model fitting

    Hu, G., Yan, F., Kittler, J., Christmas, W., Chan, C. H., Feng, Z. & Huber, P., Jul 2017

    Article in Pattern Recognition

  200. Ternary graphs – a new interactive approach to self-assessment

    Sebald, A. A-M., Brown, R., Tomasello, L., Stepney, S. & Mitchell, D. A., 28 Jun 2017.

    Research output: Contribution to conferencePosterpeer-review

  201. VCDC: The virtualized complicated device controller

    Jiang, Z. & Audsley, N., 1 Jun 2017, 29th Euromicro Conference on Real-Time Systems, ECRTS 2017. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 76. p. 51-520 470 p.

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

  202. On the Pitfalls of Resource Augmentation Factors and Utilization Bounds in Real-Time Scheduling

    Chen, J. J., Bruggen, G. V. D., Huang, W-H. & Davis, R. I., Jun 2017, 29th Euromicro Conference on Real-Time Systems (ECRTS 2017). Bertogna, M. (ed.). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, p. 9:1-9:25 25 p. (LIPIcs – Leibniz International Proceedings in Informatics; vol. 76).

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

  203. Probabilistic Graph Programming

    Plump, D., Atkinson, T. & Stepney, S., Jun 2017, Proceedings 8th International Workshop on Graph Computation Models (GCM 2017). Corradini, A. (ed.). p. 1-16 16 p.

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

  204. GPIOCP: Timing-accurate general purpose I/O controller for many-core real-time systems

    Jiang, Z. & Audsley, N. C., 11 May 2017, Proceedings of the 2017 Design, Automation and Test in Europe, DATE 2017. Institute of Electrical and Electronics Engineers Inc., p. 806-811 6 p. 7927099

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

  205. Real-Time 3D face fitting and texture fusion on in-the-wild videos

    Huber, P., Kopp, P., Christmas, W., Rätsch, M. & Kittler, J., 1 Apr 2017

    Article in IEEE Signal Processing Letters

  206. Developing the Safety Case for MediPi: An Open-Source Platform for Self Management

    Habli, I., Carr, A., Murphy, D., Dugdale, I., Dyson, A. & Robinson, R., Apr 2017, Informatics for Health : Connected Citizen-Led Wellness and Population Health. Randell, R., Cornet, R., McCowan, C., Peek, N. & J. Scott, P. (eds.). IOS Press, p. 78-82 5 p. (Studies in Health Technology and Informatics; vol. 235).

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

  207. Exploring the Notion of Hazards for Health IT

    Habli, I., White, S. P., Harrison, S. & Pujara, M., Apr 2017, Informatics for Health 2017.

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

  208. Fabricating biomedical origami: a state-of-the-art review

    Johnson, M., Chen, Y., Hovet, S., Xu, S., Wood, B., Ren, H., Tokuda, J. & Tse, Z. T. H., 4 Mar 2017

    Article in International journal of computer assisted radiology and surgery

  209. Competition and cooperation in pickup and multiple delivery problems

    Mourdjis, P., Polack, F., Cowling, P., Chen, Y. & Robinson, M., 15 Feb 2017, Operations Research and Enterprise Systems - 5th International Conference, ICORES 2016, Revised Selected Papers. Springer-Verlag, Vol. 695. p. 142-160 19 p. (Communications in Computer and Information Science; vol. 695).

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

  210. Exploring techniques to improve large-scale drainage system maintenance scheduling using a risk driven model

    Chen, Y., Polack, F., Cowling, P., Mourdjis, P. & Remde, S., 15 Feb 2017, Operations Research and Enterprise Systems - 5th International Conference, ICORES 2016, Revised Selected Papers. Vitoriano, B. & Parlier, G. H. (eds.). Springer-Verlag, Vol. 695. p. 161-179 19 p. (Communications in Computer and Information Science; vol. 695).

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

  211. Playing Catch-up - The Fate of Safety Engineering?

    McDermid, J. A., Feb 2017, Developments in System Safety Engineering. Parsons, M. & Kelly, T. (eds.). Safety Critical Systems Club, Vol. 25. p. 1-22

    Research output: Chapter in Book/Report/Conference proceedingChapter

  212. Robotic system for MRI-guided focal laser ablation in the prostate

    Chen, Y., Squires, A., Seifabadi, R., Xu, S., Agarwal, H. K., Bernardo, M., Pinto, P. A., Choyke, P., Wood, B. & Tse, Z. T. H., Feb 2017

    Article in IEEE/ASME Transactions on Mechatronics

  213. A stepwise approach to linking theories

    Ribeiro, P., Cavalcanti, A. & Woodcock, J., 11 Jan 2017, Unifying Theories of Programming - 6th International Symposium, UTP 2016, Revised Selected Papers. Bowen, J. P. & Zhu, H. (eds.). Springer-Verlag, p. 134-154 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10134 LNCS).

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

  214. Supporting custom quality models to analyse and compare open-source software

    Di Ruscio, D., Kolovos, D. S., Korkontzelos, Y., Matragkas, N. & Vinju, J., 11 Jan 2017, Proceedings - 2016 10th International Conference on the Quality of Information and Communications Technology, QUATIC 2016. Institute of Electrical and Electronics Engineers Inc., p. 94-99 6 p. 7814523

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

  215. UTP semantics of reactive processes with continuations

    Ngondi, G. E. & Woodcock, J., 11 Jan 2017, Unifying Theories of Programming - 6th International Symposium, UTP 2016, Revised Selected Papers. Bowen, J. P. & Zhu, H. (eds.). Springer-Verlag, p. 114-133 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10134 LNCS).

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

  216. Editorial

    Proietti, M., Seki, H. & Woodcock, J., 1 Jan 2017

    Editorial in Formal Aspects of Computing

  217. A comparison of one-pass and bi-directional approaches applied to large-scale road inspection

    Chen, Y., Polack, F., Cowling, P. & Remde, S., 2017, Operations Research and Enterprise Systems - 5th International Conference, ICORES 2016, Revised Selected Papers. Springer-Verlag, Vol. 695. p. 180-200 21 p. (Communications in Computer and Information Science; vol. 695).

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

  218. Analysis of a statistical regression approach for NO_2 pollution modelling

    Makrai, G. & Bate, I., 2017.

    Research output: Contribution to conferenceOtherpeer-review

  219. Associative Memory in Reaction-Diffusion Chemistry

    Stovold, J. H. & O'Keefe, S. E. M., 2017, Advances in Unconventional Computing: Volume 2: Prototypes, Models and Algorithms. Adamatzky, A. (ed.). 1 ed. SPRINGER-VERLAG BERLIN, Vol. 2. p. 141-165 25 p. (Emergence, Complexity and Computation; vol. 23).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  220. COMMitMDE 2017 - 2nd international workshop on collaborative modelling in MDE

    Bosch, J., Malavolta, I., Gérard, S., Muccini, H. & Kolovos, D., 2017, CEUR Workshop Proceedings: Proceedings of MODELS 2017 Satellite Event: Workshops. Vol. 2019. p. 123-124 2 p.

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

  221. Characterization, Analysis, and Recommendations for Exploiting the Opportunities of Cyber-Physical Systems

    McDermid, J. A., Torngren, M., Asplund, F., Bensalem, S., Passerone, R., Pfeifer, H., Gangiovanni-Vincentelli, A. & Schatz, B., 2017, Cyber-Physical Systems. Song, H., Rawat, D., Jeschke, S. & Brecher, C. (eds.). Cambridge, MA: Elsevier, p. 1-14 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  222. Code for SPEKE Verification

    Hao, F., Metere, R., Shahandashti, S. F. & Dong, C., 2017

    Research output: Non-textual formSoftware

  223. Curiously Motivated: Profiling Curiosity with Self-Reports and Behaviour Metrics in the Game "Destiny"

    Schaekermann, M., Nacke, L. E., Johnson, D., Drachen, A., Sifa, R., Wallner, G. & Krieglstein, S., 2017, Proceedings of the Annual Symposium on Computer-Human Interaction in Play (CHI-PLAY). p. 143-156

    Research output: Chapter in Book/Report/Conference proceedingChapter

  224. Evaluating the Onboarding Phase of Free-to-Play Mobile Games: A Mixed-Methods Approach

    Thomsen, L. E., Petersen, F. W., Drachen, A. & Mirza-babaei, P., 2017, Proceedings of the Annual Symposium on Computer-Human Interaction in Play (CHI-PLAY). p. 377-388

    Research output: Chapter in Book/Report/Conference proceedingChapter

  225. Exploring and Understanding Multicore Interference from Observable Factors

    Bate, I. J. & Lesage, B. M. J-R., 2017.

    Research output: Contribution to conferencePaperpeer-review

  226. Extendible Hardware Platform for Reservoir Computing in materio

    Dale, M. N., Miller, J. F., Stepney, S. & Trefzer, M. A., 2017.

    Research output: Contribution to conferencePaperpeer-review

  227. Graph Transformation: 10th International Conference, ICGT 2017, Held as Part of STAF 2017, Marburg, Germany, July 18-19, 2017, Proceedings

    de Lara, J. (ed.) & Plump, D. (ed.), 2017, (Accepted/In press) Springer. 231 p. (Lecture Notes in Computer Science; vol. 10373)

    Research output: Book/ReportBook

  228. Introduction to Unconventional Computing

    Stepney, S., 2017, Guide to Unconventional Computing for Music. Miranda, E. R. (ed.). Springer, p. 1-21 21 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  229. Memory-Bounded Monte Carlo Tree Search

    Powley, E. J., Cowling, P. I. & Whitehouse, D., 2017, 13th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment (AIIDE'17), 5-9 October 2017, Snowbird, Utah, USA. .

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

  230. Polyhedral approaches to learning Bayesian networks

    Haws, D., Cussens, J. & Studený, M., 2017, Algebraic and Geometric Methods in Discrete Mathematics: Contemporary Mathematics. Providence, RI: American Mathematical Society, Vol. 685. p. 155-188 34 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  231. Proving Linearizability Using Partial Orders

    Khyzha, A., Dodds, M. D., Gotsman, A. & Parkinson, M. J., 2017, Proceedings of the European Symposium on Programming.

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

  232. Reservoir Computing as a model for in materio computing

    Dale, M. N., Miller, J. F. & Stepney, S., 2017, Advances in Unconventional Computing. Adamatsky, A. (ed.). Springer, Vol. 1. p. 533-571

    Research output: Chapter in Book/Report/Conference proceedingChapter

  233. Reservoir Computing in materio with LEDs

    Dale, M. N., Miller, J. F., Stepney, S. & Trefzer, M. A., 2017.

    Research output: Contribution to conferencePaperpeer-review

  234. Robot for MRI-guided prostate cancer focal laser ablation: Frontiers in Biomedical Devices, BIOMED - 2017 Design of Medical Devices Conference, DMD 2017

    Tse, Z. T. H., Xu, S., Squires, A., Chen, Y., Seifabadi, R., Agrawal, H., Bernardo, M., Pinto, P., Choyke, P. & Wood, B., 2017.

    Research output: Contribution to conferencePaperpeer-review

  235. Smart Contract for Anonymous Voting over Ethereum

    McCorry, P., Shahandashti, S. F. & Hao, F., 2017

    Research output: Non-textual formSoftware

  236. Starling: Lightweight Concurrency Verification With Views

    Windsor, M. B., Dodds, M. D., Parkinson, M. J. & Simner, B., 2017, Computer aided verification: 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, proceedings. Majumdar, R. & Kuncak, V. (eds.). Vol. 1. p. 544-569 (Lecture Notes in Computer Science; vol. 10426).

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

  237. Synthesis and Verification of Self-aware Computing Systems

    Calinescu, R. C., Autili, M., Cámara, J., Di Marco, A., Gerasimou, S., Inverardi, P., Perucci, A., Jansen, N., Katoen, J-P., Kwiatkowska, M., Mengshoel, O. J., Spalazzese, R. & Tivoli, M., 2017, Self-Aware Computing Systems. Springer, p. 337-373 37 p.

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

  238. The changing face of model-driven engineering

    Paige, R. F., Zolotas, A. & Kolovos, D., 2017, Present and Ulterior Software Engineering. Springer International Publishing, p. 103-118 16 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  239. The effect of lip and arm synchronization on embodiment: A pilot study

    Collingwoode-Williams, T., Gillies, M., McCall, C. A. & Pan, X., 2017.

    Research output: Contribution to conferencePaperpeer-review

  240. The perceived assortativity of social networks: Methodological problems and solutions

    Fisher, D., Silk, M. & Franks, D. W., 2017, Trends in Social Network Analysis. p. 1-19

    Research output: Chapter in Book/Report/Conference proceedingChapter

  241. Time-optimal quantum control via differential geometry

    Wang, X., Allegra, M., Jacobs, K., Lloyd, S., Lupo, C. & Mohseni, M., 2017, Advances in Photonics of Quantum Computing, Memory, and Communication X. SPIE, Vol. 10118. 101180F

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

  242. Using Multi-parameters for Calibration of Low-cost Sensors in Urban Environment

    Bate, I. J. & Fang, X., 2017.

    Research output: Contribution to conferencePaperpeer-review

  243. Valid Application of EVT in Timing Analysis by Randomising Execution Time Measurements

    Bate, I. J. & Lima, G. M. D. A., 2017. 11 p.

    Research output: Contribution to conferencePaperpeer-review

  244. 2016
  245. V2V Channel allocation method based on SWM communication demand matrix

    Ye, L., Peng, C., Han, Q., Zeng, L., Chen, L., Liu, X. & Xu, Y., 22 Dec 2016, 2016 IEEE 19th International Conference on Intelligent Transportation Systems, ITSC 2016. Institute of Electrical and Electronics Engineers Inc., p. 2095-2100 6 p. 7795895

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

  246. Eager recirculating memory to alleviate the von Neumann Bottleneck

    O'Keefe, S. E. M. & Edwards, J., 6 Dec 2016, 2016 IEEE Symposium Series on Computational Intelligence (SSCI). IEEE, p. 1-5 5 p.

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

  247. On Valid Optimal Assignment Kernels and Applications to Graph Classification

    Kriege, N., Giscard, P-L. & Wilson, R. C., 6 Dec 2016, Advances in Neural Information Processing Systems 29 (NIPS 2016). Lee, D. D., von Luxburg, U., Garnett, R., Sugiyama, M. & Guyon, I. (eds.). Curran Associates Inc., p. 1623-1631 9 p. (Advances in Neural Information Processing Systems).

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

  248. Modelling and dynamic analysis of underactuated capsule systems with friction-induced hysteresis

    Liu, P., Yu, H. & Cang, S., 1 Dec 2016, 2016 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS). p. 549-554 6 p.

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

  249. Non-Rigid Dense Bijective Maps

    Gasparetto, A., Cosmo, L., Torsello, A. & Wilson, R. C., 1 Dec 2016, International Conference on Pattern Recognition. IEEE Computer Society, 6 p.

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

  250. Reflectance-aware optical flow

    Dahlan, H. A., Hancock, E. R. & Smith, W. A. P., 1 Dec 2016, 2016 23rd International Conference on Pattern Recognition (ICPR). Davis, L., Bimbo, A. D. & Lovell, B. (eds.). Los Alamitos, CA, USA: IEEE Computer Society Press, p. 2860-2865 6 p.

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

  251. Eboracum: An extensible framework for high-level modeling and evaluation of reactive and adaptable WSNs

    Marques, M. R. S., Brisolara, L., Ferreira, P. R. & Indrusiak, L. S., 3 Nov 2016, IEEE International Conference on Emerging Technologies and Factory Automation, ETFA. Institute of Electrical and Electronics Engineers Inc., Vol. 2016-November. 7733569

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

  252. Model-based design of resource-efficient automotive control software

    Chang, W., Roy, D., Zhang, L. & Chakraborty, S., Nov 2016, International Conference on Computer-Aided Design (ICCAD). 9 p.

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

  253. SBCCI 2016 Foreword

    Monteiro, D. W. D. L., Torres, F. S. & Indrusiak, L. S., 27 Oct 2016, Proceedings of the 29th Symposium on Integrated Circuits and Systems Design. Institute of Electrical and Electronics Engineers Inc., 11 p.

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

  254. Robot-assisted smart firefighting and interdisciplinary perspectives

    Liu, P., Yu, H., Cang, S. & Vladareanu, L., 24 Oct 2016, 2016 22nd International Conference on Automation and Computing (ICAC). p. 395-401 7 p.

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

  255. Cultural and Gender Differences in Password Behaviors: Evidence from China, Turkey and the UK

    Petrie, H. & Merdenyan, B., 23 Oct 2016, Proceedings of the 9th Nordic Conference on Human-Computer Interaction. ACM, 10 p. 9

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

  256. The convergence of player experience questionnaires

    Denisova, A., Nordin, A. I. & Cairns, P., 16 Oct 2016, CHI PLAY 2016 - Proceedings of the 2016 Annual Symposium on Computer-Human Interaction in Play. Association for Computing Machinery, Inc, p. 33-37 5 p.

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

  257. Heterogeneous semantics and unifying theories

    Woodcock, J., Foster, S. & Butterfield, A., 5 Oct 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer-Verlag, p. 374-394 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9952 LNCS).

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

  258. Collaborative modeling and simulation for cyber-physical systems

    Larsen, P. G., Fitzgerald, J., Woodcock, J. & Lecomte, T., 3 Oct 2016, Trustworthy Cyber-Physical Systems Engineering. CRC Press, p. 177-198 22 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  259. Integration of a graph-based model indexer in commercial modelling tools

    Garcia-Dominguez, A., Barmpis, K., Kolovos, D. S., Da Silva, M. A. A., Abherve, A. & Bagnato, A., 2 Oct 2016, Proceedings - 19th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2016. Association for Computing Machinery, Inc, p. 340-350 11 p.

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

  260. Partial loading of XMI models

    Wei, R., Kolovos, D. S., Garcia-Dominguez, A., Barmpis, K. & Paige, R. F., 2 Oct 2016, Proceedings - 19th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2016. Association for Computing Machinery, Inc, p. 329-339 11 p.

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

  261. A Practical Message ID Assignment Policy for Controller Area Network that Maximizes Extensibility

    Pölzlbauer, F., Davis, R. I. & Bate, I. J., Oct 2016, Proceedings of 24th International Conference on Real-Time Networks and Systems: RTNS16. ACM Digital Library, p. 45-54

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

  262. Analysis of Write-back Caches under Fixed-priority Preemptive and Non-preemptive Scheduling

    Davis, R. I., Altmeyer, S. & Reineke, J., Oct 2016.

    Research output: Contribution to conferencePaperpeer-review

  263. Response Time Analysis of Synchronous Data Flow Programs on a Many-Core Processor

    Rihani, H., Moy, M., Maiza, C., Davis, R. I. & Altmeyer, S., Oct 2016.

    Research output: Contribution to conferencePaperpeer-review

  264. Moving Virtual Source Perception in 3D Space

    Hughes, S. S. & Kearney, G. C., 30 Sep 2016.

    Research output: Contribution to conferencePaperpeer-review

  265. On Routing Flexibility of Wormhole-Switched Priority-Preemptive NoCs

    Nikolic, B., Pinho, L. M. & Indrusiak, L. S., 29 Sep 2016, Proceedings - 2016 IEEE 22nd International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2016. Institute of Electrical and Electronics Engineers Inc., p. 120-129 10 p. 7579947

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

  266. Auditory Immersion of 5.1 Virtualization within Gameplay

    Hughes, S. S. & Kearney, G. C., 27 Sep 2016.

    Research output: Contribution to conferencePaper

  267. Using association rule mining to predict opponent deck content in android: Netrunner

    Sephton, N., Cowling, P. I., Devlin, S., Hodge, V. J. & Slaven, N. H., 20 Sep 2016, 2016 IEEE Conference on Computational Intelligence and Games, CIG 2016. IEEE Computer Society Press, 7860399

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

  268. Combining Gameplay Data with Monte Carlo Tree Search to Emulate Human Play

    Devlin, S., Anspoka, A., Sephton, N. J., Cowling, P. I. & Rollason, J., 19 Sep 2016.

    Research output: Contribution to conferencePaperpeer-review

  269. Achieving Appropriate Test Coverage for Reliable Measurement-Based Timing Analysis

    Law, S. A. & Bate, I., 1 Sep 2016, Proceedings - 28th Euromicro Conference on Real-Time Systems, ECRTS 2016. Vol. 2016-August. p. 189-199 11 p. 7557880. (Real-Time Systems (ECRTS), Euromicro Conference on).

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

  270. Defining and Simulating Open-Ended Novelty: Requirements, Guidelines, and Challenges

    Banzhaf, W., Baumgaertner, B., Beslon, G., Doursat, R., Foster, J. A., McMullin, B., de Melo, V. V., Miconi, T., Spector, L., Stepney, S. & White, R., Sep 2016

    Article in Theory in Biosciences

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

  272. Syntactic theory and the science of (language) history

    Longobardi, G., Michelioudakis, D., Guardiano, C., Irimia, M-A., Radkevich, N., Kim, S-S., Cordoni, G., Ceolin, A. & Kazakov, D. L., Sep 2016.

    Research output: Contribution to conferenceAbstractpeer-review

  273. Co-Motion: Mobility and wellbeing in later life

    Bevan, M. A., Petrie, H., Cambridge, H. M., Cinderby, S., Croucher, K. L., Swallow, D. M., Gilroy, R. & Attuyer, K., 21 Aug 2016, Universal Design 2016: Learning from the past, designing for the future (Proceedings of the 3rd International Conference on Universal Design, UD2016). . Amsterdam: IOS Press, Vol. 229. p. 627 - 629 2 p.

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

  274. Understanding the lived experience of five individuals with mobility aids

    Walsh, T. & Petrie, H., 21 Aug 2016, Universal Design 2016: Learning from the past, designing for the future (Proceedings of the 3rd International Conference on Universal Design, UD2016). Petrie, H., Darzentas, J., Walsh, T., Swallow, D., Sandoval, L., Lewis, A. & Power, C. (eds.). Amsterdam: IOS Press, p. 582 - 593 12 p. (Studies in Health Technology and Informatics; vol. 229).

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

  275. Universal Design 2016: Learning from the Past, Designing for the Future

    Petrie, H., Darzentas, J. S., Walsh, T., Swallow, D. M., Sandoval Guzman, L. F. & Power, C. D., 21 Aug 2016, IOS Press. 704 p. (Studies in Health Technology and Informatics)

    Research output: Book/ReportBook

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

  277. Affective brain–computer music interfacing

    Daly, I., Williams, D., Kirke, A., Weaver, J., Malik, A., Hwang, F., Miranda, E. & Nasuto, S. J., 11 Jul 2016

    Article in Journal of Neural Engineering

  278. A Suspension-Trace Semantics for CSP

    Cavalcanti, A. L. C., Hierons, R. M., Nogueira, S. & Sampaio, A. C. A., 1 Jul 2016, International Symposium on Theoretical Aspects of Software Engineering. IEEE, p. 3-13 11 p.

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

  279. Discovering Relational Structure in Program Synthesis Problems with Analogical Reasoning

    Swan, J. & Krawiec, K., 1 Jul 2016, Genetic Programming Theory and Practice XIV. Riolo, R., Tozier, B. & Goldman, B. (eds.). Ann Arbor, USA: Springer, (Genetic and Evolutionary Computation).

    Research output: Chapter in Book/Report/Conference proceedingOther chapter contribution

  280. Modelling and Training Unconventional in-Materio Computers using Bio-Inspired Techniques

    Dale, M. N., Miller, J. F., Stepney, S. & Trefzer, M. A., Jul 2016, p. 11. 12 p.

    Research output: Contribution to conferencePosterpeer-review

  281. On the Evaluation of Schedulability Tests for Real-Time Scheduling Algorithms

    Davis, R. I., Jul 2016. 9 p.

    Research output: Contribution to conferencePaper

  282. Comparing Composite vs. Wave-Cores in a Novel Dark-Silicon Methodology

    Crispin-Bailey, C. & Arnone, A., 27 Jun 2016. 4 p.

    Research output: Contribution to conferencePaperpeer-review

  283. Functional Faces: Groupwise Dense Correspondence using Functional Maps

    Zhang, C., Smith, W. A. P., Dessein, A. F., Pears, N. E. & Dai, H., 26 Jun 2016, p. 5033-5041. 9 p.

    Research output: Contribution to conferencePaperpeer-review

  284. Dependency Based Embeddings for Sentence Classification Tasks

    Komninos, A. & Manandhar, S., 12 Jun 2016, p. 1490-1500. 11 p.

    Research output: Contribution to conferencePaperpeer-review

  285. Iterative Cartesian Genetic Programming: Creating general algorithms for solving Travelling Salesman Problems

    Ryser-Welch, P., Miller, J. F., Swan, J. & Trefzer, M. A., 1 Jun 2016, EuroGP 2016: Proceedings of the 19th European Conference on Genetic Programming. Heywood, M. I., McDermott, J., Castelli, M., Costa, E. & Sim, K. (eds.). Porto, Portugal: Springer-Verlag, Vol. 9594. p. 294-310 17 p. (LNCS).

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

  286. A Maturity Model for Integrating Agile Processes and User Centred Design

    Paige, R. F., Mostafa, D. S. E. D. N. & Cairns, P. A., Jun 2016, Software Process Improvement and Capability Determination (SPICE). 16th International Conference ed. p. 109-122 14 p.

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

  287. Engagement in digital games

    Cairns, P. A., Jun 2016, Why Engagement Matters: Cross-disciplinary perspectives of user engagement in digital media. O'Brien, H. & Cairns, P. (eds.). Springer, p. 81-104 4

    Research output: Chapter in Book/Report/Conference proceedingChapter

  288. Why Engagement Matters: Cross-disciplinary perspectives of user engagement in digital media

    O'Brien, H. (ed.) & Cairns, P. A. (ed.), Jun 2016, Springer. 222 p.

    Research output: Book/ReportBook

  289. Real-Time Stream Processing in Java

    Gray, I., Wellings, A. J. & Mei, H., 31 May 2016, 21st Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2016. Springer, p. 44-57 14 p. ( Lecture Notes in Computer Science).

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

  290. A Formal Model of the Safety-Critical Java Level 2 Paradigm

    Luckcuck, M. S., Cavalcanti, A. L. C. & Wellings, A. J., 24 May 2016, Integrated Formal Methods. Springer, p. 226-241 (Lecture Notes in Computer Science; vol. 9681).

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

  291. RoboTool

    Miyazawa, A. H., De Oliveira Salazar Ribeiro, P. F., Li, W., Cavalcanti, A. L. C. & Timmis, J. I., 20 May 2016

    Research output: Non-textual formSoftware

  292. A constructive task mapping algorithm for hard real-time embedded NoCs

    Sayuti, M. N. S. M. & Indrusiak, L. S., 18 May 2016, Proceedings - 2015 IEEE Conference on System, Process and Control, ICSPC 2015. Institute of Electrical and Electronics Engineers Inc., p. 123-128 6 p. 7473571

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

  293. Multi-Objective Dynamic Dispatch Optimisation using Multi-Agent Reinforcement Learning: (Extended Abstract)

    Mannion, P., Mason, K., Devlin, S., Duggan, J. & Howley, E., 9 May 2016, Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems. International Foundation for Autonomous Agents and Multiagent Systems , p. 1345-1346 2 p.

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

  294. Motivations, learning and creativity in online citizen science

    Jennett, C., Kloetzer, L., Schneider, D., Iacovides, I., Cox, A. L., Gold, M., Fuchs, B., Eveleigh, A., Methieu, K., Ajani, Z. & Talsi, Y., 1 Apr 2016

    Article in Journal of Science Communication

  295. Evaluating hyperheuristics and local search operators for periodic routing problems

    Chen, Y., Mourdjis, P., Polack, F., Cowling, P. & Remde, S., 15 Mar 2016, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer-Verlag, Vol. 9595. p. 104-120 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9595).

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

  296. Concentric network symmetry

    Silva, F. N., Comin, C. H., DM. Peron, T. K., Rodrigues, F. A., Ye, C., Wilson, R. C., Hancock, E. & da F. Costa, L., 10 Mar 2016

    Article in Information Sciences

  297. The significance of postreproductive lifespans in killer whales: a comment on Robeck et al

    Franks, D. W., Nattrass, S., Brent, L. J. N., Whitehead, H., Foote, A. D., Mazzi, S. V. T., Ford, J. K. B., Balcomb, K. C., Cant, M. A. & Croft, D. P., 8 Mar 2016

    Article in Journal of mammalogy

  298. Super-Additivity and Entanglement Assistance in Quantum Reading

    Lupo, C. & Pirandola, S., 4 Mar 2016.

    Research output: Working paper

  299. Exploring the Current Landscape of Intravenous Infusion Practices and Errors (ECLIPSE): protocol for a mixed-methods observational study

    Blandford, A., Furniss, D., Lyons, I., Chumbley, G., Iacovides, I., Wei, L., Cox, A. L., Mayer, A., Schnock, K. O., Bates, D. W., Dykes, P. C., Bell, H. & Franklin, B. D., 3 Mar 2016

    Article in BMJ Open

  300. Impact of temporal and spatial application modeling on event-triggered wireless sensor network evaluation

    Brisolara, L., Ferreira, P. R. & Indrusiak, L. S., 1 Mar 2016, Proceedings - 2015 Brazilian Symposium on Computing Systems Engineering, SBESC 2015. Institute of Electrical and Electronics Engineers Inc., p. 30-35 6 p. 7423208

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

  301. Thermal Quantum Metrology

    Spedalieri, G., Braunstein, S. L. & Pirandola, S., 18 Feb 2016.

    Research output: Working paper

  302. Secure high capacity data hiding for 3D meshes

    Itier, V., Bors, A. G., Puech, W. & Pedeboy, J-P., 14 Feb 2016, Proc. IS&T Inter. Symposium on Electronic Imaging, Vol. 3D Image Processing, Measurement (3DIPM). IS&T, p. 1-7 7 p.

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

  303. Automatic Modelling of 3D Craniofacial Form

    Pears, N. E. & Duncan, C., 22 Jan 2016, p. 1-57, 57 p.

    Research output: Working paper

  304. Design space exploration for complex automotive applications: An engine control system case study

    Latif, K., Selva, M., Effiong, C., Ursu, R., Gamatie, A., Sassatelli, G., Zordan, L., Ost, L., Dziurzanski, P. & Indrusiak, L. S., 18 Jan 2016, ACM International Conference Proceeding Series. Association for Computing Machinery (ACM), Vol. 18-January-2016. a2

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

  305. Reducing the Implementation Overheads of IPCP and DFP

    Almatary, H., Audsley, N. C. & Burns, A., 18 Jan 2016, Proceedings - Real-Time Systems Symposium. Institute of Electrical and Electronics Engineers Inc., Vol. 2016-January. p. 295-304 10 p. 7383586

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

  306. Optimal Performance of a Quantum Network

    Pirandola, S., 5 Jan 2016.

    Research output: Working paper

  307. Benchmarking, System Design and Case-studies for Multi-core based Embedded Automotive Systems

    Dziurzanski, P., Singh, A. K., Indrusiak, L. S. & Saballus, B., Jan 2016, Proc. 2nd Int Workshop on Dynamic Resource Allocation and Management in Embedded, High Performance and Cloud Computing (DREAMCloud) - HiPEAC Conference. Arxiv (Cornell University), 6 p.

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

  308. Bidding policies for market-based HPC workflow scheduling

    Burkimsher, A. & Indrusiak, L. S., Jan 2016, Proc. 2nd Int Workshop on Dynamic Resource Allocation and Management in Embedded, High Performance and Cloud Computing (DREAMCloud) - HiPEAC Conference. Arxiv (Cornell University), 7 p.

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

  309. A Java-Based Real-Time Reactive Stream Framework

    Gray, I. & Wellings, A., 2016, Proceedings of the 19th IEEE International Symposium on Real-Time Computing.

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

  310. A Stepwise Approach to Linking Theories

    De Oliveira Salazar Ribeiro, P. F., Cavalcanti, A. L. C. & Woodcock, J., 2016, Unifying Theories of Programming. Springer, (Lecture Notes in Computer Science).

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

  311. Addressing the 4+1 Software Safety Assurance Principles within Scrum

    Doss, O. & Kelly, T., 2016, Proceedings of the Scientific Workshop Proceedings of XP2016, Edinburgh, Scotland, UK, May 24, 2016. New York: ACM: New York, p. 17 1 p.

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

  312. Automatic Improvement of Apache Spark Queries using Semantics-preserving Program Reduction

    Kocsis, Z. A., Drake, J. H., Carson, D. & Swan, J., 2016, Genetic and Evolutionary Computation Conference, GECCO 2016, Denver, USA, July 20-24, 2016, Companion Material Proceedings.

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

  313. Bio-Reflective Architectures for Evolutionary Innovation

    Hickinbotham, S. J. & Stepney, S., 2016, Proceedings of the Artificial Life Conference 2016. MIT Press, p. 192–199

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

  314. Checking SysML Models for Co-Simulation

    Amálio, N., Payne, R., Cavalcanti, A. L. C. & Woodcock, J., 2016, International Conference on Formal Engineering Methods. Springer, (Lecture Notes in Computer Science).

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

  315. Distance Metric Ensemble Learning and the Andrews-Curtis Conjecture

    Krawiec, K. & Swan, J., 2016, 11 p.

    Research output: Other contribution

  316. Distribution Data Across Multiple Cloud Storage Using ReinforcementLearning Method

    Algarni, A. F. H. & Kudenko, D., 2016, (Accepted/In press).

    Research output: Contribution to conferencePaperpeer-review

  317. EMG: A domain-specific transformation language for synthetic model generation

    Popoola, S., Kolovos, D. S. & Rodriguez, H. H., 2016, Theory and Practice of Model Transformations - 9th International Conference, ICMT 2016 Held as Part of STAF 2016, Proceedings. Springer-Verlag, Vol. 9765. p. 36-51 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9765).

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

  318. Efficient large-scale road inspection routing

    Chen, Y., Cowling, P. I., Remde, S. & Polack, F. A. C., 2016, Proceedings, ICORES. SciTePress

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

  319. Emergent Bonding Properties in the Spiky RBN AChem

    Krastev, M. S., Sebald, A. A-M. & Stepney, S., 2016, Proceedings of the Artificial Life Conference 2016. MIT Press, p. 600–607

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

  320. Experimental methods in Human-Computer Interaction

    Cairns, P. A., 2016, Encylopedia of Human-Computer Interaction, 2nd edn. Soedergaard, M. & Dam, R. (eds.). Interaction Design Foundation, 34

    Research output: Chapter in Book/Report/Conference proceedingChapter

  321. Identifying usage anomalies for ECG-based sensor nodes

    Chen, L. & Bate, I. J., 2016, IEEE 13th International Conference on Wearable and Implantable Body Sensor Networks (BSN). IEEE, p. 77-82 6 p. (Wearable and Implantable Body Sensor Networks (BSN), IEEE International Conference on).

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

  322. Jordan Algebra AChems: Exploiting Mathematical Richness for Open Ended Design

    Faulkner, P. S. M., Sebald, A. A-M. & Stepney, S., 2016, Proceedings of the Artificial Life Conference 2016. MIT Press, p. 582–589

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

  323. Learning Predictive Categories Using Lifted Relational Neural Networks

    Sourek, G., Manandhar, S., Zelezny, F., Schockaert, S. & Kuzelka, O., 2016, Inductive Logic Programming: 26th International Conference, ILP 2016, London, UK, September 4-6, 2016, Revised Selected Papers. Springer International Publishing, Vol. 10326. (Lecture Notes in Artificial Intelligence).

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

  324. Local Livelock Analysis of Component-Based Models

    Conserva Filho, M., Oliveira, M. V. M., Sampaio, A. C. A. & Cavalcanti, A. L. C., 2016, International Conference on Formal Engineering Methods. Springer, (Lecture Notes in Computer Science).

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

  325. Mobile CSP

    Woodcock, J. C. P., Cavalcanti, A. L. C. & Wellings, A. J., 2016, Formal Methods: Foundations and Applications : 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Revised Selected Papers. Cornélio, M. & Roscoe, B. (eds.). Springer-Verlag, p. 39-55 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9526).

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

  326. Multi-objective co-optimization of FlexRay-based distributed control systems

    Roy, D., Zhang, L., Chang, W., Goswami, D. & Chakraborty, S., 2016, IEEE Real-Time Embedded Technology & Applications Symposium (RTAS).

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

  327. Proceedings of the 3rd International Workshop on Model-Driven Engineering on and for the Cloud

    Paige, R. F., Cabot, J., Brambilla, M. & Hill, J. H., 2016, CEUR Workshop Proceedings. 42 p.

    Research output: Book/ReportBook

  328. Reasoning about Graph Programs

    Plump, D., 2016, Proceedings 9th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2016). Corradini, A. & Zantema, H. (eds.). p. 35-44 9 p. (Electronic Proceedings in Theoretical Computer Science; vol. 225).

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

  329. Refinement strategies for Safety-Critical Java

    Miyazawa, A. & Cavalcanti, A. L. C., 2016, Formal Methods: Foundations and Applications: 18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Revised Selected Papers. Cornélio, M. L. & Roscoe, B. (eds.). Springer, (Lecture Notes in Computer Science; vol. 9526).

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

  330. Resource-aware automotive control systems design: A cyber-physical systems approach

    Chang, W. & Chakraborty, S., 2016, Foundations and Trends in Electronic Design Automation.

    Research output: Book/ReportBook

  331. Risk driven analysis of maintenance for a large-scale drainage system

    Chen, Y., Polack, F. A. C., Cowling, P. I., Mourdjis, P. J. & Remde, S., 2016, Proceedings, ICORES. SciTePress, p. 296-303

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

  332. Selecting Execution-Time Server Parameters for Real-Time Stream Processing Systems

    Gray, I., Wellings, A. J. & Mei, H., 2016, 9th York Doctoral Symposium on Computer Science and Electronics (YDS 2016).

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

  333. SemEval-2016 Task 5: Aspect Based Sentiment Analysis

    Pontiki, M., Galanis, D., Papageorgiou, H., Androutsopoulos, I., Manandhar, S., Al-Smadi, M., Al-Ayyoub, M., Zhao, Y., Qin, B., Clercq, O. D., Hoste, V., Apidianaki, M., Tannier, X., Loukachevitch, N. V., Kotelnikov, E., Bel, N., Zafra, S. M. J. & Eryigit, G., 2016, Proceedings of the 10th International Workshop on Semantic Evaluation, SemEval@NAACL-HLT 2016, San Diego, CA, USA, June 16-17, 2016. p. 19-30 12 p.

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

  334. Structured Generative Models of Continuous Features for Word Sense Induction

    Komninos, A. & Manandhar, S., 2016, COLING 2016, 26th International Conference on Computational Linguistics, Proceedings of the Conference: Technical Papers, December 11-16, 2016, Osaka, Japan. p. 3577-3587 11 p.

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

  335. Synthetic workload generation of broadcast related HEVC stream decoding for resource constrained systems

    Mendis, H. R. & Indrusiak, L. S., 2016, ICETE 2016 - Proceedings of the 13th International Joint Conference on e-Business and Telecommunications. SciTePress, Vol. 5. p. 52-64 13 p.

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

  336. Systematic Maintenance of Safety Cases to Reduce Risk

    Jaradat, O. & Bate, I., 2016, Computer Safety, Reliability, and Security: SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings. Springer, p. 17-29 (Lecture Notes in Computer Science; vol. 9923).

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

  337. The Art of Penrose Life

    Stepney, S., 2016, Designing Beauty: The Art of Cellular Automata. Adamatzky, A. & Martinez, G. J. (eds.). Springer, p. 103-109 7 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  338. The Notion of Controllability in an Autonomous Vehicle Context

    Habli, I., McDermid, J. A. & Monkhouse, H., 2016, CARS Workshop Critical Automotive Applications: Robustness & Safety.

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

  339. The effect of cooperation in pickup and multiple delivery problems

    Mourdjis, P. J., Polack, F. A. C., Cowling, P. I., Chen, Y. & Robinson, M., 2016, Proceedings, ICORES. SciTePress, p. 287-295

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

  340. Using Process Models in System Assurance

    Hawkins, R., Richardson, T. & Kelly, T., 2016, Computer Safety, Reliability, and Security - 35th International Conference, SAFECOMP 2016, Proceedings. Skavhaug, A., Guiochet, J. & Bitsch, F. (eds.). p. 27-38 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9922 LNCS).

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

  341. Variable Neighbourhood Descent with Memory: A Hybrid Metaheuristic for Supermarket Resupply

    Mourdjis, P., Chen, Y., Polack, F., Cowling, P. & Robinson, M., 2016, Hybrid Metaheuristics - 10th International Workshop, HM 2016, Proceedings: 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings. Cangelosi, A., Talbi, E-G., Blum, C., Cutello, V., Pavone, M., Blesa, M. J. & di Nuovo, A. (eds.). Springer-Verlag, Vol. 9668. p. 32-46 15 p. (Lecture Notes in Computer Science; vol. 9668).

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

  342. 2015
  343. General Benchmarks for Quantum Repeaters

    Pirandola, S. & Laurenza, R., 15 Dec 2015, p. 1-12, 12 p.

    Research output: Working paper

  344. Bio-inspired distributed task remapping for multiple video stream decoding on homogeneous NoCs

    Mendis, H. R., Indrusiak, L. S. & Audsley, N. C., 9 Dec 2015, ESTIMedia 2015 : 13th IEEE Symposium on Embedded Systems for Real-Time Multimedia. Institute of Electrical and Electronics Engineers Inc., 7351765

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

  345. Learning Ordinary Differential Equations for Macroeconomic Modelling

    Georgiev, Z. & Kazakov, D. L., Dec 2015, IEEE SSCI 2015: 2015 IEEE Symposium Series on Computational Intelligence. IEEE, p. 905-909 5 p.

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

  346. Quantifying the Exact Sub-Optimality of Non-Preemptive Scheduling

    Davis, R. I., Thekkilakattil, A., Gettings, O., Dobrin, R. & Punnekkat, S., Dec 2015, (Accepted/In press) Real-Time Systems Symposium (RTSS).

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

  347. Static Probabilistic Timing Analysis for Multi-path Programs

    Lesage, B. M. J-R., Griffin, D. J., Altmeyer, S. & Davis, R. I., Dec 2015, IEEE Real-Time Systems Symposium (RTSS).

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

  348. Design and Fabrication of MR-Tracked Metallic Stylet for Gynecologic Brachytherapy

    Chen, Y., Wang, W., Schmidt, E. J., Kwok, K-W., Viswanathan, A. N., Cormack, R. & Tse, Z. T. H., 24 Nov 2015

    Article in IEEE/ASME Transactions on Mechatronics

  349. Deriving Hierarchical Safety Contracts

    Jaradat, O. & Bate, I., 1 Nov 2015, Dependable Computing (PRDC): 2015 IEEE 21st Pacific Rim International Symposium on Dependable Computing. IEEE, p. 119-128 10 p.

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

  350. Influential Nuisance Factors on a Decision of Sufficient Testing

    Malekzadeh, M. & Bate, I., 1 Nov 2015, Algorithms and Architectures for Parallel Processing: ICA3PP International Workshops and Symposiums, Zhangjiajie, China, November 18-20, 2015, Proceedings. Wang, G., Zomaya, A., Martinez Perez, G. & Li, K. (eds.). Springer, p. 819-828 10 p. (Lecture Notes in Computer Science; vol. 9532).

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

  351. A Framework For The Evaluation Of Measurement-based Timing Analyses

    Lesage, B., Griffin, D., Soboczenski, F., Bate, I. & Davis, R. I., Nov 2015, 23rd International Conference on Real-Time Networks and Systems (RTNS): Proceedings of the 23rd International Conference on Real Time and Networks Systems. New York: ACM, p. 35-44

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

  352. A Generic and Compositional Framework for Multicore Response Time Analysis

    Altmeyer, S., Davis, R. I., Soares Indrusiak, L., Maiza, C., Nelis, V. & Reineke, J., Nov 2015, RTNS '15 : Proceedings of the 23rd International Conference on Real Time and Networks Systems. ACM, p. 129-138

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

  353. Editorial

    Woodcock, J. C. P. & Jones, C. B., Nov 2015

    Editorial in Formal Aspects of Computing

  354. Mixed Criticality Systems with Weakly-Hard Constraints

    Gettings, O., Quinton, S. & Davis, R. I., Nov 2015, RTNS '15 : Proceedings of the 23rd International Conference on Real Time and Networks Systems. New York : ACM, p. 129-138

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

  355. Modelling Fault Dependencies when Execution Time Budgets are Exceeded

    Griffin, D., Lesage, B., Soboczenski, F., Bate, I. & Davis, R. I., Nov 2015, Proceedings of the 23rd International Conference on Real-Time Networks and Systems: Proceedings of the 23rd International Conference on Real Time and Networks Systems. New York : ACM, p. 65-74

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

  356. Multiprocessor Fixed Priority Scheduling with Limited Preemptions

    Thekkilakattil, A., Davis, R. I., Dobrin, R., Punnekkat, S. & Bertogna, M., Nov 2015, RTNS '15 : Proceedings of the 23rd International Conference on Real Time and Networks Systems. ACM, p. 13-22

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

  357. On Priority Assignment for Controller Area Network when some Message Identifiers are Fixed

    Davis, R. I., Burns, A., Pollex, V. & Slomka, F., Nov 2015, RTNS '15 : Proceedings of the 23rd International Conference on Real Time and Networks Systems. New York : ACM, p. 279-288

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

  358. Fundamental Limits of Repeaterless Quantum Communications

    Pirandola, S., Laurenza, R., Ottaviani, C. & Banchi, L., 29 Oct 2015, p. 1-34, 34 p.

    Research output: Working paper

  359. Decentralised load balancing in event-triggered wsns based on ant colony work division

    Ferreira, P. R., Brisolara, L. & Indrusiak, L. S., 20 Oct 2015, Proceedings - 41st Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2015. Institute of Electrical and Electronics Engineers Inc., p. 69-75 7 p. 7302433

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

  360. Adaptation in digital games: The effect of challenge adjustment on player performance and experience

    Denisova, A. & Cairns, P., 5 Oct 2015, CHI PLAY 2015 - Proceedings of the 2015 Annual Symposium on Computer-Human Interaction in Play. Association for Computing Machinery, Inc, p. 97-101 5 p.

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

  361. Emotional and functional challenge in core and avant-garde games

    Cole, T., Cairns, P. & Gillies, M., 5 Oct 2015, CHI PLAY 2015 - Proceedings of the 2015 Annual Symposium on Computer-Human Interaction in Play. Association for Computing Machinery, Inc, p. 121-126 6 p.

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

  362. Higher graphical fidelity decreases players' access to aggressive concepts in violent video games

    Zendle, D., Cairns, P. & Kudenko, D., 5 Oct 2015, CHI PLAY 2015 - Proceedings of the 2015 Annual Symposium on Computer-Human Interaction in Play. Association for Computing Machinery, Inc, p. 241-251 11 p.

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

  363. The placebo effect in digital games: Phantom perception of adaptive artificial intelligence

    Denisova, A. & Cairns, P., 5 Oct 2015, CHI PLAY 2015 - Proceedings of the 2015 Annual Symposium on Computer-Human Interaction in Play. Association for Computing Machinery, Inc, p. 23-33 11 p.

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

  364. User Reviews of Gamepad Controllers: a Source of User Requirements and User Experience

    Merdenyan, B. & Petrie, H., 4 Oct 2015, Proceedings of the 2015 Annual Symposium on Computer-Human Interaction in Play. ACM, p. 643 - 648 6 p.

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

  365. T-CREST: Time-predictable multi-core architecture for embedded systems

    Schoeberl, M., Abbaspour, S., Akesson, B., Audsley, N., Capasso, R., Garside, J., Goossens, K., Goossens, S., Hansen, S., Heckmann, R., Hepp, S., Huber, B., Jordan, A., Kasapaki, E., Knoop, J., Li, Y., Prokesch, D., Puffitsch, W., Puschner, P., Rocha, A. & 3 others, Silva, C., Sparsø, J. & Tocchi, A., 1 Oct 2015

    Article in Journal of systems architecture

  366. Ortho-diffusion decompositions for face recognition from low quality images

    Gudivada, S. K. N. & Bors, A. G., Oct 2015, 2015 IEEE International Conference on Image Processing ICIP, 2015 : Proceedings . IEEE, p. 3625-3629 5 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  367. Visual attention for content based image retrieval

    Papushoy, A. & Bors, A. G., Oct 2015, IEEE International Conference on Image Processing (ICIP), 2015. IEEE, p. 971-975 5 p.

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

  368. Network-on-Chip packet prioritisation based on instantaneous slack awareness

    Sudev, B., Indrusiak, L. S. & Harbin, J., 28 Sep 2015, 13th International Conference on Industrial Informatics (INDIN), 2015. Institute of Electrical and Electronics Engineers Inc., p. 227-232 6 p. 7281739

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

  369. Task allocation for decoding multiple hard real-time video streams on homogeneous NoCs

    Mendis, H. R., Audsley, N. C. & Indrusiak, L. S., 28 Sep 2015, IEEE 13th International Conference on Industrial Informatics (INDIN), 2015. Institute of Electrical and Electronics Engineers Inc., p. 246-251 6 p. 7281742

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

  370. A Morphable Profile Model of the Human Head as an Outcome Tool for Craniosynostosis Surgery

    Duncan, C., Armstrong, R. & Pears, N. E., 14 Sep 2015.

    Research output: Contribution to conferenceAbstractpeer-review

  371. Cloud-COVER: Using User Security Attribute Preferences and Propagation Analysis to Prioritise Threats to Systems

    Aydin, M. M. & Jacob, J. L., 7 Sep 2015, Intelligence and Security Informatics Conference (EISIC), 2015 European Workshop. Hammoudeh, M. & Han, L. (eds.). IEEE, p. 53-60 8 p.

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

  372. Nonclassical readout of optical memories under local energy constraint

    Spedalieri, G., Lupo, C. & Pirandola, S., 3 Sep 2015, p. 1-11. 11 p.

    Research output: Contribution to conferencePaperpeer-review

  373. Quantum cryptography with an ideal local relay

    Spedalieri, G., Ottaviani, C., Braunstein, S. L., Gehring, T., Jacobsen, C. S., Andersen, U. L. & Pirandola, S., 3 Sep 2015.

    Research output: Contribution to conferencePaperpeer-review

  374. Restoring broken entanglement by separable correlations

    Spedalieri, G. & Pirandola, S., 3 Sep 2015.

    Research output: Contribution to conferencePaperpeer-review

  375. Hardware-Accelerated Response Time Analysis for priority-preemptive Networks-on-Chip

    Ma, Y. & Indrusiak, L. S., 2 Sep 2015, 10th International Symposium on Reconfigurable and Communication-centric Systems-on-Chip, ReCoSoC 2015. Institute of Electrical and Electronics Engineers Inc., p. 1-8 8 p. 7238092

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

  376. Feature Encoding of Spectral Signatures for 3D Non-Rigid Shape Retrieval

    Limberger, F. A. & Wilson, R. C., 1 Sep 2015, Proceedings of the British Machine Vision Conference (BMVC). BMVA Press, p. 56.1-56.13 13 p.

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

  377. Thermodynamic characterization of networks using graph polynomials

    Ye, C., Comin, C. H., Peron, T. K. DM., Silva, F. N., Rodrigues, F. A., Costa, L. D. F., Torsello, A. & Hancock, E. R., 1 Sep 2015

    Article in Physical Review E

  378. Transparent hardware synthesis of Java for predictable large-scale distributed systems

    Gray, I., Chan, Y., Garside, J., Audsley, N., Wellings, A. & Wellings, A. J., 1 Sep 2015, p. 1-2. 2 p.

    Research output: Contribution to conferencePaperpeer-review

  379. Content Based Image Retrieval Based on Modelling Human Visual Attention

    Papushoy, A. & Bors, A. G., Sep 2015, Computer Analysis of Images and Patterns : 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015 Proceedings, Part I. Azzopardi, G. & Petkov, N. (eds.). Springer, p. 137-148 12 p. (Lecture Notes in Computer Science; vol. 9256).

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

  380. Observing human activities using movement modelling

    Stephens, K. & Bors, A. G., Sep 2015, 12th IEEE International Conference on Advanced Video and Signal Based Surveillance : AVSS 2015. IEEE, 6 p.

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

  381. Robust Learning from Ortho-Diffusion Decompositions

    Gudivada, S. & Bors, A. G., Sep 2015, Computer Analysis of Images and Patterns : 16th International Conference, CAIP 2015, Valletta, Malta, September 2-4, 2015 Proceedings, Part I. Azzopardi, G. & Petkov, N. (eds.). Springer, p. 546-557 12 p. (Lecture Notes in Computer Science; vol. 9256).

    Research output: Chapter in Book/Report/Conference proceedingChapter

Previous 1 2 3 4 5 6 7 8 ...12 Next