Search research publications and outputs

  1. 2022
  2. PRESTO: Predicting System-level Disruptions through Parametric Model Checking

    Fang, X., Calinescu, R., Paterson, C. & Wilson, J. C., 10 Mar 2022, (Accepted/In press) 17th International Symposium on Software Engineering for Adaptive and Self-Managing Systems.

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

  3. 2021
  4. Quantitative non-divergence and Diophantine approximation on manifolds

    Beresnevich, V. & Kleinbock, D., 2021, (Accepted/In press) Dynamics, Geometry, Number Theory. University of Chicago Press, 32 p.

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

  5. 2019
  6. Chemometrics Applied to NMR Analysis (updated)

    Wilson, J. C., Beavis, G., Rusilowicz, M. J., Donarski, J. & Charlton, A., 3 Sep 2019, (Accepted/In press) Encycopedia of Analytical Chemistry. Wiley

    Research output: Chapter in Book/Report/Conference proceedingChapter

  7. 2016
  8. Quantum Energy Inequalities

    Fewster, C. J., Dec 2016, (Accepted/In press) Wormholes, Warp Drives and Energy Conditions. Lobo, F. (ed.). Springer-Verlag, 39 p. (Fundamental Theories of Physics; vol. 189).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  9. 2015
  10. Cubic Differentials in the Differential Geometry of Surfaces

    Loftin, J. & McIntosh, I., 2015, (Accepted/In press) Handbook of Teichmueller Theory. Papadopoulos, A. (ed.). European Mathematical Society, Vol. V. 47 p.

    Research output: Chapter in Book/Report/Conference proceedingChapter