Fingerprint

Dive into the research topics where Clemens Kupke is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
  • Dual adjunction between Ω-automata and Wilke algebra quotients

    Chernev, A., Hansen, H. H. & Kupke, C., 22 Nov 2024, Theoretical Aspects of Computing – ICTAC 2024: 21st International Colloquium, Proceedings. Anutariya, C. & Bonsangue, M. M. (eds.). Cham, Switzerland: Springer, p. 96-113 18 p. (Lecture Notes in Computer Science; vol. 15373).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book

    Open Access
    File
  • A categorical approach to coalgebraic fixpoint logic

    Schoen, E., Kupke, C., Rot, J. & Turkenburg, R., Aug 2024, Coalgebraic Methods in Computer Science - 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Proceedings. König, B. & Urbat, H. (eds.). Springer Science and Business Media Deutschland GmbH, p. 23-43 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14617 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution book