Follow
Petros Papapanagiotou
Petros Papapanagiotou
Chancellor's Fellow in Digital Technologies, School of Informatics, University of Edinburgh
Verified email at ed.ac.uk - Homepage
Title
Cited by
Cited by
Year
RONTO: Relational to ontology schema matching
P Papapanagiotou, P Katsiouli, V Tsetsos, C Anagnostopoulos, ...
AIS Sigsemis Bulletin 3 (3-4), 32-36, 2006
452006
Formal verification of web services composition using linear logic and the pi-calculus
P Papapanagiotou, J Fleuriot
2011 IEEE Ninth European Conference on Web Services, 31-38, 2011
352011
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
332015
Formal verification of collaboration patterns in healthcare
P Papapanagiotou, JD Fleuriot
Behaviour & Information Technology 33 (12), 1278-1293, 2014
232014
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, ...
152016
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, ...
The Journal of Engineering 2016 (11), 431-440, 2016
152016
Diagrammatically-driven formal verification of web-services composition
P Papapanagiotou, J Fleuriot, S Wilson
International Conference on Theory and Application of Diagrams, 241-255, 2012
152012
A theorem proving framework for the formal verification of Web Services Composition
P Papapanagiotou, JD Fleuriot
arXiv preprint arXiv:1108.2348, 2011
152011
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
142017
Softening electronic institutions to support natural interaction
D Murray-Rust, P Papapanagiotou, D Robertson
Human Computation 2 (2), 2015
122015
Machine learning for inductive theorem proving
Y Jiang, P Papapanagiotou, J Fleuriot
Artificial Intelligence and Symbolic Computation: 13th International …, 2018
112018
Rigorous process-based modelling of patterns for collaborative work in healthcare teams
P Papapanagiotou, J Fleuriot, A Grando
2012 25th IEEE International Symposium on Computer-Based Medical Systems …, 2012
102012
Rigorous process-based modelling of patterns for collaborative work in healthcare teams
P Papapanagiotou, J Fleuriot, A Grando
2012 25th IEEE International Symposium on Computer-Based Medical Systems (CBMS), 2012
102012
Social Machines for All
P Papapanagiotou, A Davoust, D Murray-Rust, A Manataki, M Van Kleek, ...
Proceedings of the 17th International Conference on Autonomous Agents and …, 2018
92018
Towards executable representations of social machines
D Murray-Rust, A Davoust, P Papapanagiotou, A Manataki, M Van Kleek, ...
Diagrammatic Representation and Inference: 10th International Conference …, 2018
72018
Evolution of the lightweight coordination calculus using formal analysis
P Papapanagiotou, D Murray-Rust, D Robertson
Personal communication, 2016
52016
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
52014
The Boyer-Moore Waterfall Model Revisited
P Papapanagiotou, J Fleuriot
arXiv preprint arXiv:1808.03810, 2018
42018
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
42017
Modelling and implementation of correct by construction healthcare workflows
P Papapanagiotou, J Fleuriot
Business Process Management Workshops: BPM 2014 International Workshops …, 2015
42015
The system can't perform the operation now. Try again later.
Articles 1–20