Harald König

Available identifiers

zbMath Open konig.haraldMaRDI QIDQ631576

List of research outcomes

Publication	Date of Publication	Type
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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Harald König