Search research publications and outputs

  1. Conference article › Research › Peer-reviewed
  2. Review article › Research › Peer-reviewed
  3. Chapter (peer-reviewed) › Research › Peer-reviewed
  4. Evolution of Formal Model-based Assurance Cases for Autonomous Robots

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

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

  5. Hybrid Relations in Isabelle/UTP

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

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

  6. Working paper › Research
  7. Conference contribution › Research
  8. A Calculus of Space, Time, and Causality: its Algebra, Geometry, Logic

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  15. Deep Reinforcement Learning Based Parameter Control in Differential Evolution

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

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

  16. Detecting Causal Links between Financial News and Stocks

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

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

  17. Developing a Safety Case for Electronic Prescribing

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

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

  18. Evolving Graphs with Horizontal Gene Transfer

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  26. Integrated Process Planning and Scheduling in Commercial Smart Kitchens

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

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

  27. Integrating Existing Safety Analyses into SysML

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

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

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

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

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

  29. Perpetual Assurances for Self-Adaptive Systems

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

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

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

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

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

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

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

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

  32. Predicting Visual Memory Schemas with Variational Autoencoders

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

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

  33. Probabilistic Semantics for RoboChart A Weakest Completion Approach

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

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

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

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

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

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

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

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

  36. The role of gaming during difficult life experiences

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

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

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

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

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

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

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

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

  39. Towards a Framework for Safety Assurance of Autonomous Systems

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

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

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

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

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

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

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

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

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

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

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

  43. Chapter › Research
  44. A Database and Evaluation for Classification of RNA Molecules Using Graph Methods

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

    Research output: Chapter in Book/Report/Conference proceedingChapter

  45. Poster › Research › Peer-reviewed
  46. Full-System Modeling and Simulation: Contributions Towards Coupling Contention and I/O

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

    Research output: Contribution to conferencePosterpeer-review

  47. Paper › Research › Peer-reviewed
  48. A psychometric evaluation of emotional responses to horror music

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

    Research output: Contribution to conferencePaperpeer-review

  49. AI and Automatic Music Generation for Mindfulness

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

    Research output: Contribution to conferencePaperpeer-review

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

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

    Research output: Contribution to conferencePaperpeer-review

  51. Latent Distribution Preserving Deep Subspace Clustering

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

    Research output: Contribution to conferencePaperpeer-review

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

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

    Research output: Contribution to conferencePaperpeer-review

  53. The role of the representational entity in physical computing

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

    Research output: Contribution to conferencePaperpeer-review

  54. Paper › Research › Not peer-reviewed
  55. Co-designing the computational model and the computing substrate

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

    Research output: Contribution to conferencePaper

  56. Other report › Research
  57. Certification of Highly Automated Vehicles for Use on UK Roads: Creating An Industry-Wide Framework for Safety

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

    Research output: Book/ReportOther report

  58. Book › Research
  59. Safety Assurance Objectives for Autonomous Systems

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

    Research output: Book/ReportBook

  60. Article › Research › Peer-reviewed
  61. A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems

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

    Article in ACM Comput. Surv.

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

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

    Article in Cochrane Database of Systematic Reviews

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

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

    Article in International Journal of Human Computer Studies

  64. Conditional channel simulation

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

    Article in Annals of Physics

  65. Deep Supervised Hashing using Symmetric Relative Entropy

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

    Article in Pattern Recognition Letters

  66. Do professional facial image comparison training courses work?

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

    Article in PLoS ONE

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

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

    Article in New Journal of Physics

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

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

    Article in Physical Review C

  69. High fusion performance in Super H-mode experiments on Alcator C-Mod and DIII-D

    Snyder, P. B., Hughes, J. W., Osborne, T. H., Paz-Soldan, C., Solomon, W. M., Knolker, M., Eldon, D., Evans, T., Golfinopoulos, T., Grierson, B. A., Groebner, R. J., Hubbard, A. E., Kolemen, E., Labombard, B., Laggner, F. M., Meneghini, O., Mordijck, S., Petrie, T., Scott, S., Wang, H. Q. & 2 others, Wilson, H. R. & Zhu, Y. B., 24 Jun 2019

    Article in Nuclear Fusion

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

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

    Article in BMJ Health and Care Informatics

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

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

    Article in Science of Computer Programming

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

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

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

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

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

    Article in IEEE Transactions on Multimedia

  74. Postreproductive killer whale grandmothers improve the survival of their grandoffspring

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

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

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

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

    Article in Behavioral Ecology and Sociobiology

  76. Supporting engagement in research through a game design competition

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

    Article in Research for All

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

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

    Article in Physical Review C

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

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

    Article in Journal of Software: Evolution and Process

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

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

    Article in BMJ Health and Care Informatics

  80. Article › Research › Not peer-reviewed