Yngve Lamo - RankMe

88 papers A 4B 10C 9Misc 2Journal 25Unranked 37

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