Filter
Chapter (peer-reviewed)

Search results

  • 2022

    Data provenance, curation and quality in metrology

    Cheney, J., Chapman, A., Davidson, J. & Forbes, A., 17 Feb 2022, Advanced Mathematical and Computational Tools in Metrology and Testing XII. Pavese, F., Forbes, A. B., Zhang, N. F. & Chunovkina, A. G. (eds.). Singapore: World Scientific Press, p. 167-187 21 p. (Advances in Mathematics for Applied Sciences; vol. 90).

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

  • 2021

    Analysis of Probabilistic Processes and Automata Theory

    Etessami, K., Sep 2021, Handbook of Automata Theory: Volume II. Automata in Mathematics and Selected Applications. Pin, J-É. (ed.). EMS Publishing House, Vol. II. p. 1343-1382

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

  • Guarded Ontology-Mediated Queries

    Barceló, P., Berger, G., Gottlob, G. & Pieris, A., 1 Jun 2021, Hajnal Andréka and István Németi on Unity of Science. 1 ed. Springer, p. 27-52 26 p. (Outstanding Contributions to Logic; vol. 19).

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

  • Dynamic Proof Presentation

    Jackson, P. B., 24 May 2021, Mathematical Reasoning: The History and Impact of the DReaM Group. Michaelson, G. (ed.). Cham: Springer International Publishing, p. 63-86 24 p.

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

  • 2018

    The mu-calculus and Model Checking

    Bradfield, J. & Walukiewicz, I., Mar 2018, Handbook of Model Checking. Clarke, E., Henziger, T., Veith, H. & Bloem, R. (eds.). Springer International Publishing, p. 871-919 49 p.

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

  • 2014

    Verifying Hybrid Systems Involving Transcendental Functions

    Jackson, P., Sogokon, A., Bridge, J. & Paulson, L., 2014, NASA Formal Methods: 6th International Symposium, NFM 2014, Proceedings. Badger, J. & Rozier, K. (eds.). Springer-Verlag GmbH, p. 188-202 15 p. (Lecture Notes in Computer Science; vol. 8430).

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

    Open Access
    File