Person:
Show:
Show 1 to 10 of 23 results
Show 1 to 10 of 23 results
Dageförde, Jan C.; Kuchen, Herbert (2023) In: Lopez-Garcia, Pedro; Gallagher, John P.; Giacobazzi, Roberto (eds.), Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems, 97-112. Cham: . Research article (book contribution) | Peer reviewed | Published | |
Winkelmann Hendrik, Dagefoerde Jan C., Kuchen Herbert (2021) In: (eds.), , 129-144. . Research article in edited proceedings (conference) | Peer reviewed | Published | |
Dageförde Jan C., Teegen Finn (2020) In: Hofstedt P, Abreu S, John U, Kuchen H, Seipel D (eds.), Declarative Programming and Knowledge Management, 199-214. . Research article (book contribution) | Peer reviewed | Published | |
Dageförde Jan C., Kuchen Herbert (2020) In: (eds.), . (kein Verlag angegeben). Research article in edited proceedings (conference) | Peer reviewed | Published | |
Dageförde, Jan C. (2020) Münster(kein Verlag angegeben). Thesis (doctoral or post-doctoral) | Published | |
Dageförde Jan C., Kuchen Herbert (2020) Münster(kein Verlag angegeben). Working paper | Published | |
: | |
In: (eds.), . | |
In: (eds.), . | Peer reviewed | |
In: (eds.), , -. | Peer reviewed |