Search research publications and outputs

  1. 2019
  2. Isabelle/SACM: Computer-Assisted Assurance Cases with Integrated Formal Methods

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

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

  3. Systematic Observation Methods

    Hardman, J. & Hardman, F. C., 23 Oct 2019, SAGE Research Methods. Atkinson, P., Delamont, S., Cernat, A., Sakshaug, J. W. & Williams, R. A. (eds.). SAGE Research Methods Foundations, p. 2-12 11 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  4. Characterization and first test of an i-TED prototype at CERN n_TOF

    nToF, 31 Aug 2019, Basic Concepts in Nuclear Physics: Theory, Experiments and Applications - 2018 La Rábida International Scientific Meeting on Nuclear Physics. García-Ramos, J-E., Pérez-Bernal, F., Andrés, M. V., Moro, A. M. & Valera, J. A. (eds.). Springer Science and Business Media, LLC, p. 169-173 5 p. (Springer Proceedings in Physics; vol. 225).

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

  5. 7Be(n,p)7 Li Cross Section Measurement for the Cosmological Lithium Problem at the n_TOF Facility at CERN

    The n-TOF Collaboration, 20 Aug 2019, Nuclei in the Cosmos XV. Gialanella, L., Imbriani, G., Formicola, A. & Junker, M. (eds.). Springer Science and Business Media, LLC, Vol. 219. p. 25-32 8 p.

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

  6. Data for the s Process from n_TOF

    The n-TOF Collaboration, 20 Aug 2019, Nuclei in the Cosmos XV. Gialanella, L., Imbriani, G., Formicola, A. & Junker, M. (eds.). Springer Science and Business Media, LLC, Vol. 219. p. 63-70 8 p.

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

  7. A History of Human Exploitation of Alpine Regions

    Walsh, K. J. & Giguet-Covex, C., 28 Jun 2019, Reference Module in Earth Systems and Environmental Sciences. Elsevier, 16 p.

    Research output: Chapter in Book/Report/Conference proceedingEntry for encyclopedia/dictionary

  8. Understanding the bone and antler assemblages from Star Carr

    Elliott, B. J., Taylor, B., Knight, B., Milner, N., Robson, H. K., Pomstra, D., Little, A. P. & Conneller, C., 25 Apr 2019, Working at the sharp end at Hohen Viecheln: from bone and antler to Early Mesolithic life in Northern Europe. Hamburg: Wahholtz, Vol. 10.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  9. Excavations at Star Carr: past and present

    Taylor, B., Milner, N. & Conneller, C., 15 Apr 2019, Working at the sharp end at Hohen Viecheln: from bone and antler to Early Mesolithic life in Northern Europe. Hamburg: Wahholtz, Vol. 10. 14 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter

  10. Pedagogical Perspectives on the Use of Technology within Medical Curricula: Moving Away from Norm Driven Implementation

    Finn, G. M. & Matthan, J., 28 Mar 2019, Advances in Experimental Medicine and Biology. Switzerland : SPRINGER, Vol. 1120. p. 55-65 11 p. (Advances in experimental medicine and biology).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  11. DeepFault: Fault Localization for Deep Neural Networks

    Gerasimou, S., Eniser, H. F. & Sen, A., 15 Feb 2019, 22nd International Conference on Fundamental Approaches to Software Engineering. Springer-Verlag

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

  12. Sexual Orientation and Workplace Bullying

    Hoel, H., Lewis, D. & Einarsdottir, A., 13 Jan 2019, Handbook on Workplace Bullying: Workplace Bullying, Inclusion and Dignity at Work.

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

  13. Discretion from a critical perspective

    Jobling, H. J. L., 2019, The Palgrave Handbook on Discretion: The quest for controlled freedom. Evans, T. & Hupe, P. (eds.).

    Research output: Chapter in Book/Report/Conference proceedingChapter