Edinburgh Research Explorer
  1. 2019
  2. A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference

    Papapanagiotou, P. & Fleuriot, J., 22 Apr 2019, Logic-Based Program Synthesis and Transformation. Mesnard, F. & Stuckey, P. J. (eds.). Cham: Springer International Publishing, p. 77-93 17 p. (LNCS; vol. 11408).

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

  3. 2018
  4. Correct-by-construction Process Composition Using Classical Linear Logic Inference

    Papapanagiotou, P. & Fleuriot, J., 11 Sep 2018, 28th International Symposium on Logic-Based Program Synthesis and Transformation. Frankfurt am Main, Germany, 16 p.

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

  5. Machine Learning for Automated Inductive Theorem Proving

    Jiang, Y., Papapanagiotou, P. & Fleuriot, J., 22 Aug 2018, Proceedings of the 13th International Artificial Intelligence and Symbolic Computation (AISC) Conference 2018 : Lecture Notes in Artificial Intelligence, Volume 11110, pages 87-103, 2018. Suzhou, China: Springer, Cham, p. 87-103 16 p.

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

  6. Computer-Assisted Theorem Proving in Synthetic Geometry

    Narboux, J., Janicic, P. & Fleuriot, J., 1 Aug 2018, Handbook of Geometric Constraint Systems Principles . 1st ed. New York, USA: Chapman and Hall/CRC, p. 21-60 39 p.

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

  7. 2017
  8. Bringing Artificial Intelligence to Patient Care in Bariatric Surgery: A Feasibility Study: Association of Surgeons in Training 2017 Conference

    Wingfield, L., Kulendran, M., Khan, O. & Fleuriot, J., 1 Nov 2017, In : International Journal of Surgery. 47, Supplement 1, p. S92 1 p.

    Research output: Contribution to journalArticle

  9. Development of workflow-based guidelines for the care of burns in Scotland

    Dewanti, A., Papapanagiotou, P., Gilhooly, C., Fleuriot, J., Manataki, A. & Moss, L., 22 Jul 2017, Proceedings of the International Conference e-Health 2017. p. 155-158 4 p.

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

  10. WorkflowFM: A logic-based framework for formal process specification and composition

    Papapanagiotou, P. & Fleuriot, J., 11 Jul 2017, Automated Deduction – CADE 26: Proceedings of the 26th International Conference on Automated Deduction (CADE 26). Springer, Cham, p. 357-370 11 p. (Lecture Notes in Computer Science ; vol. 10395).

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

  11. A Workflow-Driven Formal Methods Approach to the Generation of Structured Checklists for Intrahospital Patient Transfers

    Manataki, A., Fleuriot, J. & Papapanagiotou, P., Jul 2017, In : IEEE Journal of Biomedical and Health Informatics. 21, 4, p. 1156-1162 7 p.

    Research output: Contribution to journalArticle

  12. A Step Towards the Standardisation of HIV Care Practices

    Alexandru, C., Clutterbuck, D., Papapanagiotou, P., Fleuriot, J. & Manataki, A., 23 Feb 2017, Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2017). SCITEPRESS, p. 457-462 6 p.

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

  13. 2016
  14. ProofScript: Proof Scripting for the Masses

    Obua, S., Scott, P. & Fleuriot, J., 22 Sep 2016, Theoretical Aspects of Computing - ICTAC 2016: 13th International Colloquium, Taipei, Taiwan, ROC, October 24–31, 2016, Proceedings. Springer International Publishing, p. 333-348 16 p. (Lecture Notes in Computer Science; vol. 9965).

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

Previous 1 2 3 4 5 6 Next