Modeling Partiality by Nondeterminism. - Yngve Lamo; Michal Walicki (ISAS-SCI (1), 2001)

Specification of Parametrized Programs - Persistency Revisited. - Yngve Lamo; Michal Walicki (Nord. J. Comput., 2001)

Combining Specification Formalisms in the ?General Logic? of Multialgebras. - Yngve Lamo; Michal Walicki (WADT, 2002)

Composition and refinement of specifications and parameterised data types. - Yngve Lamo; Michal Walicki (Refine, 2002)

Quantifier-free logic for multialgebraic theories. - Yngve Lamo; Michal Walicki (WoLLIC, 2003)

Quantifier-free logic for nondeterministic theories. - Yngve Lamo; Michal Walicki (Theor. Comput. Sci., 2006)

A model for dynamic content based e-learning systems. - Sigvat Eide; Terje Kristensen; Yngve Lamo (EATIS, 2008)

A diagrammatic approach to model transformations. - Adrian Rutle; Uwe Wolter; Yngve Lamo (EATIS, 2008)

A Category-Theoretical Approach to the Formalisation of Version Control in MDE. - Adrian Rutle; Alessandro Rossini; Yngve Lamo; Uwe Wolter (FASE, 2009)

A Diagrammatic Formalisation of MOF-Based Modelling Languages. - Adrian Rutle; Alessandro Rossini; Yngve Lamo; Uwe Wolter (TOOLS (47), 2009)

Dynamic Content Manager - A New Conceptual Model for E-Learning. - Terje Kristensen; Yngve Lamo; Kristin Ran Choi Hinna; Grete Oline Hole (WISM, 2009)

A Formalisation of Constraint-Aware Model Transformations. - Adrian Rutle; Alessandro Rossini; Yngve Lamo; Uwe Wolter (FASE, 2010)

