| 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 | 28 | 2011 |
| RONTO: Relational to ontology schema matching P Papapanagiotou, P Katsiouli, V Tsetsos, C Anagnostopoulos, ... AIS Sigsemis Bulletin 3 (3-4), 32-36, 2006 | 27 | 2006 |
| 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 | 24 | 2014 |
| Formal verification of collaboration patterns in healthcare P Papapanagiotou, JD Fleuriot Behaviour & Information Technology 33 (12), 1278-1293, 2014 | 21 | 2014 |
| A theorem proving framework for the formal verification of Web Services Composition P Papapanagiotou, JD Fleuriot arXiv preprint arXiv:1108.2348, 2011 | 14 | 2011 |
| 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 | 11 | 2012 |
| 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 | 9 | 2012 |
| 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 | 9 | 2012 |
| Machine Learning for Inductive Theorem Proving Y Jiang, P Papapanagiotou, J Fleuriot International Conference on Artificial Intelligence and Symbolic Computation …, 2018 | 8 | 2018 |
| 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, ... | 8 | 2016 |
| 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 | 8 | 2016 |
| 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 | 7 | 2017 |
| Softening electronic institutions to support natural interaction D Murray-Rust, P Papapanagiotou, D Robertson Human Computation 2 (2), 2015 | 6 | 2015 |
| The Boyer-Moore Waterfall Model Revisited P Papapanagiotou, J Fleuriot arXiv preprint arXiv:1808.03810, 2018 | 5 | 2018 |
| 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 | 5 | 2018 |
| 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 | 4 | 2014 |
| WorkflowFM: A Logic-Based Framework for Formal Process Specification and Composition P Papapanagiotou, J Fleuriot International Conference on Automated Deduction, 357-370, 2017 | 3 | 2017 |
| A Step Towards the Standardisation of HIV Care Practices. CA Alexandru, D Clutterbuck, P Papapanagiotou, JD Fleuriot, A Manataki HEALTHINF, 457-462, 2017 | 3 | 2017 |
| Modelling and Implementation of Correct by Construction Healthcare Workflows P Papapanagiotou, J Fleuriot International Conference on Business Process Management, 28-39, 2014 | 3 | 2014 |
| 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 | 2 | 2018 |
David RobertsonProfessor of Applied Logic, University of EdinburghVerified email at inf.ed.ac.uk
