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
-
-
Size measures and alphabetic equivalence in the μ-calculus
Kupke, C., Marti, J. & Venema, Y., 5 Aug 2022, Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2022: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science. New York, NY, USA, 13 p. 18. (Proceedings - Symposium on Logic in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book
Open AccessFile3 Downloads (Pure) -
Coalgebraic reasoning with global assumptions in arithmetic modal logics
Kupke, C., Pattinson, D. & Schröder, L., 30 Apr 2022, In: ACM Transactions on Computational Logic. 23, 2, p. 1-34 34 p., 11.Research output: Contribution to journal › Article › peer-review
Open AccessFile5 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