Yngve Lamo

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems Logical Methods in Computer Science	2024-11-12	Paper
A reasoning system for satisfiability of diagrammatic specifications	2024-09-06	Paper
Formalization and analysis of BPMN using graph transformation systems	2024-01-12	Paper
Towards multiple model synchronization with comprehensive systems Fundamental Approaches to Software Engineering	2022-10-13	Paper
Comprehensive systems: a formal foundation for multi-model consistency management Formal Aspects of Computing	2022-01-11	Paper
Change-Preserving Model Repair Fundamental Approaches to Software Engineering	2020-02-13	Paper
Composition and refinement of specifications of parameterized data types	2013-08-19	Paper
Quantifier-free logic for multialgebraic theories Electronic Notes in Theoretical Computer Science	2013-06-06	Paper
Co-transformation of graphs and type graphs with application to model co-evolution Lecture Notes in Computer Science	2012-10-02	Paper
A formal approach to the specification and transformation of constraints in MDE The Journal of Logic and Algebraic Programming	2012-08-14	Paper
A formalisation of the copy-modify-merge approach to version control in MDE The Journal of Logic and Algebraic Programming	2010-10-22	Paper
Combining specification formalisms in the `general logic' of multialgebras. Lecture Notes in Computer Science	2010-04-20	Paper
Quantifier-free logic for nondeterministic theories Theoretical Computer Science	2006-04-28	Paper
Specification of parameterized programs -- persistency revisited Nordic Journal of Computing	2002-01-24	Paper

Research outcomes over time

This page was built for person: Yngve Lamo