Petros Papapanagiotou
Petros Papapanagiotou
Chancellor's Fellow in Digital Technologies, School of Informatics, University of Edinburgh
Verified email at ed.ac.uk - Homepage
TitleCited byYear
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
262011
RONTO: Relational to ontology schema matching
P Papapanagiotou, P Katsiouli, V Tsetsos, C Anagnostopoulos, ...
AIS Sigsemis Bulletin 3 (3-4), 32-36, 2006
262006
A collaboration model for community-based software development with social machines
D Murray-Rust, O Scekic, HL Truong, D Robertson, S Dustdar
10th IEEE International Conference on Collaborative Computing: Networking …, 2014
232014
Formal verification of collaboration patterns in healthcare
P Papapanagiotou, JD Fleuriot
Behaviour & Information Technology 33 (12), 1278-1293, 2014
202014
A theorem proving framework for the formal verification of Web Services Composition
P Papapanagiotou, JD Fleuriot
arXiv preprint arXiv:1108.2348, 2011
132011
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
112012
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
82012
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
82012
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
72017
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, ...
72016
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
72016
Softening electronic institutions to support natural interaction
D Murray-Rust, P Papapanagiotou, D Robertson
Human Computation 2 (2), 2015
62015
Machine Learning for Inductive Theorem Proving
Y Jiang, P Papapanagiotou, J Fleuriot
International Conference on Artificial Intelligence and Symbolic Computation …, 2018
52018
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
52018
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
42014
WorkflowFM: A Logic-Based Framework for Formal Process Specification and Composition
P Papapanagiotou, J Fleuriot
International Conference on Automated Deduction, 357-370, 2017
32017
A Step Towards the Standardisation of HIV Care Practices.
CA Alexandru, D Clutterbuck, P Papapanagiotou, JD Fleuriot, A Manataki
HEALTHINF, 457-462, 2017
32017
Modelling and Implementation of Correct by Construction Healthcare Workflows
P Papapanagiotou, J Fleuriot
International Conference on Business Process Management, 28-39, 2014
32014
The Boyer-Moore Waterfall Model Revisited
P Papapanagiotou, J Fleuriot
arXiv preprint arXiv:1808.03810, 2018
22018
Towards Executable Representations of Social Machines
D Murray-Rust, A Davoust, P Papapanagiotou, A Manataki, M Van Kleek, ...
International Conference on Theory and Application of Diagrams, 765-769, 2018
22018
The system can't perform the operation now. Try again later.
Articles 1–20