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.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Maths DTP 2021/22 University of Strathclyde | Watters, Sean
Kupke, C., Nordvall Forsberg, F. & Watters, S.
EPSRC (Engineering and Physical Sciences Research Council)
1/10/21 → 1/10/25
Project: Research Studentship - Internally Allocated
-
-
Succinct graph representations of µ-calculus formulas
Kupke, C., Marti, J. & Venema, Y., 19 Feb 2022, 30th EACSL Annual Conference on Computer Science Logic, CSL 2022. Manea, F. & Simpson, A. (eds.). Dagstuhl, Germany, 18 p. 29. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 216).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book
Open AccessFile2 Downloads (Pure) -
Expressive logics for coinductive predicates
Kupke, C. & Rot, J., 15 Jul 2021, (Accepted/In press) In: Logical Methods in Computer Science. 30 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile2 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 2019 → 9 Aug 2019Activity: Participating in or organising an event types › Organiser of special symposia