( en | de | ru )

 

Disambiguation of "König, Harald"

Author of the publication

copydeleteadd this publication to your clipboard
Multimodel correspondence through inter-model constraints.

, , , and . Programming, page 9-17. ACM, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Harald König

Harald König

Harald König

Harald König

Harald König

 

Other publications of authors with the same name

Multimodel correspondence through inter-model constraints., , , and . Programming, page 9-17. ACM, (2018)Single Pushout Rewriting in Comprehensive Systems., and . ICGT, volume 12150 of Lecture Notes in Computer Science, page 91-108. Springer, (2020)Multiple model synchronization with multiary delta lenses with amendment and K-Putput., , and . Formal Aspects Comput., 31 (5): 611-640 (2019)Multiple Model Synchronization with Multiary Delta Lenses., , and . FASE, volume 10802 of Lecture Notes in Computer Science, page 21-37. Springer, (2018)Efficient Consistency Checking of Interrelated Models., and . ECMFA, volume 10376 of Lecture Notes in Computer Science, page 161-178. Springer, (2017)Automatic Transformation Co-evolution Using Traceability Models and Graph Transformation., , , and . ECMFA, volume 10890 of Lecture Notes in Computer Science, page 80-96. Springer, (2018)Multi-Model Evolution through Model Repair., , , and . J. Object Technol., 20 (1): 1:1-25 (2021)A query-retyping approach to model transformation co-evolution., , , and . Softw. Syst. Model., 19 (5): 1107-1138 (2020)Comprehensive Systems: A formal foundation for Multi-Model Consistency Management., , , and . Formal Aspects Comput., 33 (6): 1067-1114 (2021)Correction to: Multiple model synchronization with multiary delta lenses with amendment and K-Putput., , and . Formal Aspects Comput., 32 (1): 153 (2020)