Yngve Lamo

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 44

Top Topics

Healthcare Systems

Graph Transformation

Top Venues

J. Object Technol.

Publications

Tim Kräuter, Patrick Stünkel, Adrian Rutle, Yngve Lamo
The Visual Debugger: Past, Present, and Future. CoRR (2024)
Rosaline Barendregt, Yngve Lamo, Barbara Wasson
Improving Self-Report Diaries: A Respondent-Centric Design Approach. BIOSTEC (2) (2024)
Tim Kräuter, Patrick Stünkel, Adrian Rutle, Harald König, Yngve Lamo
Instantaneous, Comprehensible, and Fixable Soundness Checking of Realistic BPMN Models. CoRR (2024)
Fazle Rabbi, Bahareh Fatemi, Yngve Lamo, Andreas L. Opdahl
A Model-Based Framework for News Content Analysis. MODELSWARD (2024)
Muhammad Rizwan Ali, Yngve Lamo, Violet Ka I Pun
Simulation-Based Decision Support for Cross-Organisational Workflows - A Case Study of Emergency Handling. COORDINATION (2024)
Tim Kräuter, Harald König, Adrian Rutle, Yngve Lamo
The Visual Debugger Tool. CoRR (2024)
Muhammad Rizwan Ali, Yngve Lamo, Violet Ka I Pun
Cost analysis for a resource sensitive workflow modelling language. Sci. Comput. Program. 225 (2023)
Tim Kräuter, Adrian Rutle, Harald König, Yngve Lamo
Formalization and Analysis of BPMN Using Graph Transformation Systems. ICGT (2023)
Tim Kräuter, Adrian Rutle, Harald König, Yngve Lamo
A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems. CoRR (2023)
Sanaa A. Alwidian, Daniel Amyot, Yngve Lamo
Union Models for Model Families: Efficient Reasoning over Space and Time. Algorithms 16 (2) (2023)
Tim Kräuter, Harald König, Adrian Rutle, Yngve Lamo, Patrick Stünkel
Behavioral consistency in multi-modeling. J. Object Technol. 22 (2) (2023)
Tim Kräuter, Harald König, Adrian Rutle, Yngve Lamo
The Visual Debugger Tool. ICSME (2022)
Amin Aminifar, Matin Shokri, Fazle Rabbi, Violet Ka I Pun, Yngve Lamo
Extremely Randomized Trees With Privacy Preservation for Distributed Structured Health Data. IEEE Access 10 (2022)
Amin Aminifar, Fazle Rabbi, Violet Ka I Pun, Yngve Lamo
Monitoring Motor Activity Data for Detecting Patients' Depression Using Data Augmentation and Privacy-Preserving Distributed Learning. EMBC (2021)
Amin Aminifar, Fazle Rabbi, Violet Ka I Pun, Yngve Lamo
Diversity-Aware Anonymization for Structured Health Data. EMBC (2021)
Patrick Stünkel, Harald König, Yngve Lamo, Adrian Rutle
Comprehensive Systems: A formal foundation for Multi-Model Consistency Management. Formal Aspects Comput. 33 (6) (2021)
Amin Aminifar, Fazle Rabbi, Yngve Lamo
Scalable Privacy-Preserving Distributed Extremely Randomized Trees for Structured Data With Multiple Colluding Parties. ICASSP (2021)
Amin Aminifar, Fazle Rabbi, Ka I Pun, Yngve Lamo
Privacy preserving distributed extremely randomized trees. SAC (2021)
Patrick Stünkel, Harald König, Adrian Rutle, Yngve Lamo
Multi-Model Evolution through Model Repair. J. Object Technol. 20 (1) (2021)
Suresh Kumar Mukhiya, Usman Ahmed, Fazle Rabbi, Ka I Pun, Yngve Lamo
Adaptation of IDPT System Based on Patient-Authored Text Data using NLP. CBMS (2020)
Suresh Kumar Mukhiya, Jo Dugstad Wake, Yavuz Inal, Yngve Lamo
Adaptive Systems for Internet-Delivered Psychological Treatments. IEEE Access 8 (2020)
Fazle Rabbi, Yngve Lamo, Wendy MacCaull
A Model Based Slicing Technique for Process Mining Healthcare Information. ICSMM (2020)
Patrick Stünkel, Ole von Bargen, Adrian Rutle, Yngve Lamo
GraphQL Federation: A Model-Based Approach. J. Object Technol. 19 (2) (2020)
Patrick Stünkel, Harald König, Yngve Lamo, Adrian Rutle
Towards Multiple Model Synchronization with Comprehensive Systems. FASE (2020)
Suresh Kumar Mukhiya, Fazle Rabbi, Violet Ka I Pun, Adrian Rutle, Yngve Lamo
A GraphQL approach to Healthcare Information Exchange with HL7 FHIR. EUSPN/ICTH (2019)
Job N. Nyameino, Fazle Rabbi, Ben-Richard Ebbesvik, Martin Chieng Were, Yngve Lamo
A Model Driven Approach to the Development of Gamified Interactive Clinical Practice Guidelines. ENASE (2019)
Job N. Nyameino, Ben-Richard Ebbesvik, Fazle Rabbi, Martin Chieng Were, Yngve Lamo
Model-Driven Automatic Question Generation for a Gamified Clinical Guideline Training System. ENASE (Selected Papers) (2019)
Job N. Nyameino, Fazle Rabbi, Khalid A. Mughal, Martin Chieng Were, Yngve Lamo
A Model Driven Approach to the Design of a Gamified e-Learning System for Clinical Guidelines. MedInfo (2019)
Suresh Kumar Mukhiya, Fazle Rabbi, Ka I Pun, Yngve Lamo
An architectural design for self-reporting e-health systems. SEH@ICSE (2019)
Fazle Rabbi, Yngve Lamo, Lars Michael Kristensen
Analysis and Evaluation of Conformance Preserving Graph Transformation Rules. MODELSWARD (Revised Selected Papers) (2018)
Fazle Rabbi, Lars Michael Kristensen, Yngve Lamo
Static Analysis of Conformance Preserving Model Transformation Rules. MODELSWARD (2018)
Alessandro Rossini, Adrian Rutle, Yngve Lamo, Uwe Wolter
Handling constraints in model versioning. MoDELS (Workshops) (2018)
Patrick Stünkel, Harald König, Yngve Lamo, Adrian Rutle
Multimodel correspondence through inter-model constraints. Programming (2018)
Gabriele Taentzer, Manuel Ohrndorf, Yngve Lamo, Adrian Rutle
Change-Preserving Model Repair. FASE (2017)
Fazle Rabbi, Lars Michael Kristensen, Yngve Lamo
Optimizing Distributed Resource Allocation using Epistemic Game Theory: A Model-driven Engineering Approach. MODELSWARD (2017)
Fazle Rabbi, Yngve Lamo, Lars Michael Kristensen
A Model Driven Engineering Approach for Heterogeneous Model Composition. MODELSWARD (Revised Selected Papers) (2017)
Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu
Towards a categorical approach for meta-modelling epistemic game theory. MoDELS (2016)
Rosaline Barendregt, Yngve Lamo, Fazle Rabbi
A Bottom up Approach for Synchronous User Interaction Design and Workflow Modelling. EUSPN/ICTH (2016)
Altaf Hussain, Wendy MacCaull, Yngve Lamo
CASD: A Framework for Context Aware Service Discovery and Selection. OTM Workshops (2016)
Fazle Rabbi, Yngve Lamo, Lars Michael Kristensen
An MDE Approach for Modelling and Reasoning About Multi-agent Systems. EUMAS/AT (2016)
Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen
Diagrammatic Development of Domain Specific Modelling Languages with WebDPF. Int. J. Inf. Syst. Model. Des. 7 (3) (2016)
Thomas Calder, Yngve Lamo
A Bottom Up Approach to Model Based Program Validation. FlexMDE@MoDELS (2016)
Maximiliano Vela, Yngve Lamo, Fazle Rabbi, Fernando Macías
A Heuristic Approach for Resolving the Class Responsibility Assignment Case. TTC@STAF (2016)
Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen
WebDPF: A Web-based Metamodelling and Model Transformation Environment. MODELSWARD (2016)
Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen
A Diagrammatic Approach to Model Completion. AMT@MoDELS (2015)
Xiaoliang Wang, Adrian Rutle, Yngve Lamo
Towards User-Friendly and Efficient Analysis with Alloy. MoDeVVa@MoDELS (2015)
Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen
Towards a Multi Metamodelling Approach for Developing Distributed Healthcare Applications. NIK (2015)
Florian Mantz, Gabriele Taentzer, Yngve Lamo, Uwe Wolter
Co-evolving meta-models and their instance models: A formal approach based on graph transformation. Sci. Comput. Program. 104 (2015)
Xiaoliang Wang, Adrian Rutle, Yngve Lamo
Scalable Verification of Model Transformations. MoDeVVa@MoDELS (2014)
Oleksandr Krasnoshchok, Yngve Lamo
Extended Content-boosted Matrix Factorization Algorithm for Recommender Systems. KES (2014)
Fazle Rabbi, Yngve Lamo, Wendy MacCaull
Co-ordination of Multiple Metamodels, with Application to Healthcare Systems. EUSPN/ICTH (2014)
Fazle Rabbi, Yngve Lamo, Wendy MacCaull
A Flexible Metamodelling Approach for Healthcare Systems. PAHI (2014)
Xiaoliang Wang, Fabian Büttner, Yngve Lamo
Verification of Graph-based Model Transformations Using Alloy. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 67 (2014)
Gabriele Taentzer, Florian Mantz, Thorsten Arendt, Yngve Lamo
Customizable Model Migration Schemes for Meta-model Evolutions with Multiplicity Changes. MoDELS (2013)
Yngve Lamo, Florian Mantz, Adrian Rutle, Juan de Lara
A declarative and bidirectional model transformation approach based on graph co-spans. PPDP (2013)
Florian Mantz, Gabriele Taentzer, Yngve Lamo
Co-Transformation of Type and Instance Graphs Supporting Merging of Types and Retyping. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 61 (2013)
Adrian Rutle, Fazle Rabbi, Wendy MacCaull, Yngve Lamo
A User-friendly Tool for Model Checking Healthcare Workflows. EUSPN/ICTH (2013)
Florian Mantz, Gabriele Taentzer, Yngve Lamo
Customizing model migrations by rule schemes. IWPSE (2013)
Florian Mantz, Gabriele Taentzer, Yngve Lamo
Well-formed Model Co-evolution with Customizable Model Migration. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 58 (2013)
Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter
A formal approach to the specification and transformation of constraints in MDE. J. Log. Algebraic Methods Program. 81 (4) (2012)
Adrian Rutle, Wendy MacCaull, Hao Wang, Yngve Lamo
A metamodelling approach to behavioural modelling. BM-FA (2012)
Gabriele Taentzer, Florian Mantz, Yngve Lamo
Co-transformation of Graphs and Type Graphs with Application to Model Co-evolution. ICGT (2012)
Alessandro Rossini, Juan de Lara, Esther Guerra, Adrian Rutle, Yngve Lamo
A Graph Transformation-Based Semantics for Deep Metamodelling. AGTIVE (2011)
Alessandro Rossini, Adrian Rutle, Yngve Lamo, Uwe Wolter
A formalisation of the copy-modify-merge approach to version control in MDE. J. Log. Algebraic Methods Program. 79 (7) (2010)
Yngve Lamo, Adrian Rutle, Florian Mantz
Enforcement of Patterns by Constraint-Aware Model Transformations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 31 (2010)
Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter
A Formalisation of Constraint-Aware Model Transformations. FASE (2010)
Terje Kristensen, Yngve Lamo, Kristin Ran Choi Hinna, Grete Oline Hole
Dynamic Content Manager - A New Conceptual Model for E-Learning. WISM (2009)
Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter
A Diagrammatic Formalisation of MOF-Based Modelling Languages. TOOLS (47) (2009)
Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter
A Category-Theoretical Approach to the Formalisation of Version Control in MDE. FASE (2009)
Adrian Rutle, Uwe Wolter, Yngve Lamo
A diagrammatic approach to model transformations. EATIS (2008)
Sigvat Eide, Terje Kristensen, Yngve Lamo
A model for dynamic content based e-learning systems. EATIS (2008)
Yngve Lamo, Michal Walicki
Quantifier-free logic for nondeterministic theories. Theor. Comput. Sci. 355 (2) (2006)
Yngve Lamo, Michal Walicki
Quantifier-free logic for multialgebraic theories. Electron. Notes Theor. Comput. Sci. 84 (2003)
Yngve Lamo, Michal Walicki
Composition and refinement of specifications and parameterised data types. Electron. Notes Theor. Comput. Sci. 70 (3) (2002)
Yngve Lamo, Michal Walicki
Combining Specification Formalisms in the ?General Logic? of Multialgebras. WADT (2002)
Yngve Lamo, Michal Walicki
Modeling Partiality by Nondeterminism. ISAS-SCI (1) (2001)
Yngve Lamo, Michal Walicki
Specification of Parametrized Programs - Persistency Revisited. Nord. J. Comput. 8 (3) (2001)