Some of our Recent Refereed Papers

  • Burton J, McMinn M., Vaughan J., Fleuriot J., Guthrie B. (2021). Care-home outbreaks of COVID-19 in Scotland March to May 2020: national linked data cohort analysis.  Age and Ageing Journal, Volume 50, Issue 5, September 2021, 1482–1492, Oxford University Press.
  • R. Schmoetten, J. Palmer, J. D. Fleuriot. (2021). Formalising Geometric Axioms for Minkowski Spacetime and Without-Loss-of-Generality Theorems. Proceedings of the 13th International Conference in Automated Deduction in Geometry, Hagenberg, Austria/virtual, 141–155.
  • Papapanagiotou P. and Fleuriot J. (2021). Object-level Reasoning with Logics Encoded in HOL Light. Electronic Proceedings in Theoretical Computer Science 332, pp. 18–34.
  • Fleuriot J. D. (2021). Mechanizing Mathematics: From Dream to Reality. Chapter to appear in Mathematical Reasoning: The History and Impact of the DReaM Group (Ed. G. Michaelson), Springer
  • Papapanagiotou P., Vaughan J., Smola F, and Fleuriot J. (2020). A Real-world Case Study of Process and Data Driven Predictive Analytics for Manufacturing Workflows. Proceedings of the 54th Hawaii International Conference on System Sciences (HICSS-54).
  • Wingfield L., Ceresa C., Thorogood S., Fleuriot J, Knight S. (2020). Artificial Intelligence and Liver Transplant: Predicting Survival of Individual Grafts, A Systematic Review. In American Association for the Study of Liver Diseases,  Liver Transplantation,  Wiley. 
  • Wingfield L., Ceresa C., Fleuriot J, Knight S. (2019). Artificial Intelligence for Liver Transplant (AI4T): Predicting Graft Survival. ASiT/TMS Poster of Distinction Prize. Association of Surgeons in Training International Surgical Conference 2019, British Journal of Surgery (BJS), Volume 106, Issue S6
  • Papapanagiotou P. and Fleuriot J. (2019). A Pragmatic, Scalable Approach to Correct-by-construction Process Composition Using Classical Linear Logic Inference.  Logic-Based Program Synthesis and Transformation (Post-proceedings of LOPSTR 2018), LNCS Springer, Volume 11408, 77-93.
  • Fleuriot J., Wang D. and Calmet J. (Eds. 2018). Artificial Intelligence and Symbolic Computation. Lecture Notes in Artificial Intelligence, Volume 1110, Springer.
  • Palmer J. and Fleuriot J. (2018) Mechanising an Independent Axiom System for Minkowski Space-time. Proceedings of the 12th International Conference on Automated Deduction in Geometry, 64-79.
  • Morris I. and Fleuriot J. (2018). Towards a Mechanisation in Isabelle of Birkhoff’s Ruler and Protractor Geometry. Proceedings of the 12th International Conference on Automated Deduction in Geometry, 46-63.
  • Narboux J., Janicic P. and Fleuriot J. (2018). Computer-assisted Theorem Proving in Synthetic Geometry. Chapter in the Handbook of Geometric Constraint Systems Principles (ISBN 9781498738910), 21-44, Chapman and Hall/CRC, July 2018.
  • Jiang Y., Papapanagiotou P. and Fleuriot J. (2018). Machine Learning for Automated Inductive Theorem Proving. Proceedings of the 13th International Artificial Intelligence and Symbolic Computation (AISC) Conference 2018, Lecture Notes in Artificial Intelligence, Volume 11110, 87-103.
  • Papapanagiotou P. and Fleuriot J. (2018). Correct-by-construction Process Composition Using Classical Linear Logic Inference. Proceedings of Logic-Based Program Synthesis and Transformation (LOPSTR) Symposium 2018.
  • Wingfield L., Kulendran M., Khan O., Fleuriot J. (2017) Bringing Artificial Intelligence to Patient Care in Bariatric Surgery: A Feasibility Study. International Journal of Surgery, Volume 47 , S92.
  • Papapanagiotou P. and Fleuriot J. (2017). WorkflowFM: A Logic-based Formal Verification Framework for Process Specification and Composition. Proceedings of the 26th International Conference on Automated Deduction (CADE 26). LNCS Volume 10395, 357-370, Springer
  • Dewanti, A., Papapanagiotou, P., Gilhooly, C., Fleuriot, J., Manataki, A. & Moss, L. (2017). Development of workflow-based guidelines for the care of burns in Scotland. Proceedings of the 9th International Conference e-Health 2017,  155-158.
  • Alexandru C-A., Clutterbuck D., Papapanagiotou P., Fleuriot J. and Manataki A. (2017). A Step Towards the Standardisation of HIV Care Practices, 10th International Conference on Health Informatics.

Letter

Working Papers/Pre-prints

  • Schmoetten R, Palmer J. E, Fleuriot J. D. (2021). Towards Formalising Schutz’ Axioms for Minkowski Spacetime in Isabelle/HOL. arXiv:2108.10868.
  • Charlton C. E, Poon M. T. C., Brennan P. M. and Fleuriot J. D. (2021) Interpretable Machine Learning Classifiers for Brain Tumour Survival Prediction. arXiv:2106.0942.
  • MacKenzie C, Fleuriot J. and Vaughan J. (2021). An Evaluation of the Archive of Formal Proofs. arXiv:2104.01052.
  • Scott P. and Fleuriot J. D. (2019). Where are the Natural Numbers in Hilbert’s Foundations of Geometry? arXiv:1911.07057.

Recent PhD Theses

Recent Masters Theses