default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYngve Lamo
Person information
- affiliation: Western Norway University of Applied Science, Norway
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j19]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. Log. Methods Comput. Sci. 20(4) (2024)- [c59]Rosaline Barendregt, Yngve Lamo, Barbara Wasson:
Improving Self-Report Diaries: A Respondent-Centric Design Approach. BIOSTEC (2) 2024: 529-536 - [c58]Tim Kräuter, Patrick Stünkel, Adrian Rutle, Yngve Lamo, Harald König:
BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models. BPM (Demos / Resources Forum) 2024: 66-70 - [c57]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: 111-128 - [c56]Tim Kräuter
, Patrick Stünkel, Adrian Rutle, Yngve Lamo:
The Visual Debugger: Past, Present, and Future. IDE@ICSE 2024: 1-6 - [c55]Fazle Rabbi, Bahareh Fatemi, Yngve Lamo, Andreas L. Opdahl:
A Model-Based Framework for News Content Analysis. MODELSWARD 2024: 99-107 - [i5]Tim Kräuter, Patrick Stünkel, Adrian Rutle, Yngve Lamo:
The Visual Debugger: Past, Present, and Future. CoRR abs/2403.03683 (2024) - [i4]Tim Kräuter, Harald König, Adrian Rutle, Yngve Lamo:
The Visual Debugger Tool. CoRR abs/2404.12932 (2024) - [i3]Tim Kräuter, Patrick Stünkel, Adrian Rutle, Harald König, Yngve Lamo:
Instantaneous, Comprehensible, and Fixable Soundness Checking of Realistic BPMN Models. CoRR abs/2407.03965 (2024) - [i2]Tim Kräuter, Patrick Stünkel, Adrian Rutle, Yngve Lamo, Harald König:
BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models. CoRR abs/2408.06028 (2024) - 2023
- [j18]Sanaa A. Alwidian, Daniel Amyot, Yngve Lamo:
Union Models for Model Families: Efficient Reasoning over Space and Time. Algorithms 16(2): 105 (2023) - [j17]Tim Kräuter, Harald König, Adrian Rutle, Yngve Lamo, Patrick Stünkel:
Behavioral consistency in multi-modeling. J. Object Technol. 22(2): 1-15 (2023) - [j16]Muhammad Rizwan Ali, Yngve Lamo, Violet Ka I Pun:
Cost analysis for a resource sensitive workflow modelling language. Sci. Comput. Program. 225: 102896 (2023) - [c54]Tim Kräuter, Adrian Rutle, Harald König, Yngve Lamo:
Formalization and Analysis of BPMN Using Graph Transformation Systems. ICGT 2023: 204-222 - [c53]Markus Bertl, Yngve Lamo, Martin Leucker, Tiziana Margaria, Esfandiar Mohammadi, Suresh Kumar Mukhiya, Ludwig Pechmann, Gunnar Piho, Fazle Rabbi:
Challenges for AI in Healthcare Systems. AISoLA (Selected Papers) 2023: 165-186 - [c52]Fazle Rabbi, Bahareh Fatemi, Suresh Kumar Mukhiya, Yngve Lamo:
Towards a Multi-dimensional Health Data Analysis Framework. AISoLA (Selected Papers) 2023: 187-202 - [i1]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 abs/2311.05243 (2023) - 2022
- [j15]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: 6010-6027 (2022) - [c51]Tim Kräuter, Harald König, Adrian Rutle, Yngve Lamo:
The Visual Debugger Tool. ICSME 2022: 494-498 - [e1]Yngve Lamo, Adrian Rutle:
Proceedings of The International Health Data Workshop co-located with 10th International Conference on Petrinets (Petri Nets 2022), Bergen, Norway, June 26th-27th, 2022. CEUR Workshop Proceedings 3264, CEUR-WS.org 2022 [contents] - 2021
- [j14]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): 1067-1114 (2021) - [j13]Patrick Stünkel, Harald König, Adrian Rutle, Yngve Lamo:
Multi-Model Evolution through Model Repair. J. Object Technol. 20(1): 1:1-25 (2021) - [c50]Amin Aminifar, Fazle Rabbi, Violet Ka I Pun, Yngve Lamo:
Diversity-Aware Anonymization for Structured Health Data. EMBC 2021: 2148-2154 - [c49]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: 2163-2169 - [c48]Amin Aminifar, Fazle Rabbi, Yngve Lamo:
Scalable Privacy-Preserving Distributed Extremely Randomized Trees for Structured Data With Multiple Colluding Parties. ICASSP 2021: 2655-2659 - [c47]Amin Aminifar, Fazle Rabbi, Ka I Pun, Yngve Lamo:
Privacy preserving distributed extremely randomized trees. SAC 2021: 1102-1105 - 2020
- [j12]Suresh Kumar Mukhiya, Jo Dugstad Wake, Yavuz Inal, Yngve Lamo:
Adaptive Systems for Internet-Delivered Psychological Treatments. IEEE Access 8: 112220-112236 (2020) - [j11]Patrick Stünkel, Ole von Bargen, Adrian Rutle, Yngve Lamo:
GraphQL Federation: A Model-Based Approach. J. Object Technol. 19(2): 18:1-21 (2020) - [c46]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: 226-232 - [c45]Patrick Stünkel, Harald König, Yngve Lamo, Adrian Rutle:
Towards Multiple Model Synchronization with Comprehensive Systems. FASE 2020: 335-356 - [c44]Fazle Rabbi, Yngve Lamo, Wendy MacCaull:
A Model Based Slicing Technique for Process Mining Healthcare Information. ICSMM 2020: 73-81
2010 – 2019
- 2019
- [c43]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: 147-158 - [c42]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: 227-245 - [c41]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: 338-345 - [c40]Suresh Kumar Mukhiya, Fazle Rabbi, Ka I Pun, Yngve Lamo:
An architectural design for self-reporting e-health systems. SEH@ICSE 2019: 1-8 - [c39]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: 734-738 - 2018
- [c38]Alessandro Rossini, Adrian Rutle, Yngve Lamo, Uwe Wolter:
Handling constraints in model versioning. MoDELS (Workshops) 2018: 284-292 - [c37]Fazle Rabbi, Lars Michael Kristensen, Yngve Lamo:
Static Analysis of Conformance Preserving Model Transformation Rules. MODELSWARD 2018: 152-162 - [c36]Fazle Rabbi, Yngve Lamo, Lars Michael Kristensen:
Analysis and Evaluation of Conformance Preserving Graph Transformation Rules. MODELSWARD (Revised Selected Papers) 2018: 284-307 - [c35]Patrick Stünkel, Harald König, Yngve Lamo, Adrian Rutle:
Multimodel correspondence through inter-model constraints. Programming 2018: 9-17 - 2017
- [c34]Gabriele Taentzer, Manuel Ohrndorf, Yngve Lamo, Adrian Rutle:
Change-Preserving Model Repair. FASE 2017: 283-299 - [c33]Fazle Rabbi, Lars Michael Kristensen, Yngve Lamo:
Optimizing Distributed Resource Allocation using Epistemic Game Theory: A Model-driven Engineering Approach. MODELSWARD 2017: 41-52 - [c32]Fazle Rabbi, Yngve Lamo, Lars Michael Kristensen:
A Model Driven Engineering Approach for Heterogeneous Model Composition. MODELSWARD (Revised Selected Papers) 2017: 198-221 - 2016
- [j10]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): 93-114 (2016) - [c31]Fazle Rabbi, Yngve Lamo, Lars Michael Kristensen:
An MDE Approach for Modelling and Reasoning About Multi-agent Systems. EUMAS/AT 2016: 49-57 - [c30]Rosaline Barendregt, Yngve Lamo, Fazle Rabbi:
A Bottom up Approach for Synchronous User Interaction Design and Workflow Modelling. EUSPN/ICTH 2016: 340-347 - [c29]Thomas Calder, Yngve Lamo:
A Bottom Up Approach to Model Based Program Validation. FlexMDE@MoDELS 2016: 12-21 - [c28]Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu:
Towards a categorical approach for meta-modelling epistemic game theory. MoDELS 2016: 57-64 - [c27]Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen:
WebDPF: A Web-based Metamodelling and Model Transformation Environment. MODELSWARD 2016: 87-98 - [c26]Altaf Hussain, Wendy MacCaull, Yngve Lamo:
CASD: A Framework for Context Aware Service Discovery and Selection. OTM Workshops 2016: 252-264 - [c25]Maximiliano Vela, Yngve Lamo, Fazle Rabbi, Fernando Macías:
A Heuristic Approach for Resolving the Class Responsibility Assignment Case. TTC@STAF 2016: 21-26 - 2015
- [j9]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: 2-43 (2015) - [c24]Xiaoliang Wang, Adrian Rutle, Yngve Lamo:
Towards User-Friendly and Efficient Analysis with Alloy. MoDeVVa@MoDELS 2015: 28-37 - [c23]Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen:
A Diagrammatic Approach to Model Completion. AMT@MoDELS 2015: 56-65 - [c22]Fazle Rabbi, Yngve Lamo, Ingrid Chieh Yu, Lars Michael Kristensen:
Towards a Multi Metamodelling Approach for Developing Distributed Healthcare Applications. NIK 2015 - 2014
- [j8]Xiaoliang Wang, Fabian Büttner, Yngve Lamo:
Verification of Graph-based Model Transformations Using Alloy. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 67 (2014) - [c21]Fazle Rabbi, Yngve Lamo, Wendy MacCaull:
Co-ordination of Multiple Metamodels, with Application to Healthcare Systems. EUSPN/ICTH 2014: 473-480 - [c20]Oleksandr Krasnoshchok, Yngve Lamo:
Extended Content-boosted Matrix Factorization Algorithm for Recommender Systems. KES 2014: 417-426 - [c19]Xiaoliang Wang, Adrian Rutle, Yngve Lamo:
Scalable Verification of Model Transformations. MoDeVVa@MoDELS 2014: 29-38 - [c18]Fazle Rabbi, Yngve Lamo, Wendy MacCaull:
A Flexible Metamodelling Approach for Healthcare Systems. PAHI 2014: 115-128 - 2013
- [j7]Florian Mantz, Gabriele Taentzer, Yngve Lamo:
Well-formed Model Co-evolution with Customizable Model Migration. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 58 (2013) - [j6]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) - [c17]Adrian Rutle, Fazle Rabbi, Wendy MacCaull, Yngve Lamo:
A User-friendly Tool for Model Checking Healthcare Workflows. EUSPN/ICTH 2013: 317-326 - [c16]Florian Mantz, Gabriele Taentzer, Yngve Lamo:
Customizing model migrations by rule schemes. IWPSE 2013: 1-10 - [c15]Gabriele Taentzer, Florian Mantz, Thorsten Arendt, Yngve Lamo:
Customizable Model Migration Schemes for Meta-model Evolutions with Multiplicity Changes. MoDELS 2013: 254-270 - [c14]Yngve Lamo, Florian Mantz, Adrian Rutle, Juan de Lara:
A declarative and bidirectional model transformation approach based on graph co-spans. PPDP 2013: 1-12 - 2012
- [j5]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): 422-457 (2012) - [c13]Adrian Rutle, Wendy MacCaull, Hao Wang, Yngve Lamo:
A metamodelling approach to behavioural modelling. BM-FA 2012: 5 - [c12]Gabriele Taentzer, Florian Mantz, Yngve Lamo:
Co-transformation of Graphs and Type Graphs with Application to Model Co-evolution. ICGT 2012: 326-340 - 2011
- [c11]Alessandro Rossini, Juan de Lara, Esther Guerra, Adrian Rutle, Yngve Lamo:
A Graph Transformation-Based Semantics for Deep Metamodelling. AGTIVE 2011: 19-34 - 2010
- [j4]Yngve Lamo, Adrian Rutle, Florian Mantz:
Enforcement of Patterns by Constraint-Aware Model Transformations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 31 (2010) - [j3]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): 636-658 (2010) - [c10]Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter:
A Formalisation of Constraint-Aware Model Transformations. FASE 2010: 13-28
2000 – 2009
- 2009
- [c9]Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter:
A Category-Theoretical Approach to the Formalisation of Version Control in MDE. FASE 2009: 64-78 - [c8]Adrian Rutle, Alessandro Rossini, Yngve Lamo, Uwe Wolter:
A Diagrammatic Formalisation of MOF-Based Modelling Languages. TOOLS (47) 2009: 37-56 - [c7]Terje Kristensen, Yngve Lamo, Kristin Ran Choi Hinna, Grete Oline Hole:
Dynamic Content Manager - A New Conceptual Model for E-Learning. WISM 2009: 499-507 - 2008
- [c6]Sigvat Eide, Terje Kristensen, Yngve Lamo:
A model for dynamic content based e-learning systems. EATIS 2008 - [c5]Adrian Rutle, Uwe Wolter, Yngve Lamo:
A diagrammatic approach to model transformations. EATIS 2008 - 2006
- [j2]Yngve Lamo, Michal Walicki:
Quantifier-free logic for nondeterministic theories. Theor. Comput. Sci. 355(2): 215-227 (2006) - 2003
- [c4]Yngve Lamo, Michal Walicki:
Quantifier-free logic for multialgebraic theories. WoLLIC 2003: 141-153 - 2002
- [c3]Yngve Lamo, Michal Walicki:
Combining Specification Formalisms in the ?General Logic? of Multialgebras. WADT 2002: 328-342 - [c2]Yngve Lamo, Michal Walicki:
Composition and refinement of specifications and parameterised data types. Refine 2002: 199-216 - 2001
- [j1]Yngve Lamo, Michal Walicki:
Specification of Parametrized Programs - Persistency Revisited. Nord. J. Comput. 8(3): 298-323 (2001) - [c1]Yngve Lamo, Michal Walicki:
Modeling Partiality by Nondeterminism. ISAS-SCI (1) 2001: 447-452
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-10 20:51 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
