Search research publications and outputs

  1. 2016
  2. Using the 'Test Wire' Method as an Alternative to the CISPR 12 Full Vehicle Measurement Method

    Paterson, M. & Dawson, J. F., 18 Apr 2016, (Accepted/In press) Electromagnetic Compatibility (EMC EUROPE), 2016 International Symposium on. 6 p.

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

  3. An Axiomatic Value Model for Isabelle/UTP

    Zeyda, F., Foster, S. D. & Freitas, L., 2016, (Accepted/In press) 6th International Symposium on Unifying Theories of Programming. p. 1-20 20 p.

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

  4. Heterogeneous Semantics and Unifying Theories

    Woodcock, J., Foster, S. D. & Butterfield, A., 2016, (Accepted/In press) 7th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation. p. 374-394 21 p.

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

  5. Pitch-interval analysis of ‘periodic’ and ‘aperiodic’ Question+Answer pairs

    Robledo, J. P., Hawkins, S., Cross, I. & Ogden, R. A., 2016, (Accepted/In press) Speech Prosody 2016. p. 1071-1075

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

  6. World War I and the emergence of modern central banks in South-East Europe

    Morys, M., 2016, (Accepted/In press) Banques centrales dans la grande guerre. Conference proceedings of central banks in the Great War, 13th and 14th November 2014 in Paris. Presses Sciences-Po, 16 p.

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