Projects per year
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
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Dive into details
Select a country/territory to view shared publications and projects
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
COVER: COalgebraic Foundations for Quantitative VERification
1/11/20 → 31/10/23
Size measures and alphabetic equivalence in the μ-calculusKupke, 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 bookOpen AccessFile3 Downloads (Pure)
Coalgebraic reasoning with global assumptions in arithmetic modal logicsKupke, 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-reviewOpen AccessFile5 Downloads (Pure)
- 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 2019
Activity: Participating in or organising an event types › Organiser of special symposia