An Automated Translator for Model Checking Time Constrained Workflow Systems. - Ahmed Shah Mashiyat; Fazle Rabbi 001; Hao Wang 003; Wendy MacCaull (FMICS, 2010)

Compensable WorkFlow Nets. - Fazle Rabbi 001; Hao Wang 003; Wendy MacCaull (ICFEM, 2010)

YAWL2DVE: An Automated Translator for Workflow Verification. - Fazle Rabbi 001; Hao Wang 003; Wendy MacCaull (SSIRI, 2010)

NOVA Workflow: A Workflow Management Tool Targeting Health Services Delivery. - Wendy MacCaull; Fazle Rabbi 001 (FHIES, 2011)

Model Checking Workflow Monitors and Its Application to a Pain Management Process. - Fazle Rabbi 001; Ahmed Shah Mashiyat; Wendy MacCaull (FHIES, 2011)

Modeling and Verifying Timed Compensable Workflows and an Application to Health Care. - Ahmed Shah Mashiyat; Fazle Rabbi 001; Wendy MacCaull (FMICS, 2011)

Model Driven Workflow Development with T□. - Fazle Rabbi 001; Wendy MacCaull (CAiSE Workshops, 2012)

T□: A Domain Specific Language for Rapid Workflow Development. - Fazle Rabbi 001; Wendy MacCaull (MoDELS, 2012)

A Model Slicing Method for Workflow Verification. - Fazle Rabbi 001; Hao Wang 003; Wendy MacCaull; Adrian Rutle (FESCA, 2012)

A scalable ontology reasoner via incremental materialization. - Fazle Rabbi 001; Wendy MacCaull; Rokan Uddin Faruqui (CBMS, 2013)

A User-friendly Tool for Model Checking Healthcare Workflows. - Adrian Rutle; Fazle Rabbi 001; Wendy MacCaull; Yngve Lamo (EUSPN/ICTH, 2013)

User-Friendly UIs for the Execution of Clinical Practice Guidelines. - Fazle Rabbi 001; Wendy MacCaull (CBMS, 2014)

Co-ordination of Multiple Metamodels, with Application to Healthcare Systems. - Fazle Rabbi 001; Yngve Lamo; Wendy MacCaull (EUSPN/ICTH, 2014)

A Flexible Metamodelling Approach for Healthcare Systems. - Fazle Rabbi 001; Yngve Lamo; Wendy MacCaull (PAHI, 2014)

A Diagrammatic Approach to Model Completion. - Fazle Rabbi 001; Yngve Lamo; Ingrid Chieh Yu; Lars Michael Kristensen (AMT@MoDELS, 2015)

Towards a Multi Metamodelling Approach for Developing Distributed Healthcare Applications. - Fazle Rabbi 001; Yngve Lamo; Ingrid Chieh Yu; Lars Michael Kristensen (NIK, 2015)

An MDE Approach for Modelling and Reasoning About Multi-agent Systems. - Fazle Rabbi 001; Yngve Lamo; Lars Michael Kristensen (EUMAS/AT, 2016)

A Bottom up Approach for Synchronous User Interaction Design and Workflow Modelling. - Rosaline Barendregt; Yngve Lamo; Fazle Rabbi 001 (EUSPN/ICTH, 2016)

Towards a categorical approach for meta-modelling epistemic game theory. - Fazle Rabbi 001; Yngve Lamo; Ingrid Chieh Yu (MoDELS, 2016)

WebDPF: A Web-based Metamodelling and Model Transformation Environment. - Fazle Rabbi 001; Yngve Lamo; Ingrid Chieh Yu; Lars Michael Kristensen (MODELSWARD, 2016)

A Heuristic Approach for Resolving the Class Responsibility Assignment Case. - Maximiliano Vela; Yngve Lamo; Fazle Rabbi 001; Fernando Macías (TTC@STAF, 2016)

Diagrammatic Development of Domain Specific Modelling Languages with WebDPF. - Fazle Rabbi 001; Yngve Lamo; Ingrid Chieh Yu; Lars Michael Kristensen (Int. J. Inf. Syst. Model. Des., 2016)

Optimizing Distributed Resource Allocation using Epistemic Game Theory: A Model-driven Engineering Approach. - Fazle Rabbi 001; Lars Michael Kristensen; Yngve Lamo (MODELSWARD, 2017)

A Model Driven Engineering Approach for Heterogeneous Model Composition. - Fazle Rabbi 001; Yngve Lamo; Lars Michael Kristensen (MODELSWARD (Revised Selected Papers), 2017)

Static Analysis of Conformance Preserving Model Transformation Rules. - Fazle Rabbi 001; Lars Michael Kristensen; Yngve Lamo (MODELSWARD, 2018)

Analysis and Evaluation of Conformance Preserving Graph Transformation Rules. - Fazle Rabbi 001; Yngve Lamo; Lars Michael Kristensen (MODELSWARD (Revised Selected Papers), 2018)

Model-Driven Automatic Question Generation for a Gamified Clinical Guideline Training System. - Job N. Nyameino; Ben-Richard Ebbesvik; Fazle Rabbi 001; Martin Chieng Were; Yngve Lamo (ENASE (Selected Papers), 2019)

