Edinburgh Research Explorer

Petros Papapanagiotou

Chancellor's Fellow in Digital Technologies

  1. 2020
  2. A Real-world Case Study of Process and Data Driven Predictive Analytics for Manufacturing Workflows

    Papapanagiotou, P., Vaughan, J., Smola, F. & Fleuriot, J. D., 12 Oct 2020, (Accepted/In press) Proceedings of the 54th Hawaii International Conference on System Sciences. 10 p.

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

  3. Computer-supported ethical rules for collaboratively sharing data

    Zhao, R., Atkinson, M. P., Papapanagiotou, P., Fleuriot, J. D. & Pagé, C., 27 Sep 2020, (Accepted/In press) Proceedings of the Ethics in Design CSCW Workshop 2020. 6 p.

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

  4. 2019
  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. Social Machines for All

    Papapanagiotou, P., Davoust, A., Murray-Rust, D., Manataki, A., van Kleek, M., Shadbolt, N. & Robertson, D., 15 Jul 2018, 17th International Conference on Autonomous Agents and Multiagent Systems . p. 1208-1212 5 p.

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

  10. Towards Executable Representations of Social Machines

    Murray-Rust, D., Davoust, A., Papapanagiotou, P., Manataki, A., van Kleek, M., Shadbolt, N. & Robertson, D., 2018, Diagrammatic Representation and Inference: Diagrams 2018. Chapman, P., Stapleton, G., Moktefi, A., Perez-Kriz, S. & Bellucci, F. (eds.). SpringerLink, p. 765-769 4 p. (Lecture Notes in Computer Science; vol. 10871).

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

  11. 2017
  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. Springer, Cham, p. 357-370 14 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., 1 Jul 2017, In: IEEE Journal of Biomedical and Health Informatics. 21, 4, p. 1156-1162 7 p.

    Research output: Contribution to journalArticlepeer-review

Previous 1 2 3 Next