20082020

Research output per year

If you made any changes in Pure these will be visible here soon.

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.

  • 6 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Projects

  • Research Output

    Expressive logics for coinductive predicates

    Kupke, C. & Rot, J., 16 Jan 2020. 18 p.

    Research output: Contribution to conferencePaper

    Open Access
    File
  • 2 Downloads (Pure)

    Coalgebra learning via duality

    Barlocco, S., Kupke, C. & Rot, J., 5 Apr 2019, Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings: 22nd International Conference, FOSSACS 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019 Prague, Czech Republic, April 6–11, 2019 Proceedings. Bojańczyk, M. & Simpson, A. (eds.). Cham, Switzerland: Springer, p. 62-79 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11425 LNCS).

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

    Open Access
    File
  • 2 Citations (Scopus)
    6 Downloads (Pure)

    Thesis

    Bifibrational parametricity : from zero to two dimensions

    Author: Orsanigo, F., 27 Jan 2017

    Supervisor: Ghani, N. (Supervisor) & Kupke, C. (Supervisor)

    Student thesis: Doctoral Thesis