Enforcement of Patterns by Constraint-Aware Model Transformations. - Yngve Lamo; Adrian Rutle; Florian Mantz (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

A formalisation of the copy-modify-merge approach to version control in MDE. - Alessandro Rossini; Adrian Rutle; Yngve Lamo; Uwe Wolter (J. Log. Algebraic Methods Program., 2010)

A Graph Transformation-Based Semantics for Deep Metamodelling. - Alessandro Rossini; Juan de Lara; Esther Guerra; Adrian Rutle; Yngve Lamo (AGTIVE, 2011)

A metamodelling approach to behavioural modelling. - Adrian Rutle; Wendy MacCaull; Hao Wang 003; Yngve Lamo (BM-FA, 2012)

Co-transformation of Graphs and Type Graphs with Application to Model Co-evolution. - Gabriele Taentzer; Florian Mantz; Yngve Lamo (ICGT, 2012)

A formal approach to the specification and transformation of constraints in MDE. - Adrian Rutle; Alessandro Rossini; Yngve Lamo; Uwe Wolter (J. Log. Algebraic Methods Program., 2012)

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

Customizing model migrations by rule schemes. - Florian Mantz; Gabriele Taentzer; Yngve Lamo (IWPSE, 2013)

Customizable Model Migration Schemes for Meta-model Evolutions with Multiplicity Changes. - Gabriele Taentzer; Florian Mantz; Thorsten Arendt; Yngve Lamo (MoDELS, 2013)

A declarative and bidirectional model transformation approach based on graph co-spans. - Yngve Lamo; Florian Mantz; Adrian Rutle; Juan de Lara (PPDP, 2013)

Co-Transformation of Type and Instance Graphs Supporting Merging of Types and Retyping. - Florian Mantz; Gabriele Taentzer; Yngve Lamo (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Well-formed Model Co-evolution with Customizable Model Migration. - Florian Mantz; Gabriele Taentzer; Yngve Lamo (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

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

Extended Content-boosted Matrix Factorization Algorithm for Recommender Systems. - Oleksandr Krasnoshchok; Yngve Lamo (KES, 2014)

Scalable Verification of Model Transformations. - Xiaoliang Wang; Adrian Rutle; Yngve Lamo (MoDeVVa@MoDELS, 2014)

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

Verification of Graph-based Model Transformations Using Alloy. - Xiaoliang Wang; Fabian Büttner; Yngve Lamo (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014)

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

Towards User-Friendly and Efficient Analysis with Alloy. - Xiaoliang Wang; Adrian Rutle; Yngve Lamo (MoDeVVa@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)

Co-evolving meta-models and their instance models: A formal approach based on graph transformation. - Florian Mantz; Gabriele Taentzer; Yngve Lamo; Uwe Wolter (Sci. Comput. Program., 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)

A Bottom Up Approach to Model Based Program Validation. - Thomas Calder; Yngve Lamo (FlexMDE@MoDELS, 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)

CASD: A Framework for Context Aware Service Discovery and Selection. - Altaf Hussain; Wendy MacCaull; Yngve Lamo (OTM Workshops, 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)

Change-Preserving Model Repair. - Gabriele Taentzer; Manuel Ohrndorf; Yngve Lamo; Adrian Rutle (FASE, 2017)

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)

Handling constraints in model versioning. - Alessandro Rossini; Adrian Rutle; Yngve Lamo; Uwe Wolter (MoDELS (Workshops), 2018)

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)

Multimodel correspondence through inter-model constraints. - Patrick Stünkel; Harald König; Yngve Lamo; Adrian Rutle (Programming, 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)

Towards Multiple Model Synchronization with Comprehensive Systems. - Patrick Stünkel; Harald König; Yngve Lamo; Adrian Rutle (FASE, 2020)

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

Adaptive Systems for Internet-Delivered Psychological Treatments. - Suresh Kumar Mukhiya; Jo Dugstad Wake; Yavuz Inal; Yngve Lamo (IEEE Access, 2020)

GraphQL Federation: A Model-Based Approach. - Patrick Stünkel; Ole von Bargen; Adrian Rutle; Yngve Lamo (J. Object Technol., 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)

Comprehensive Systems: A formal foundation for Multi-Model Consistency Management. - Patrick Stünkel; Harald König; Yngve Lamo; Adrian Rutle (Formal Aspects Comput., 2021)

Multi-Model Evolution through Model Repair. - Patrick Stünkel; Harald König; Adrian Rutle; Yngve Lamo (J. Object Technol., 2021)

The Visual Debugger Tool. - Tim Kräuter; Harald König; Adrian Rutle; Yngve Lamo (ICSME, 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)

Formalization and Analysis of BPMN Using Graph Transformation Systems. - Tim Kräuter; Adrian Rutle; Harald König; Yngve Lamo (ICGT, 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)

Behavioral consistency in multi-modeling. - Tim Kräuter; Harald König; Adrian Rutle; Yngve Lamo; Patrick Stünkel (J. Object Technol., 2023)

Cost analysis for a resource sensitive workflow modelling language. - Muhammad Rizwan Ali; Yngve Lamo; Violet Ka I Pun (Sci. Comput. Program., 2023)

Union Models for Model Families: Efficient Reasoning over Space and Time. - Sanaa A. Alwidian; Daniel Amyot; Yngve Lamo (Algorithms, 2023)

Improving Self-Report Diaries: A Respondent-Centric Design Approach. - Rosaline Barendregt; Yngve Lamo; Barbara Wasson (BIOSTEC (2), 2024)

BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models. - Tim Kräuter; Patrick Stünkel; Adrian Rutle; Yngve Lamo; Harald König (BPM (Demos / Resources Forum), 2024)

Simulation-Based Decision Support for Cross-Organisational Workflows - A Case Study of Emergency Handling. - Muhammad Rizwan Ali; Yngve Lamo; Violet Ka I Pun (COORDINATION, 2024)

The Visual Debugger: Past, Present, and Future. - Tim Kräuter; Patrick Stünkel; Adrian Rutle; Yngve Lamo (IDE@ICSE, 2024)

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

Instantaneous, Comprehensible, and Fixable Soundness Checking of Realistic BPMN Models. - Tim Kräuter; Patrick Stünkel; Adrian Rutle; Harald König; Yngve Lamo (CoRR, 2024)

A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems. - Tim Kräuter; Adrian Rutle; Harald König; Yngve Lamo (Log. Methods Comput. Sci., 2024)

Towards the Coordination and Verification of Heterogeneous Systems with Data and Time. - Tim Kräuter; Adrian Rutle; Yngve Lamo; Harald König; Francisco Durán 001 (CoRR, 2025)