Clemens Kupke

Dr

  • United Kingdom

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.

  • 5 Similar Profiles

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

Projects

Research Output

Compositional Game Theory, compositionally

Atkey, R., Gavranović, B., Ghani, N., Kupke, C., Ledent, J. & Nordvall Forsberg, F., 6 Jul 2020. 27 p.

Research output: Contribution to conferencePaper

Open Access
File
  • 3 Downloads (Pure)

    Expressive logics for coinductive predicates

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

    Research output: Contribution to conferencePaper

    Open Access
    File
  • 6 Downloads (Pure)

    Activities

    • 1 Organiser of special symposia

    Scottish Programming Languages and Verification Summer School 2019

    Fredrik Nordvall Forsberg (Organiser), Clemens Kupke (Organiser) & Bob Atkey (Organiser)

    5 Aug 20199 Aug 2019

    Activity: Participating in or organising an event typesOrganiser of special symposia