default search action
Petros Papapanagiotou
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c18]Jiawei Zheng, Petros Papapanagiotou, Jacques D. Fleuriot:
Alignment-based conformance checking over probabilistic events. HICSS 2024: 5982-5991 - 2022
- [c17]Jiawei Zheng, Petros Papapanagiotou:
Predictive Behavioural Monitoring and Deviation Detection in Activities of Daily Living of Older Adults. HEALTHINF 2022: 899-910 - [i4]Jiawei Zheng, Petros Papapanagiotou:
Alignment-based conformance checking over probabilistic events. CoRR abs/2209.04309 (2022) - 2021
- [j5]Rui Zhao, Malcolm P. 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): 460:1-460:43 (2021) - [c16]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: 1-10 - [i3]Rui Zhao, Malcolm P. Atkinson, Petros Papapanagiotou, Federica Magnoni, Jacques D. Fleuriot:
Dr.Aid: Supporting Data-governance Rule Compliance for Decentralized Collaboration in an Automated Way. CoRR abs/2110.01056 (2021) - 2020
- [c15]Petros Papapanagiotou, Jacques D. Fleuriot:
Object-Level Reasoning with Logics Encoded in HOL Light. LFMTP 2020: 18-34
2010 – 2019
- 2018
- [c14]Yaqing Jiang, Petros Papapanagiotou, Jacques D. Fleuriot:
Machine Learning for Inductive Theorem Proving. AISC 2018: 87-103 - [c13]Petros Papapanagiotou, Alan Davoust, Dave Murray-Rust, Areti Manataki, Max Van Kleek, Nigel Shadbolt, Dave Robertson:
Social Machines for All. AAMAS 2018: 1208-1212 - [c12]Dave Murray-Rust, Alan Davoust, Petros Papapanagiotou, Areti Manataki, Max Van Kleek, Nigel Shadbolt, Dave Robertson:
Towards Executable Representations of Social Machines. Diagrams 2018: 765-769 - [c11]Petros Papapanagiotou, Jacques D. Fleuriot:
A Pragmatic, Scalable Approach to Correct-by-Construction Process Composition Using Classical Linear Logic Inference. LOPSTR 2018: 77-93 - [i2]Petros Papapanagiotou, Jacques D. Fleuriot:
The Boyer-Moore Waterfall Model Revisited. CoRR abs/1808.03810 (2018) - [i1]Petros Papapanagiotou, Jacques D. Fleuriot:
Correct-by-construction Process Composition Using Classical Linear Logic Inference. CoRR abs/1808.05490 (2018) - 2017
- [j4]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): 1156-1162 (2017) - [c10]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: 435-440 - [c9]Cristina Adriana Alexandru, Daniel Clutterbuck, Petros Papapanagiotou, Jacques D. Fleuriot, Areti Manataki:
A Step Towards the Standardisation of HIV Care Practices. HEALTHINF 2017: 457-462 - [c8]Petros Papapanagiotou, Jacques D. Fleuriot:
WorkflowFM: A Logic-Based Framework for Formal Process Specification and Composition. CADE 2017: 357-370 - 2015
- [j3]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): e6 (2015) - [j2]Dave Murray-Rust, Petros Papapanagiotou, Dave Robertson:
Softening electronic institutions to support natural interaction. Hum. Comput. 2(2): 155-188 (2015) - 2014
- [b1]Petros Papapanagiotou:
A formal verification approach to process modelling and composition. University of Edinburgh, UK, 2014 - [j1]Petros Papapanagiotou, Jacques D. Fleuriot:
Formal verification of collaboration patterns in healthcare. Behav. Inf. Technol. 33(12): 1278-1293 (2014) - [c7]Petros Papapanagiotou, Jacques D. Fleuriot:
Modelling and Implementation of Correct by Construction Healthcare Workflows. Business Process Management Workshops 2014: 28-39 - [c6]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: 257-262 - 2012
- [c5]Petros Papapanagiotou, Jacques D. Fleuriot, Adela Grando:
Rigorous process-based modelling of patterns for collaborative work in healthcare teams. CBMS 2012: 1-6 - [c4]Petros Papapanagiotou, Jacques D. Fleuriot, Sean Wilson:
Diagrammatically-Driven Formal Verification of Web-Services Composition. Diagrams 2012: 241-255 - 2011
- [c3]Petros Papapanagiotou, Jacques D. Fleuriot:
Formal Verification of Web Services Composition Using Linear Logic and the pi-calculus. ECOWS 2011: 31-38 - [c2]Petros Papapanagiotou, Jacques D. Fleuriot:
A theorem proving framework for the formal verification of Web Services Composition. WWV 2011: 1-16 - 2010
- [c1]Petros Papapanagiotou, Jacques D. Fleuriot:
An Isabelle-Like Procedural Mode for HOL Light. LPAR (Yogyakarta) 2010: 565-580
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint