Artiklar med krav på offentlig åtkomst - Petros PapapanagiotouLäs mer
Inte tillgänglig någonstans: 1
Formal verification of collaboration patterns in healthcare
P Papapanagiotou, JD Fleuriot
Behaviour & Information Technology 33 (12), 1278-1293, 2014
Krav: UK Engineering and Physical Sciences Research Council
Tillgängliga någonstans: 16
A collaboration model for community-based software development with social machines
D Murray-Rust, O Scekic, P Papapanagiotou, HL Truong, D Roberston, ...
EAI Endorsed Transactions on Collaborative Computing 1 (5), e6, 2015
Krav: UK Engineering and Physical Sciences Research Council
Healthcare Data Safe Havens: Towards a Logical Architecture and Experiment Automation
D Robertson, F Giunchiglia, S Pavis, E Turra, G Bella, E Elliot, A Morris, ...
Krav: UK Engineering and Physical Sciences Research Council
A Workflow-Driven Formal Methods Approach to the Generation of Structured Checklists for Intrahospital Patient Transfers
A Manataki, J Fleuriot, P Papapanagiotou
IEEE journal of biomedical and health informatics 21 (4), 1156-1162, 2017
Krav: UK Engineering and Physical Sciences Research Council
Machine learning for inductive theorem proving
Y Jiang, P Papapanagiotou, J Fleuriot
Artificial Intelligence and Symbolic Computation: 13th International …, 2018
Krav: UK Engineering and Physical Sciences Research Council
Softening electronic institutions to support natural interaction
D Murray-Rust, P Papapanagiotou, D Robertson
Human Computation 2 (2), 2015
Krav: UK Engineering and Physical Sciences Research Council
WorkflowFM: A logic-based framework for formal process specification and composition
P Papapanagiotou, J Fleuriot
Automated Deduction–CADE 26: 26th International Conference on Automated …, 2017
Krav: UK Engineering and Physical Sciences Research Council
Modelling and implementation of correct by construction healthcare workflows
P Papapanagiotou, J Fleuriot
Business Process Management Workshops: BPM 2014 International Workshops …, 2015
Krav: UK Engineering and Physical Sciences Research Council
Tracheostomy transfers: A case study in the application of formal methods to intra-hospital patient transfers
A Manataki, J Fleuriot, P Papapanagiotou
2014 IEEE 27th International Symposium on Computer-Based Medical Systems …, 2014
Krav: UK Engineering and Physical Sciences Research Council
A Step Towards the Standardisation of HIV Care Practices.
CA Alexandru, D Clutterbuck, P Papapanagiotou, JD Fleuriot, A Manataki
HEALTHINF, 457-462, 2017
Krav: UK Engineering and Physical Sciences Research Council
Designing a social machine for the heart manual service
V Hanschke, A Manataki, CA Alexandru, P Papapanagiotou, C Deighan, ...
International Conference on Health Informatics 6, 435-440, 2017
Krav: UK Engineering and Physical Sciences Research Council
Dr. Aid: Supporting Data-governance Rule Compliance for Decentralized Collaboration in an Automated Way
R Zhao, M Atkinson, P Papapanagiotou, F Magnoni, J Fleuriot
Proceedings of the ACM on Human-Computer Interaction 5 (CSCW2), 1-43, 2021
Krav: European Commission
Hazard prevention in mission plans for aerial vehicles based on soft institutions
FSC da Silva, PWH Chung, MK Zuffo, P Papapanagiotou, D Robertson, ...
民用飞机设计与研究, 105, 2017
Krav: UK Engineering and Physical Sciences Research Council
Formal verification approach to process modelling and composition
P Papapanagiotou
The University of Edinburgh, 2014
Krav: UK Engineering and Physical Sciences Research Council
Computer-supported ethical rules for collaboratively sharing data
R Zhao, MP Atkinson, P Papapanagiotou, J Fleuriot, C Pagé
Ethics in Design CSCW 2020 Workshop: Beyond Checklist Approaches to Ethics …, 2020
Krav: European Commission
Hazard identification for coordinated UAVs based on soft institutions
FSC Silva, PWH Chung, MK Zuffo, P Papapanagiotou, DS Robertson, ...
Krav: UK Engineering and Physical Sciences Research Council
Rigorous development of computer based Integrated Care Pathways for HIV patients
P Papapanagiotou, J Fleuriot, A Manataki, A Winter, R Nandwani, ...
BCS Health Informatics Scotland (HIS), 1-2, 2014
Krav: UK Engineering and Physical Sciences Research Council
Publikations- och finansieringsuppgifter tas fram automatiskt av ett datorprogram.