Petros Papapanagiotou

According to our database, Petros Papapanagiotou authored at least 27 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Alignment-based conformance checking over probabilistic events.

Jiawei Zheng, Petros Papapanagiotou, Jacques D. Fleuriot

Proceedings of the 57th Hawaii International Conference on System Sciences, 2024

2022

Alignment-based conformance checking over probabilistic events.

Jiawei Zheng, Petros Papapanagiotou

CoRR, 2022

Predictive Behavioural Monitoring and Deviation Detection in Activities of Daily Living of Older Adults.

Jiawei Zheng, Petros Papapanagiotou

Proceedings of the 15th International Joint Conference on Biomedical Engineering Systems and Technologies, 2022

2021

Dr.Aid: Supporting Data-governance Rule Compliance for Decentralized Collaboration in an Automated Way.

Rui Zhao, Malcolm P. Atkinson, Petros Papapanagiotou, Federica Magnoni, Jacques D. Fleuriot

Proc. ACM Hum. Comput. Interact., 2021

A Real-world Case Study of Process and Data Driven Predictive Analytics for Manufacturing Workflows.

Petros Papapanagiotou, James Vaughan, Filip Smola, Jacques D. Fleuriot

Proceedings of the 54th Hawaii International Conference on System Sciences, 2021

2020

Object-Level Reasoning with Logics Encoded in HOL Light.

Petros Papapanagiotou, Jacques D. Fleuriot

Proceedings of the Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2020

2018

Correct-by-construction Process Composition Using Classical Linear Logic Inference.

Petros Papapanagiotou, Jacques D. Fleuriot

CoRR, 2018

The Boyer-Moore Waterfall Model Revisited.

Petros Papapanagiotou, Jacques D. Fleuriot

CoRR, 2018

A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference.

Petros Papapanagiotou, Jacques D. Fleuriot

Proceedings of the Logic-Based Program Synthesis and Transformation, 2018

Towards Executable Representations of Social Machines.

Dave Murray-Rust, Alan Davoust, Petros Papapanagiotou, Areti Manataki, Max Van Kleek, Nigel Shadbolt, Dave Robertson

Proceedings of the Diagrammatic Representation and Inference, 2018

Social Machines for All.

Petros Papapanagiotou, Alan Davoust, Dave Murray-Rust, Areti Manataki, Max Van Kleek, Nigel Shadbolt, Dave Robertson

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

Machine Learning for Inductive Theorem Proving.

Yaqing Jiang, Petros Papapanagiotou, Jacques D. Fleuriot

Proceedings of the Artificial Intelligence and Symbolic Computation, 2018

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

WorkflowFM: A Logic-Based Framework for Formal Process Specification and Composition.

Petros Papapanagiotou, Jacques D. Fleuriot

Proceedings of the Automated Deduction - CADE 26, 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

Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2017), 2017

A Step Towards the Standardisation of HIV Care Practices.

Cristina Adriana Alexandru, Daniel Clutterbuck, Petros Papapanagiotou, Jacques D. Fleuriot, Areti Manataki

Proceedings of the 10th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2017), 2017

2015

Softening electronic institutions to support natural interaction.

Dave Murray-Rust, Petros Papapanagiotou, Dave Robertson

Hum. Comput., 2015

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 Trans. Collab. Comput., 2015

2014

A formal verification approach to process modelling and composition.

Petros Papapanagiotou

PhD thesis, 2014

Formal verification of collaboration patterns in healthcare.

Petros Papapanagiotou, Jacques D. Fleuriot

Behav. Inf. Technol., 2014

Tracheostomy Transfers: A Case Study in the Application of Formal Methods to Intra-hospital Patient Transfers.

Areti Manataki, Jacques D. Fleuriot, Petros Papapanagiotou

Proceedings of the 2014 IEEE 27th International Symposium on Computer-Based Medical Systems, 2014

Modelling and Implementation of Correct by Construction Healthcare Workflows.

Petros Papapanagiotou, Jacques D. Fleuriot

Proceedings of the Business Process Management Workshops, 2014

2012

Diagrammatically-Driven Formal Verification of Web-Services Composition.

Petros Papapanagiotou, Jacques D. Fleuriot, Sean Wilson

Proceedings of the Diagrammatic Representation and Inference, 2012

Rigorous process-based modelling of patterns for collaborative work in healthcare teams.

Petros Papapanagiotou, Jacques D. Fleuriot, Adela Grando

Proceedings of CBMS 2012, 2012

2011

A theorem proving framework for the formal verification of Web Services Composition

Petros Papapanagiotou, Jacques D. Fleuriot

Proceedings of the Proceedings 7th International Workshop on Automated Specification and Verification of Web Systems, 2011

Formal Verification of Web Services Composition Using Linear Logic and the pi-calculus.

Petros Papapanagiotou, Jacques D. Fleuriot

Proceedings of the 9th IEEE European Conference on Web Services, 2011

2010

An Isabelle-Like Procedural Mode for HOL Light.

Petros Papapanagiotou, Jacques D. Fleuriot

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010