Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Canonical Selection of Colimits., , und . WADT, Volume 10644 von Lecture Notes in Computer Science, Seite 170-188. Springer, (2016)Enabling Technologies for Concept Invention., , , und . Concept Invention, Springer, (2018)Canonical Selection of Colimits., , und . CoRR, (2017)Ontohub: A semantic repository for heterogeneous ontologies., , , , und . CoRR, (2016)The VSE Refinement Method in Hets., , , und . ECEASST, (2013)Birkhoff Completeness in Institutions., und . Logica Universalis, 2 (2): 277-309 (2008)Compiling Logics., , , , und . WADT, Volume 7841 von Lecture Notes in Computer Science, Seite 111-126. Springer, (2012)Integrating Maude into Hets., , , und . AMAST, Volume 6486 von Lecture Notes in Computer Science, Seite 60-75. Springer, (2010)Blending in the Hub., , , und . ICCC, Seite 297-305. computationalcreativity.net, (2014)Specification refinements: Calculi, tools, and applications., , , und . Sci. Comput. Program., (2017)