Petros Papapanagiotou

ORCID

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 19

Top Venues

CoRR

HEALTHINF

HICSS

IEEE J. Biomed. Health Informatics

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Jiawei Zheng, Petros Papapanagiotou, Jacques D. Fleuriot
Alignment-based conformance checking over probabilistic events. HICSS (2024)
Jiawei Zheng, Petros Papapanagiotou
Alignment-based conformance checking over probabilistic events. CoRR (2022)
Jiawei Zheng, Petros Papapanagiotou
Predictive Behavioural Monitoring and Deviation Detection in Activities of Daily Living of Older Adults. HEALTHINF (2022)
Petros Papapanagiotou, James Vaughan, Filip Smola, Jacques D. Fleuriot
A Real-world Case Study of Process and Data Driven Predictive Analytics for Manufacturing Workflows. HICSS (2021)
Rui Zhao, Malcolm Atkinson, Petros Papapanagiotou, Federica Magnoni, Jacques D. Fleuriot
Dr.Aid: Supporting Data-governance Rule Compliance for Decentralized Collaboration in an Automated Way. CoRR (2021)
Rui Zhao, Malcolm Atkinson, Petros Papapanagiotou, Federica Magnoni, Jacques D. Fleuriot
Dr.Aid: Supporting Data-governance Rule Compliance for Decentralized Collaboration in an Automated Way. Proc. ACM Hum. Comput. Interact. 5 (CSCW2) (2021)
Petros Papapanagiotou, Jacques D. Fleuriot
Object-Level Reasoning with Logics Encoded in HOL Light. LFMTP (2020)
Petros Papapanagiotou, Jacques D. Fleuriot
Correct-by-construction Process Composition Using Classical Linear Logic Inference. CoRR (2018)
Yaqing Jiang, Petros Papapanagiotou, Jacques D. Fleuriot
Machine Learning for Inductive Theorem Proving. AISC (2018)
Dave Murray-Rust, Alan Davoust, Petros Papapanagiotou, Areti Manataki, Max Van Kleek, Nigel Shadbolt, Dave Robertson
Towards Executable Representations of Social Machines. Diagrams (2018)
Petros Papapanagiotou, Alan Davoust, Dave Murray-Rust, Areti Manataki, Max Van Kleek, Nigel Shadbolt, Dave Robertson
Social Machines for All. AAMAS (2018)
Petros Papapanagiotou, Jacques D. Fleuriot
The Boyer-Moore Waterfall Model Revisited. CoRR (2018)
Petros Papapanagiotou, Jacques D. Fleuriot
A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference. LOPSTR (2018)
Vanessa Hanschke, Areti Manataki, Cristina Adriana Alexandru, Petros Papapanagiotou, Carolyn Deighan, Louise Taylor, Dave Robertson
Designing a Social Machine for the Heart Manual Service. HEALTHINF (2017)
Cristina Adriana Alexandru, Daniel Clutterbuck, Petros Papapanagiotou, Jacques D. Fleuriot, Areti Manataki
A Step Towards the Standardisation of HIV Care Practices. HEALTHINF (2017)
Petros Papapanagiotou, Jacques D. Fleuriot
WorkflowFM: A Logic-Based Framework for Formal Process Specification and Composition. CADE (2017)
Areti Manataki, Jacques D. Fleuriot, Petros Papapanagiotou
A Workflow-Driven Formal Methods Approach to the Generation of Structured Checklists for Intrahospital Patient Transfers. IEEE J. Biomed. Health Informatics 21 (4) (2017)
Dave Murray-Rust, Petros Papapanagiotou, Dave Robertson
Softening electronic institutions to support natural interaction. Hum. Comput. 2 (2) (2015)
Dave Murray-Rust, Ognjen Scekic, Petros Papapanagiotou, Hong Linh Truong, Dave Robertson, Schahram Dustdar
A Collaboration Model for Community-Based Software Development with Social Machines. EAI Endorsed Trans. Collab. Comput. 1 (5) (2015)
Petros Papapanagiotou, Jacques D. Fleuriot
Modelling and Implementation of Correct by Construction Healthcare Workflows. Business Process Management Workshops (2014)
Petros Papapanagiotou, Jacques D. Fleuriot
Formal verification of collaboration patterns in healthcare. Behav. Inf. Technol. 33 (12) (2014)
Areti Manataki, Jacques D. Fleuriot, Petros Papapanagiotou
Tracheostomy Transfers: A Case Study in the Application of Formal Methods to Intra-hospital Patient Transfers. CBMS (2014)
Petros Papapanagiotou, Jacques D. Fleuriot, Adela Grando
Rigorous process-based modelling of patterns for collaborative work in healthcare teams. CBMS (2012)
Petros Papapanagiotou, Jacques D. Fleuriot, Sean Wilson
Diagrammatically-Driven Formal Verification of Web-Services Composition. Diagrams (2012)
Petros Papapanagiotou, Jacques D. Fleuriot
A theorem proving framework for the formal verification of Web Services Composition WWV (2011)
Petros Papapanagiotou, Jacques D. Fleuriot
Formal Verification of Web Services Composition Using Linear Logic and the pi-calculus. ECOWS (2011)
Petros Papapanagiotou, Jacques D. Fleuriot
An Isabelle-Like Procedural Mode for HOL Light. LPAR (Yogyakarta) (2010)

Petros Papapanagiotou.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Petros Papapanagiotou