Edinburgh Research Explorer

Dr Petros Papapanagiotou

Chancellor's Fellow in Digital Technologies

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

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

  8. 2017
  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 Formal Verification Framework for 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. Hazard prevention in mission plans for aerial vehicles based on soft institutions

    Correa da Silva, F. S., Chung, P. W. H., Zuffo, M. K., Papapanagiotou, P., Robertson, D. & Vasconcelos, W., 18 Mar 2017, In : Civil Aircraft Design and Research. 126, 3, p. 105-116 12 p.

    Research output: Contribution to journalArticle

  13. Designing a Social Machine for the Heart Manual Service

    Hanschke, V., Manataki, A., Alexandru, C., Papapanagiotou, P., Deighan, C., Taylor, L. & Robertson, D., 27 Feb 2017, Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 5: HEALTHINF, (BIOSTEC 2017). SCITEPRESS, p. 435-440 6 p.

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

Previous 1 2 3 Next