An Isabelle-Like Procedural Mode for HOL Light. - Petros Papapanagiotou; Jacques D. Fleuriot (LPAR (Yogyakarta), 2010)

Formal Verification of Web Services Composition Using Linear Logic and the pi-calculus. - Petros Papapanagiotou; Jacques D. Fleuriot (ECOWS, 2011)

A theorem proving framework for the formal verification of Web Services Composition - Petros Papapanagiotou; Jacques D. Fleuriot (WWV, 2011)

Rigorous process-based modelling of patterns for collaborative work in healthcare teams. - Petros Papapanagiotou; Jacques D. Fleuriot; Adela Grando (CBMS, 2012)

Diagrammatically-Driven Formal Verification of Web-Services Composition. - Petros Papapanagiotou; Jacques D. Fleuriot; Sean Wilson (Diagrams, 2012)

Modelling and Implementation of Correct by Construction Healthcare Workflows. - Petros Papapanagiotou; Jacques D. Fleuriot (Business Process Management Workshops, 2014)

Tracheostomy Transfers: A Case Study in the Application of Formal Methods to Intra-hospital Patient Transfers. - Areti Manataki; Jacques D. Fleuriot; Petros Papapanagiotou (CBMS, 2014)

Formal verification of collaboration patterns in healthcare. - Petros Papapanagiotou; Jacques D. Fleuriot (Behav. Inf. Technol., 2014)

A formal verification approach to process modelling and composition. - Petros Papapanagiotou (2014)

A Collaboration Model for Community-Based Software Development with Social Machines. - Dave Murray-Rust; Ognjen Scekic; Petros Papapanagiotou; Hong Linh Truong 001; Dave Robertson 001; Schahram Dustdar (EAI Endorsed Trans. Collab. Comput., 2015)

Softening electronic institutions to support natural interaction. - Dave Murray-Rust; Petros Papapanagiotou; Dave Robertson 001 (Hum. Comput., 2015)

A Step Towards the Standardisation of HIV Care Practices. - Cristina Adriana Alexandru; Daniel Clutterbuck; Petros Papapanagiotou; Jacques D. Fleuriot; Areti Manataki (HEALTHINF, 2017)

Designing a Social Machine for the Heart Manual Service. - Vanessa Hanschke; Areti Manataki; Cristina Adriana Alexandru; Petros Papapanagiotou; Carolyn Deighan; Louise Taylor; Dave Robertson 001 (HEALTHINF, 2017)

WorkflowFM: A Logic-Based Framework for Formal Process Specification and Composition. - Petros Papapanagiotou; Jacques D. Fleuriot (CADE, 2017)

A Workflow-Driven Formal Methods Approach to the Generation of Structured Checklists for Intrahospital Patient Transfers. - Areti Manataki; Jacques D. Fleuriot; Petros Papapanagiotou (IEEE J. Biomed. Health Informatics, 2017)

Machine Learning for Inductive Theorem Proving. - Yaqing Jiang; Petros Papapanagiotou; Jacques D. Fleuriot (AISC, 2018)

Social Machines for All. - Petros Papapanagiotou; Alan Davoust; Dave Murray-Rust; Areti Manataki; Max Van Kleek; Nigel Shadbolt; Dave Robertson 001 (AAMAS, 2018)

Towards Executable Representations of Social Machines. - Dave Murray-Rust; Alan Davoust; Petros Papapanagiotou; Areti Manataki; Max Van Kleek; Nigel Shadbolt; Dave Robertson 001 (Diagrams, 2018)

A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference. - Petros Papapanagiotou; Jacques D. Fleuriot (LOPSTR, 2018)

The Boyer-Moore Waterfall Model Revisited. - Petros Papapanagiotou; Jacques D. Fleuriot (CoRR, 2018)

Correct-by-construction Process Composition Using Classical Linear Logic Inference. - Petros Papapanagiotou; Jacques D. Fleuriot (CoRR, 2018)

Object-Level Reasoning with Logics Encoded in HOL Light. - Petros Papapanagiotou; Jacques D. Fleuriot (LFMTP, 2020)

A Real-world Case Study of Process and Data Driven Predictive Analytics for Manufacturing Workflows. - Petros Papapanagiotou; James Vaughan; Filip Smola; Jacques D. Fleuriot (HICSS, 2021)

Dr.Aid: Supporting Data-governance Rule Compliance for Decentralized Collaboration in an Automated Way. - Rui Zhao 009; Malcolm P. Atkinson 001; Petros Papapanagiotou; Federica Magnoni; Jacques D. Fleuriot (Proc. ACM Hum. Comput. Interact., 2021)

Predictive Behavioural Monitoring and Deviation Detection in Activities of Daily Living of Older Adults. - Jiawei Zheng; Petros Papapanagiotou (HEALTHINF, 2022)

Alignment-based conformance checking over probabilistic events. - Jiawei Zheng; Petros Papapanagiotou (CoRR, 2022)

Alignment-based conformance checking over probabilistic events. - Jiawei Zheng; Petros Papapanagiotou; Jacques D. Fleuriot (HICSS, 2024)

Process-aware Human Activity Recognition. - Jiawei Zheng; Petros Papapanagiotou; Jacques D. Fleuriot; Jane Hillston (CoRR, 2024)

Comparing Care Pathways Between COVID-19 Pandemic Waves Using Electronic Health Records: A Process Mining Case Study. - Konstantin Georgiev; Jacques D. Fleuriot; Petros Papapanagiotou; Joanne McPeake; Susan D. Shenkin; Atul Anand (J. Heal. Informatics Res., 2025)