Publications
Refereed Journal Publications
Hazard Prevention in Mission Plans for Aerial Vehicles Based on Soft Institutions
Flavio Correa da Silva, Paul Chung, Marcelo Zuffo, Petros Papapanagiotou, Dave Robertson, Wamberto Vasconcelos
Journal of Civil Aircraft Design and Research. 2017🚩A workflow-driven, formal methods approach to the generation of structured checklists for intra-hospital patient transfers
Areti Manataki, Jacques Fleuriot, Petros Papapanagiotou
IEEE Journal of Biomedical and Health Informatics. 2016🚩Healthcare Data Safe Havens: Towards a logical architecture and experiment automation
Dave Robertson, Fausto Giunchiglia, Stephen Pavis, Ettore Turra, Gabor Bella, Elizabeth Elliot, Andrew Morris, Malcolm Atkinson, Gordon McAllister, Areti Manataki, Petros Papapanagiotou, Mark Parsons
The Journal of Engineering. 2016Softening electronic institutions to support natural interaction
Dave Murray-Rust, Petros Papapanagiotou, Dave Robertson
Human Computation. 2016🚩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 Transactions on Collaborative Computing. 2015🚩Formal verification of collaboration patterns in healthcare
Petros Papapanagiotou, Jacques Fleuriot
Behaviour and Information Technology. 2014Matching relational schemata to Semantic Web ontologies
Polina Katsiouli, Petros Papapanagiotou, Vassilios Tsetsos, Christos Anagnostopoulos, Stathes Hadjiefthymiades
Handbook of Research on Innovations in Database Technologies and Applications: Current and Future Trends. 2009
Refereed Conference & Workshop Publications
🚩Alignment-based conformance checking over probabilistic events
Jiawei Zheng, Petros Papapanagiotou, Jacques Fleuriot
57th Hawaii International Conference on System Sciences. 2024🚩Predictive Behavioural Monitoring and Deviation Detection in Activities of Daily Living of Older Adults
Jiawei Zheng, Petros Papapanagiotou
15th International Joint Conference on Biomedical Engineering Systems and Technologies (HEALTHINF), Special Session on Smart Living Environments to Support Aging-in-Place in Vulnerable Older Adults - Smart CommuniCare. 2022Dr.Aid: Supporting Data-governance Rule Compliance for Decentralized Collaboration in an Automated Way
Rui Zhao, Malcolm Atkinson, Petros Papapanagiotou, Federica Magnoni, Jacques Fleuriot
24th ACM Conference on Computer-Supported Cooperative Work and Social Computing (CSCW). 2021🚩A Real-world Case Study of Process and Data Driven Predictive Analytics for Manufacturing Workflows
Petros Papapanagiotou, James Vaughan, Filip Smola, Jacques Fleuriot
54th Hawaii International Conference on System Sciences. 2021Object-level reasoning with logics encoded in HOL Light
Petros Papapanagiotou, Jacques Fleuriot
Logical Frameworks and Meta-Languages: Theory and Practice. 2020Computer-supported ethical rules for collaboratively sharing data
Rui Zhao, Malcolm Atkinson, Petros Papapanagiotou, Jacques Fleuriot, Christian Pagé
Ethics in Design Workshop, 23rd ACM Conference on Computer-Supported Cooperative Work and Social Computing. 2020🚩A Pragmatic, Scalable Approach to Correct-by-construction Process Composition Using Classical Linear Logic Inference
Petros Papapanagiotou, Jacques Fleuriot
128th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) Post-proceedings. 2019Correct-by-construction Process Composition Using Classical Linear Logic Inference
Petros Papapanagiotou, Jacques Fleuriot
128th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) Pre-proceedings. 2018Machine learning for inductive theorem proving
Yaqing Jiang, Petros Papapanagiotou, Jacques Fleuriot
13th International Conference on Artificial Intelligence and Symbolic Computation (AISC). 2018🚩Social Machines For All
Petros Papapanagiotou, Alan Davoust, Dave Murray-Rust, Areti Manataki, Max Van Kleek, Nigel Shadbolt, Dave Robertson
17th Conference on Autonomous Agents and MultiAgent Systems (AAMAS). 2018Towards Executable Representations of Social Machines
Dave Murray-Rust, Alan Davoust, Petros Papapanagiotou, Areti Manataki, Max Van Kleek, Nigel Shadbolt, Dave Robertson
Diagrammatic Representation and Inference: 10th International Conference (Diagrams). 2018🚩WorkflowFM: A logic-based framework for formal process specification and composition
Petros Papapanagiotou, Jacques Fleuriot
26th Conference on Automated Deduction (CADE). 2017Hazard identification for coordinated UAVs based on soft institutions
Flavio Correa Da Silva, Paul Chung, Marcello Zuffo, Petros Papapanagiotou, Dave Robertson, Wamberto Vasconcelos
International Workshop on Coordination, Organizations, Institutions and Norms in Agent Systems (COIN). 2017Development of workflow-based guidelines for the care of burns in Scotland
Alisa Dewanti, Petros Papapanagiotou, Charlotte Gilhooly, Jacques Fleuriot, Areti Manataki, Laura Moss
9th International Conference on e-Health. 2017A step towards the standardisation of HIV care practices
Cristina Alexandru, Daniel Clutterbuck, Petros Papapanagiotou, Jacques Fleuriot, Areti Manataki
10th International Joint Conference on Biomedical Engineering Systems and Technologies (HEALTHINF). 2017Designing a social machine for the Heart Manual Service
Vanessa Hanschke, Areti Manataki, Cristina Alexandru, Petros Papapanagiotou, Carolyn Deighan, Louise Taylor, Dave Robertson
10th International Joint Conference on Biomedical Engineering Systems and Technologies (HEALTHINF). 2017Workflow modelling of burns care protocols
Petros Papapanagiotou, Alisa Dewanti, Areti Manataki, Jacques Fleuriot, Charlotte Gilhooly, Laura Moss
The 26th SICS Annual Scientific Meeting, Scottish Intensive Care Society. 2016Tracheostomy transfers: A case study in the application of formal methods to intra-hospital patient transfers
Areti Manataki, Jacques Fleuriot, Petros Papapanagiotou
IEEE 27th International Symposium on Computer-Based Medical Systems (CBMS). 2014🚩Modelling and implementation of correct by construction healthcare workflows
Petros Papapanagiotou, Jacques Fleuriot
Business Process Management Workshops: BPM 2014 International Workshops. Lecture Notes in Business Information Processing. 2014Rigorous development of computer based Integrated Care Pathways for HIV patients
Petros Papapanagiotou, Jacques Fleuriot, Areti Manataki, Andrew Winter, Rak Nandwani, Daniel Clutterbuck, David Wilks
Health Informatics Scotland Conference (HIS). 2014Rigorous process-based modelling of patterns for collaborative work in healthcare teams
Petros Papapanagiotou, Jacques Fleuriot, Adela Grando
25th International Symposium on Computer-Based Medical Systems (CBMS). 2012🚩Diagrammatically-driven formal verification of Web-Services composition
Petros Papapanagiotou, Jacques Fleuriot, Sean Wilson
Diagrammatic Representation and Inference: 7th International Conference (Diagrams). 2012🚩Formal verification of Web Services composition using linear logic and the pi-calculus
Petros Papapanagiotou, Jacques Fleuriot
IEEE Ninth European Conference on Web Services (ECOWS). 2011A theorem proving framework for the formal verification of Web Services Composition
Petros Papapanagiotou, Jacques Fleuriot
7th International Workshop on Automated Specification and Verification of Web Systems (WWV). 2011An Isabelle-like procedural mode for HOL Light
Petros Papapanagiotou, Jacques Fleuriot
Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference (LPAR-17). 2010RONTO: Relational to ontology schema matching
Petros Papapanagiotou, Polina Katsiouli, Vassilios Tsetsos, Christos
Anagnostopoulos, Stathes Hadjiefthymiades
AIS SIGSEMIS BULLETIN. 2006
Accepted Non-academic Posters
These are refereed with a limited acceptance rate, albeit with a typically lighter review process than academic ones.
- Proactive health monitoring based on Activities of Daily Living
Jiawei Zheng and Petros Papapanagiotou
DigiFest: Digital Health & Care Fest. 2021 (to appear) - DigiFlow: Digitising Industrial Workflows
Petros Papapanagiotou, James Vaughan, Jacques Fleuriot
SICSA DemoFest 2019 - Digiflow: Digitizing Industrial Workflow, Monitoring and Optimization
Petros Papapanagiotou, James Vaughan, Jacques Fleuriot
SICSA DemoFest 2018 - WorkflowFM: A formal modelling framework for healthcare
Petros Papapanagiotou, Areti Manataki, Jacques Fleuriot
SICSA DemoFest North. 2014 - WorkflowFM: A formal modelling framework for healthcare processes
Petros Papapanagiotou, Areti Manataki, Jacques Fleuriot
SICSA DemoFest. 2014