Edinburgh Research Explorer

Mr. Petros Papapanagiotou

Research Associate

1 - 10 out of 21Page size: 10
???rss???
  1. 2018

  2. Towards Executable Representations of Social Machines

    Murray-Rust, D., Davoust, A., Papapanagiotou, P., Manataki, A., van Kleek, M., Shadbolt, N. & Robertson, D. 26 Jan 2018 10th International Conference on the Theory and Application of Diagrams. 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  3. Social Machines for All

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

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  4. 2017

  5. 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 proceeding › Conference contribution

  6. A Step Towards the Standardisation of HIV Care Practices

    Alexandru, C., Clutterbuck, D., Papapanagiotou, P., Fleuriot, J. & Manataki, A. Jul 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 proceeding › Conference contribution

  7. 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 journal › Article

  8. Designing a Social Machine for the Heart Manual Service

    Hanschke, V., Manataki, A., Alexandru, C., Papapanagiotou, P., Deighan, C., Taylor, L. & Robertson, D. 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 proceeding › Conference contribution

  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. 2017 Proceedings of the International Conference e-Health 2017. p. 155-158 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

  10. 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. 2017 In : Civil Aircraft Design and Research. 3, 22 p.

    Research output: Contribution to journal › Article

  11. 2016

  12. Healthcare Data Safe Havens: Towards a Logical Architecture and Experiment Automation

    Robertson, D., Giunchiglia, F., Pavis, S., Turra, E., Bella, G., Elliot, E., Morris, A., Atkinson, M., McAllister, G., Manataki, A., Papapanagiotou, P. & Parsons, M. 19 Oct 2016 In : The Journal of Engineering. 24 p.

    Research output: Contribution to journal › Article

  13. Softening electronic institutions to support natural interaction

    Murray-Rust, D., Papapanagiotou, P. & Robertson, D. Feb 2016 In : Human Computation. 2, 2, 34 p.

    Research output: Contribution to journal › Article

Previous 1 2 3 Next