Petros Papapanagiotou

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