Harald König

Available identifiers

zbMath Open konig.haraldMaRDI QIDQ631576

List of research outcomes

Publication	Date of Publication	Type
Structural operational semantics for heterogeneously typed coalgebras	2024-11-26	Paper
A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems	2024-11-12	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
Single Pushout Rewriting in Comprehensive Systems	2022-09-01	Paper
Comprehensive systems: a formal foundation for multi-model consistency management	2022-01-11	Paper
Single pushout rewriting in comprehensive systems of graph-like structures	2021-08-27	Paper
Correction to: ``Multiple model synchronization with multiary delta lenses with amendment and K-Putput	2020-07-27	Paper
Multiple model synchronization with multiary delta lenses with amendment and K-Putput	2019-11-18	Paper
Multiple model synchronization with multiary delta lenses	2019-09-16	Paper
https://portal.mardi4nfdi.de/entity/Q4580212	2018-08-13	Paper
Van Kampen Colimits and Path Uniqueness	2018-05-30	Paper
Graph operations and free graph algebras	2018-04-04	Paper
Fibred amalgamation, descent data, and Van Kampen squares in topoi	2015-06-19	Paper
Van Kampen Squares for Graph Transformation	2014-09-26	Paper
Algebraic Graph Transformations with Inheritance	2014-07-08	Paper
Composition of Model Transformations: A Categorical Framework	2012-11-06	Paper
Model Transformation and Induced Instance Migration: A Universal Framework	2011-11-11	Paper
A categorical framework for the transformation of object-oriented systems: models and data	2011-03-14	Paper
Formal Methods in Software and Systems Modeling	2005-12-02	Paper
https://portal.mardi4nfdi.de/entity/Q4716691	1996-12-12	Paper
https://portal.mardi4nfdi.de/entity/Q4716228	1996-11-24	Paper
https://portal.mardi4nfdi.de/entity/Q4311958	1994-10-30	Paper
https://portal.mardi4nfdi.de/entity/Q4001368	1992-09-18	Paper

Research outcomes over time

This page was built for person: Harald König