Yngve Lamo

Available identifiers

Publication	Date of Publication	Type
A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems	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	2022-10-13	Paper
Comprehensive systems: a formal foundation for multi-model consistency management	2022-01-11	Paper
Change-Preserving Model Repair	2020-02-13	Paper
Composition and refinement of specifications of parameterized data types	2013-08-19	Paper
Quantifier-free logic for multialgebraic theories	2013-06-06	Paper
Co-transformation of Graphs and Type Graphs with Application to Model Co-evolution	2012-10-02	Paper
A formal approach to the specification and transformation of constraints in MDE	2012-08-14	Paper
A formalisation of the copy-modify-merge approach to version control in MDE	2010-10-22	Paper
Recent Trends in Algebraic Development Techniques	2010-04-20	Paper
Quantifier-free logic for nondeterministic theories	2006-04-28	Paper
Specification of parameterized programs -- persistency revisited	2002-01-24	Paper

This page was built for person: Yngve Lamo