Harald König

发表

Nutzen und Risiken des Tissue Engineering

Arianna Ferrari, Daniel Frank, Reinhard Heil, 2013 .

Automatic Transformation Co-evolution Using Traceability Models and Graph Transformation

Adrian Rutle, Ludovico Iovino, Zinovy Diskin, 2018, ECMFA.

Algebraic Properties of Interfaces

Michael Löwe, Harald König, Christoph Schulz, 2005, Formal Methods in Software and Systems Modeling.

A categorical framework for the transformation of object-oriented systems: Models and data

Michael Löwe, Harald König, Christoph Schulz, 2011, J. Symb. Comput..

Incremental Consistency Checking of Heterogeneous Multimodels

Zinovy Diskin, Harald König, 2016, STAF Workshops.

Composition of Model Transformations: A Categorical Framework

Michael Löwe, Harald König, Christoph Schulz, 2012, SBMF.

Designed biological systems meet society: challenges for science and applications

Harald König, 2017 .

Multiple model synchronization with multiary delta lenses with amendment and K-Putput

Zinovy Diskin, Mark Lawford, Harald König, 2019, Formal Aspects of Computing.

Polymorphic Single-Pushout Graph Transformation

Michael Löwe, Harald König, Christoph Schulz, 2014, FASE.

Advanced Local Checking of Global Consistency in Heterogeneous Multimodeling

Zinovy Diskin, Harald König, 2016, ECMFA.

Algebraic Graph Transformations with Inheritance

Michael Löwe, Harald König, Christoph Schulz, 2013, SBMF.

Refactoring Object-Oriented Systems

Michael Löwe, Harald König, Christoph Schulz, 2009 .

Towards Multiple Model Synchronization with Comprehensive Systems

Adrian Rutle, Yngve Lamo, Harald König, 2020, FASE.

Van Kampen Colimits and Path Uniqueness

Harald König, Uwe Wolter, H. König, 2017, Log. Methods Comput. Sci..

Graph Operations and Free Graph Algebras

Zinovy Diskin, Harald König, Uwe Wolter, 2018, Graph Transformation, Specifications, and Nets.

Van Kampen Squares for Graph Transformation

Michael Löwe, Harald König, Uwe Wolter, 2014, ICGT.

Manipulation of Graphs, Algebras and Pictures Essays Dedicated to Hans-jörg Kreowski on the Occasion of His 60th Birthday Categorical Framework for the Transformation of Object-oriented Systems: Operations and Methods Categorical Framework for the Transformation of Object-oriented Systems: Operation

Michael Löwe, Harald König, Christoph Schulz, 2022 .

Algebraic graph transformations with inheritance and abstraction

Michael Löwe, Harald König, Christoph Schulz, 2015, Sci. Comput. Program..

Being Van Kampen in Presheaf Topoi is a Uniqueness Property

Harald König, Uwe Wolter, 2017, CALCO.

Fibred Amalgamation, Descent Data, and Van Kampen Squares in Topoi

Harald König, Uwe Wolter, H. König, 2015, Appl. Categorical Struct..

Toward Product Lines of Mathematical Models for Software Model Management

T. S. E. Maibaum, Zinovy Diskin, Mark Lawford, 2017, STAF Workshops.

Refactoring Informations Systems

Michael Löwe, Harald König, Christoph Schulz, 2006, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

Model Transformation and Induced Instance Migration: A Universal Framework

Michael Löwe, Harald König, Christoph Schulz, 2011, SBMF.

Multiple Model Synchronization with Multiary Delta Lenses

Zinovy Diskin, Mark Lawford, Harald König, 2018, FASE.

Multimodel correspondence through inter-model constraints

Adrian Rutle, Yngve Lamo, Harald König, 2018, Programming.

Correction to: Multiple model synchronization with multiary delta lenses with amendment and K-Putput

Zinovy Diskin, Mark Lawford, Harald König, 2020, Formal Aspects of Computing.

Automatic integration of process and laboratory data into a management information system at the Südzucker factory in Offenau.

Harald König, Wolfgang Vogl, Klaus Wöhrle, 2000 .

Efficient Consistency Checking of Interrelated Models

Zinovy Diskin, Harald König, Z. Diskin, 2017, ECMFA.

Characterizing Van Kampen Squares via Descent Data

Michael Löwe, Harald König, Uwe Wolter, 2012, ACCAT.

Multi-Model Evolution through Model Repair

Adrian Rutle, Yngve Lamo, Harald König, 2021, J. Object Technol..

Comprehensive Systems: A formal foundation for Multi-Model Consistency Management

Adrian Rutle, Yngve Lamo, Harald König, 2021, Formal Aspects of Computing.

Single pushout rewriting in comprehensive systems of graph-like structures

Harald König, Patrick Stünkel, 2021, Theor. Comput. Sci..

A General Methodology for Internalising Multi-Level Model Typing

Harald König, Uwe Wolter, 2021, 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C).