Optimal coordination of crystallization batch processes using rules and practices of extreme programming. - Wolfgang Bock; Harald König; Lothar Litz (CCA, 2003)

Algebraic Properties of Interfaces. - Michael Löwe; Harald König; Christoph Schulz 002 (Formal Methods in Software and Systems Modeling, 2005)

Refactoring Informations Systems. - Michael Löwe; Harald König; Michael Peters; Christoph Schulz 002 (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006)

Categorical Framework for the Transformation of Object-Oriented Systems: Operations and Methods. - Christoph Schulz 002; Michael Löwe; Harald König (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Model Transformation and Induced Instance Migration: A Universal Framework. - Harald König; Michael Löwe; Christoph Schulz 002 (SBMF, 2011)

A categorical framework for the transformation of object-oriented systems: Models and data. - Christoph Schulz 002; Michael Löwe; Harald König (J. Symb. Comput., 2011)

Composition of Model Transformations: A Categorical Framework. - Christoph Schulz 002; Michael Löwe; Harald König (SBMF, 2012)

Characterizing Van Kampen Squares via Descent Data - Harald König; Uwe Wolter; Michael Löwe (ACCAT, 2012)

Algebraic Graph Transformations with Inheritance. - Michael Löwe; Harald König; Christoph Schulz 002; Marius Schultchen (SBMF, 2013)

Polymorphic Single-Pushout Graph Transformation. - Michael Löwe; Harald König; Christoph Schulz 002 (FASE, 2014)

Van Kampen Squares for Graph Transformation. - Harald König; Michael Löwe; Christoph Schulz 002; Uwe Wolter (ICGT, 2014)

Fibred Amalgamation, Descent Data, and Van Kampen Squares in Topoi. - Uwe Wolter; Harald König (Appl. Categorical Struct., 2015)

Algebraic graph transformations with inheritance and abstraction. - Michael Löwe; Harald König; Christoph Schulz 002; Marius Schultchen (Sci. Comput. Program., 2015)

Advanced Local Checking of Global Consistency in Heterogeneous Multimodeling. - Harald König; Zinovy Diskin (ECMFA, 2016)

Incremental Consistency Checking of Heterogeneous Multimodels. - Zinovy Diskin; Harald König (STAF Workshops, 2016)

Being Van Kampen in Presheaf Topoi is a Uniqueness Property. - Harald König; Uwe Wolter (CALCO, 2017)

Efficient Consistency Checking of Interrelated Models. - Harald König; Zinovy Diskin (ECMFA, 2017)

Toward Product Lines of Mathematical Models for Software Model Management. - Zinovy Diskin; Harald König; Mark Lawford; Tom Maibaum (STAF Workshops, 2017)

Graph Operations and Free Graph Algebras. - Uwe Wolter; Zinovy Diskin; Harald König (Graph Transformation, Specifications, and Nets, 2018)

Automatic Transformation Co-evolution Using Traceability Models and Graph Transformation. - Adrian Rutle; Ludovico Iovino; Harald König; Zinovy Diskin (ECMFA, 2018)

Multiple Model Synchronization with Multiary Delta Lenses. - Zinovy Diskin; Harald König; Mark Lawford (FASE, 2018)

Multimodel correspondence through inter-model constraints. - Patrick Stünkel; Harald König; Yngve Lamo; Adrian Rutle (Programming, 2018)

Van Kampen Colimits and Path Uniqueness. - Harald König; Uwe Wolter (Log. Methods Comput. Sci., 2018)

Multiple model synchronization with multiary delta lenses with amendment and K-Putput. - Zinovy Diskin; Harald König; Mark Lawford (Formal Aspects Comput., 2019)

Towards Multiple Model Synchronization with Comprehensive Systems. - Patrick Stünkel; Harald König; Yngve Lamo; Adrian Rutle (FASE, 2020)

Single Pushout Rewriting in Comprehensive Systems. - Harald König; Patrick Stünkel (ICGT, 2020)

Correction to: Multiple model synchronization with multiary delta lenses with amendment and K-Putput. - Zinovy Diskin; Harald König; Mark Lawford (Formal Aspects Comput., 2020)

A query-retyping approach to model transformation co-evolution. - Adrian Rutle; Ludovico Iovino; Harald König; Zinovy Diskin (Softw. Syst. Model., 2020)

A General Methodology for Internalising Multi-Level Model Typing. - Harald König; Uwe Wolter (MoDELS (Companion), 2021)

Comprehensive Systems: A formal foundation for Multi-Model Consistency Management. - Patrick Stünkel; Harald König; Yngve Lamo; Adrian Rutle (Formal Aspects Comput., 2021)

Multi-Model Evolution through Model Repair. - Patrick Stünkel; Harald König; Adrian Rutle; Yngve Lamo (J. Object Technol., 2021)

Single pushout rewriting in comprehensive systems of graph-like structures. - Patrick Stünkel; Harald König (Theor. Comput. Sci., 2021)

The Visual Debugger Tool. - Tim Kräuter; Harald König; Adrian Rutle; Yngve Lamo (ICSME, 2022)

Consistency of Heterogeneously Typed Behavioural Models: A Coalgebraic Approach. - Harald König; Uwe Wolter (TASE, 2022)

Structural Operational Semantics for Heterogeneously Typed Coalgebras. - Harald König; Uwe Wolter; Tim Kräuter (CALCO, 2023)

Formalization and Analysis of BPMN Using Graph Transformation Systems. - Tim Kräuter; Adrian Rutle; Harald König; Yngve Lamo (ICGT, 2023)

Behavioral consistency in multi-modeling. - Tim Kräuter; Harald König; Adrian Rutle; Yngve Lamo; Patrick Stünkel (J. Object Technol., 2023)

Bialgebraic Representation of Coordination Frameworks. - Harald König; Uwe Wolter (WADT, 2024)

BPMN Analyzer 2.0: Instantaneous, Comprehensible, and Fixable Control Flow Analysis for Realistic BPMN Models. - Tim Kräuter; Patrick Stünkel; Adrian Rutle; Yngve Lamo; Harald König (BPM (Demos / Resources Forum), 2024)

Instantaneous, Comprehensible, and Fixable Soundness Checking of Realistic BPMN Models. - Tim Kräuter; Patrick Stünkel; Adrian Rutle; Harald König; Yngve Lamo (CoRR, 2024)

A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems. - Tim Kräuter; Adrian Rutle; Harald König; Yngve Lamo (Log. Methods Comput. Sci., 2024)