Dr Petros Papapanagiotou

Chancellor's Fellow in Digital Technologies

Publications


Edinburgh Research Explorer contains open access PDF links to most of these papers.
Selected publications are highlighted with a 🚩 red flag.

Refereed Journal Publications

  1. Hazard Prevention in Mission Plans for Aerial Vehicles Based on Soft Institutions
    Flavio Correa da Silva, Paul Chung, Marcelo Zuffo, Petros Papapanagiotou, Dave Robertson, Wamberto Vasconcelos
    Journal of Civil Aircraft Design and Research. 2017


  2. 🚩 A workflow-driven, formal methods approach to the generation of structured checklists for intra-hospital patient transfers
    Areti Manataki, Jacques Fleuriot, Petros Papapanagiotou
    IEEE Journal of Biomedical and Health Informatics. 2016

  3. 🚩 Healthcare Data Safe Havens: Towards a logical architecture and experiment automation
    Dave Robertson, Fausto Giunchiglia, Stephen Pavis, Ettore Turra, Gabor Bella, Elizabeth Elliot, Andrew Morris, Malcolm Atkinson, Gordon McAllister, Areti Manataki, Petros Papapanagiotou, Mark Parsons
    The Journal of Engineering. 2016

  4. Softening electronic institutions to support natural interaction
    Dave Murray-Rust, Petros Papapanagiotou, Dave Robertson
    Human Computation. 2016


  5. 🚩 A collaboration model for community-based software development with social machines
    Dave Murray-Rust, Ognjen Scekic, Petros Papapanagiotou, Hong-linh Truong, Dave Robertson, Schahram Dustdar
    EAI Endorsed Transactions on Collaborative Computing. 2015


  6. 🚩 Formal verification of collaboration patterns in healthcare
    Petros Papapanagiotou, Jacques Fleuriot
    Behaviour and Information Technology. 2014


  7. Matching relational schemata to Semantic Web ontologies
    Polina Katsiouli, Petros Papapanagiotou, Vassilios Tsetsos, Christos Anagnostopoulos, Stathes Hadjiefthymiades
    Handbook of Research on Innovations in Database Technologies and Applications: Current and Future Trends. 2009