A Model Driven Approach to the Development of Gamified Interactive Clinical Practice Guidelines. - Job N. Nyameino; Fazle Rabbi 001; Ben-Richard Ebbesvik; Martin Chieng Were; Yngve Lamo (ENASE, 2019)

A GraphQL approach to Healthcare Information Exchange with HL7 FHIR. - Suresh Kumar Mukhiya; Fazle Rabbi 001; Violet Ka I Pun; Adrian Rutle; Yngve Lamo (EUSPN/ICTH, 2019)

An architectural design for self-reporting e-health systems. - Suresh Kumar Mukhiya; Fazle Rabbi 001; Ka I Pun; Yngve Lamo (SEH@ICSE, 2019)

A Model Driven Approach to the Design of a Gamified e-Learning System for Clinical Guidelines. - Job N. Nyameino; Fazle Rabbi 001; Khalid A. Mughal; Martin Chieng Were; Yngve Lamo (MedInfo, 2019)

Adaptation of IDPT System Based on Patient-Authored Text Data using NLP. - Suresh Kumar Mukhiya; Usman Ahmed; Fazle Rabbi 001; Ka I Pun; Yngve Lamo (CBMS, 2020)

A Model Based Slicing Technique for Process Mining Healthcare Information. - Fazle Rabbi 001; Yngve Lamo; Wendy MacCaull (ICSMM, 2020)

Reusable Data Visualization Patterns for Clinical Practice. - Fazle Rabbi 001; Jo Dugstad Wake; Tine Nordgreen (ICSMM, 2020)

Diversity-Aware Anonymization for Structured Health Data. - Amin Aminifar; Fazle Rabbi 001; Violet Ka I Pun; Yngve Lamo (EMBC, 2021)

Monitoring Motor Activity Data for Detecting Patients' Depression Using Data Augmentation and Privacy-Preserving Distributed Learning. - Amin Aminifar; Fazle Rabbi 001; Violet Ka I Pun; Yngve Lamo (EMBC, 2021)

Scalable Privacy-Preserving Distributed Extremely Randomized Trees for Structured Data With Multiple Colluding Parties. - Amin Aminifar; Fazle Rabbi 001; Yngve Lamo (ICASSP, 2021)

Privacy preserving distributed extremely randomized trees. - Amin Aminifar; Fazle Rabbi 001; Ka I Pun; Yngve Lamo (SAC, 2021)

Analysis of Patient Pathways with Contextual Process Mining. - Fazle Rabbi 001; Bahareh Fatemi; Wendy MacCaull (HEDA@Petri Nets, 2022)

Extremely Randomized Trees With Privacy Preservation for Distributed Structured Health Data. - Amin Aminifar; Matin Shokri; Fazle Rabbi 001; Violet Ka I Pun; Yngve Lamo (IEEE Access, 2022)

Intelligent Tracing and Process Improvement of Pathology Workflows using Character Recognition. - Markus Hatlem; Fazle Rabbi 001; Patrick Stünkel; Friedemann Leh (HEDA@STAF, 2023)

Challenges for AI in Healthcare Systems. - Markus Bertl; Yngve Lamo; Martin Leucker; Tiziana Margaria; Esfandiar Mohammadi; Suresh Kumar Mukhiya; Ludwig Pechmann; Gunnar Piho; Fazle Rabbi 001 (AISoLA (Selected Papers), 2023)

Towards a Multi-dimensional Health Data Analysis Framework. - Fazle Rabbi 001; Bahareh Fatemi; Suresh Kumar Mukhiya; Yngve Lamo (AISoLA (Selected Papers), 2023)

Evaluating the Effectiveness of GPT Large Language Model for News Classification in the IPTC News Ontology. - Bahareh Fatemi; Fazle Rabbi 001; Andreas L. Opdahl (IEEE Access, 2023)

Visual User-Generated Content Verification in Journalism: An Overview. - Sohail Ahmed Khan; Ghazaal Sheikhi; Andreas L. Opdahl; Fazle Rabbi 001; Sergej Stoppel; Christoph Trattner; Duc-Tien Dang-Nguyen (IEEE Access, 2023)

A Validated Learning Approach to Healthcare Process Analysis Through Contextual and Temporal Filtering. - Bahareh Fatemi; Fazle Rabbi 001; Wendy MacCaull (Trans. Petri Nets Other Model. Concurr., 2023)

A Model-Based Framework for Exploring Conflict Dynamics. - Fazle Rabbi 001 (MoDELS (Companion), 2024)

A Model-Based Framework for News Content Analysis. - Fazle Rabbi 001; Bahareh Fatemi; Yngve Lamo; Andreas L. Opdahl (MODELSWARD, 2024)

User-centred design of clinical dashboards for guided iCBT. - Jo Dugstad Wake; Fazle Rabbi 001; Yavuz Inal; Tine Nordgreen (Innov. Syst. Softw. Eng., 2024)

A New Cluster Validation Index Based on Stability Analysis. - Adane Nega Tarekegn; Bjørnar Tessem; Fazle Rabbi 001 (ICPRAM, 2025)