Refine your results

Easily toggle selected advanced search features:

Search research publications and outputs

  1. 2020
  2. Domestic Crafts at the School of Arts

    Wigston Smith, C., May 2020, (Accepted/In press) Material Literacy in Eighteenth-Century Britain: A Nation of Makers. New York: Bloomsbury Academic

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

  3. Estate Landscapes in Historical Archaeology

    Finch, J. C., 2020, Encyclopaedia of Global Archaeology. Smith, C. (ed.). Second ed. New York: Springer, p. 2452-2453

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

  4. 2019
  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)

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

    Nemouchi, Y., Foster, S. D., Gleirscher, M. & Kelly, T. P., 16 Sep 2019, (Accepted/In press) Integrated Formal Methods: Proceedings of the 15th International Conference. 18 p. (LNCS).

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

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

  8. Prosodic Variation

    Hellmuth, S., 25 Jun 2019, Routledge Handbook of Arabic Sociolinguistics. Al-Wer, E. & Horesh, U. (eds.). Routledge

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

  9. Collective nouns

    De Vries, H., Jun 2019, (Accepted/In press) Oxford Handbook of Grammatical Number. Oxford University Press

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

  10. Estate Landscapes in Northern Europe: a new agenda

    Finch, J. C., 26 May 2019, Estate Landscapes in northern Europe . Finch, J., Dyrmann, K. & Frausing, M. (eds.). Aarhus University Press, p. 271-279

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

  11. Making Modern England: the ‘New Domesday’ and Estate Landscapes during the Late-Nineteenth Century

    Finch, J. C., 26 May 2019, Estate Landscapes in Northern Europe. Aarhus University Press, p. 59-95

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

  12. The Estate Landscape in Northern Europe: An Introduction

    Finch, J. C. & Dyrmann, K., 26 May 2019, Estate Landscapes in Northern Europe. Aarhus University Press, p. 13-36

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

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