Erstklassig in allen Rankings »
  • Hier lernen die Führungskräfte von morgen

Veröffentlichungen von Prof. Dr. Harald König


  • Model Transformation and Induced Instance Migration: A Universal Framework, zusammen mit M. Löwe, C. Schulz. LNCS 7021, pp. 1 - 15, Springer, Heidelberg (2011)
  • Algebraic Graph Transformations with Inheritance, zusammen mit M. Löwe, C. Schulz, M. Schultchen, LNCS 8195, pp. 211 - 227, Springer, Heidelberg (2013)
  • Fibred Amalgamation, Descent Data, and Van Kampen Squares in Topoi, zusammen mit Uwe Wolter, Applied Categorical Structures, June 2015, Volume 23, Issue 3, pp. 447-486
  • Advanced Local Checking of Global Consistency in Heterogeneous Multimodeling, zusammen mit Z. Diskin, Proceedings of ECMFA 2016, pp 19--35 
  • Incremental Consistency Checking of Heterogeneous Multimodels, zusammen mit Z.Diskin, Software Technologies: Applications and Foundations - STAF 2016, Proceedings, pp 274 - 288 
  • Efficient Consistency Checking of Interrelated Models zusammen mit Zinovy Diskin, ECMFA 2017, Marburg
  • Being Van Kampen is a Uniqueness Property in Presheaf Topoi, zusammen mit Uwe Wolter, erscheint in Proceedings of CALCO 2017, Ljubliana
  • Toward a Sound Theory of Global Consistency Management zusammen mit Zinovy Diskin und Mark Lawford, erscheint in Proceedings of Grand Challenges, STAF 2017, Marburg