| RONTO: Relational to ontology schema matching P Papapanagiotou, P Katsiouli, V Tsetsos, C Anagnostopoulos, ... AIS Sigsemis Bulletin 3 (3-4), 32-36, 2006 | 45 | 2006 |
| 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 | 35 | 2011 |
| 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 | 32 | 2015 |
| Formal verification of collaboration patterns in healthcare P Papapanagiotou, JD Fleuriot Behaviour & Information Technology 33 (12), 1278-1293, 2014 | 24 | 2014 |
| 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, ... | 17 | 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 | 17 | 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 | 15 | 2017 |
| 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 | 15 | 2012 |
| A theorem proving framework for the formal verification of Web Services Composition P Papapanagiotou, JD Fleuriot arXiv preprint arXiv:1108.2348, 2011 | 15 | 2011 |
| Machine learning for inductive theorem proving Y Jiang, P Papapanagiotou, J Fleuriot Artificial Intelligence and Symbolic Computation: 13th International …, 2018 | 12 | 2018 |
| Softening electronic institutions to support natural interaction D Murray-Rust, P Papapanagiotou, D Robertson Human Computation 2 (2), 2015 | 11 | 2015 |
| 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 | 10 | 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 | 10 | 2012 |
| 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 | 9 | 2018 |
| 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 | 7 | 2018 |
| 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 | 6 | 2017 |
| Evolution of the lightweight coordination calculus using formal analysis P Papapanagiotou, D Murray-Rust, D Robertson Personal communication, 2016 | 5 | 2016 |
| Modelling and implementation of correct by construction healthcare workflows P Papapanagiotou, J Fleuriot Business Process Management Workshops: BPM 2014 International Workshops …, 2015 | 5 | 2015 |
| 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 | 5 | 2014 |
| The Boyer-Moore Waterfall Model Revisited P Papapanagiotou, J Fleuriot arXiv preprint arXiv:1808.03810, 2018 | 4 | 2018 |
Dave Murray-RustTU DelftVerified email at tudelft.nl
