Search research publications and outputs

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

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