Refereed Conference & Workshop Publications

  1. 🚩 A Real-world Case Study of Process and Data Driven Predictive Analytics for Manufacturing Workflows
    Petros Papapanagiotou, James Vaughan, Filip Smola, Jacques Fleuriot
    54th Hawaii International Conference on System Sciences. 2021


  2. Object-level reasoning with logics encoded in HOL Light
    Petros Papapanagiotou, Jacques Fleuriot
    Logical Frameworks and Meta-Languages: Theory and Practice. 2020

  3. Computer-supported ethical rules for collaboratively sharing data
    Rui Zhao, Malcolm Atkinson, Petros Papapanagiotou, Jacques Fleuriot, Christian Pagé
    Ethics in Design Workshop, 23rd ACM Conference on Computer-Supported Cooperative Work and Social Computing. 2020


  4. 🚩 A Pragmatic, Scalable Approach to Correct-by-construction Process Composition Using Classical Linear Logic Inference
    Petros Papapanagiotou, Jacques Fleuriot
    128th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) Post-proceedings. 2019


  5. Correct-by-construction Process Composition Using Classical Linear Logic Inference
    Petros Papapanagiotou, Jacques Fleuriot
    128th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) Pre-proceedings. 2018

  6. Machine learning for inductive theorem proving
    Yaqing Jiang, Petros Papapanagiotou, Jacques Fleuriot
    13th International Conference on Artificial Intelligence and Symbolic Computation (AISC). 2018

  7. 🚩 Social Machines For All
    Petros Papapanagiotou, Alan Davoust, Dave Murray-Rust, Areti Manataki, Max Van Kleek, Nigel Shadbolt, Dave Robertson
    17th Conference on Autonomous Agents and MultiAgent Systems (AAMAS). 2018

  8. Towards Executable Representations of Social Machines
    Dave Murray-Rust, Alan Davoust, Petros Papapanagiotou, Areti Manataki, Max Van Kleek, Nigel Shadbolt, Dave Robertson
    Diagrammatic Representation and Inference: 10th International Conference (Diagrams). 2018


  9. 🚩 WorkflowFM: A logic-based framework for formal process specification and composition
    Petros Papapanagiotou, Jacques Fleuriot
    26th Conference on Automated Deduction (CADE). 2017

  10. Hazard identification for coordinated UAVs based on soft institutions
    Flavio Correa Da Silva, Paul Chung, Marcello Zuffo, Petros Papapanagiotou, Dave Robertson, Wamberto Vasconcelos
    International Workshop on Coordination, Organizations, Institutions and Norms in Agent Systems (COIN). 2017

  11. Development of workflow-based guidelines for the care of burns in Scotland
    Alisa Dewanti, Petros Papapanagiotou, Charlotte Gilhooly, Jacques Fleuriot, Areti Manataki, Laura Moss
    9th International Conference on e-Health. 2017

  12. A step towards the standardisation of HIV care practices
    Cristina Alexandru, Daniel Clutterbuck, Petros Papapanagiotou, Jacques Fleuriot, Areti Manataki
    Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies (HEALTHINF). 2017

  13. Designing a social machine for the Heart Manual Service
    Vanessa Hanschke, Areti Manataki, Cristina Alexandru, Petros Papapanagiotou, Carolyn Deighan, Louise Taylor, Dave Robertson
    Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies (HEALTHINF). 2017


  14. Workflow modelling of burns care protocols
    Petros Papapanagiotou, Alisa Dewanti, Areti Manataki, Jacques Fleuriot, Charlotte Gilhooly, Laura Moss
    The 26th SICS Annual Scientific Meeting, Scottish Intensive Care Society. 2016


  15. Tracheostomy transfers: A case study in the application of formal methods to intra-hospital patient transfers
    Areti Manataki, Jacques Fleuriot, Petros Papapanagiotou
    IEEE 27th International Symposium on Computer-Based Medical Systems (CBMS). 2014

  16. 🚩 Modelling and implementation of correct by construction healthcare workflows
    Petros Papapanagiotou, Jacques Fleuriot
    Business Process Management Workshops: BPM 2014 International Workshops. Lecture Notes in Business Information Processing. 2014

  17. Rigorous development of computer based Integrated Care Pathways for HIV patients
    Petros Papapanagiotou, Jacques Fleuriot, Areti Manataki, Andrew Winter, Rak Nandwani, Daniel Clutterbuck, David Wilks
    Proceedings of Health Informatics Scotland Conference (HIS). 2014


  18. Rigorous process-based modelling of patterns for collaborative work in healthcare teams
    Petros Papapanagiotou, Jacques Fleuriot, Adela Grando
    25th International Symposium on Computer-Based Medical Systems (CBMS). 2012

  19. 🚩 Diagrammatically-driven formal verification of Web-Services composition
    Petros Papapanagiotou, Jacques Fleuriot, Sean Wilson
    Diagrammatic Representation and Inference: 7th International Conference (Diagrams). 2012


  20. 🚩 Formal verification of Web Services composition using linear logic and the pi-calculus
    Petros Papapanagiotou, Jacques Fleuriot
    /IEEE Ninth European Conference on Web Services (ECOWS). 2011

  21. A theorem proving framework for the formal verification of Web Services Composition
    Petros Papapanagiotou, Jacques Fleuriot
    7th International Workshop on Automated Specification and Verification of Web Systems (WWV). 2011


  22. An Isabelle-like procedural mode for HOL Light
    Petros Papapanagiotou, Jacques Fleuriot
    Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference (LPAR-17). 2010


  23. RONTO: Relational to ontology schema matching
    Petros Papapanagiotou, Polina Katsiouli, Vassilios Tsetsos, Christos
    Anagnostopoulos, Stathes Hadjiefthymiades
    AIS SIGSEMIS BULLETIN. 2006