Edinburgh Research Explorer

Dr Jacques Fleuriot

Reader, Director of Institute

  1. 2020
  2. Artificial Intelligence and Liver Transplant: Predicting Survival of Individual Grafts

    Wingfield, L., Ceresa, C., Thorogood, S., Fleuriot, J. & Knight, S., 9 Apr 2020, In : Liver Transplantation. 36 p.

    Research output: Contribution to journalReview article

  3. 2019
  4. Intelligent geometry tools

    Davenport, J., Fleuriot, J., Quaresma, P., Recio, T. & Wang, D., 31 Dec 2019, Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements . Suda, M. & Winkler, S. (eds.). Open Publishing Association, p. 51-52 2 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS; vol. 311).

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

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

  6. 2018
  7. 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: Springer, Cham, p. 77-93 16 p.

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

  8. 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. (Lecture Notes in Computer Science; vol. 11110)(Lecture Notes in Artificial Intelligence; vol. 11110).

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

  9. 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)

  10. 2017
  11. 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

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

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

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

Previous 1 2 3 4 5 6 Next