Projects per year
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 or
Projects
-
-
KTP - Symphonic Software
Symphonic Software Ltd, KTP Govt (Momenta)
6/02/17 → 5/02/19
Project: Research
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 conference › Paper › peer-review
Open AccessFile19 Downloads (Pure) -
Expressive logics for coinductive predicates
Kupke, C. & Rot, J., 16 Jan 2020, 28th EACSL Annual Conference on Computer Science Logic (CSL 2020). Fernandez, M. & Muscholl, A. (eds.). Dagstuhl, Germany, Vol. 152. p. 26:1--26:18 18 p. 26Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book
Open AccessFile
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 2019 → 9 Aug 2019Activity: Participating in or organising an event types › Organiser of special symposia