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
Semantics Engineering & Materials Science
Logic Mathematics
Modal Logic Mathematics
Fixpoint Mathematics
Computability and decidability Engineering & Materials Science
Game Mathematics
μ-calculus Mathematics
Automata Mathematics

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

Projects 2014 2019

Query languages
Ontology
Data structures
Logic programming
XML

Research Output 2008 2019

Coalgebra learning via duality

Barlocco, S., Kupke, C. & Rot, J., 5 Apr 2019, Foundations of Software Science and Computation Structures - 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings: 22nd International Conference, FOSSACS 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019 Prague, Czech Republic, April 6–11, 2019 Proceedings. Bojańczyk, M. & Simpson, A. (eds.). Cham, Switzerland: Springer, p. 62-79 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11425 LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Open Access
File
Learning algorithms

Completeness for game logic

Enqvist, S., Hansen, H. H., Kupke, C., Venema, Y. & Marti, J., 28 Mar 2019, (Accepted/In press) Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019. 23 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

Open Access
File
Acoustic waves
Semantics

Thesis

Bifibrational parametricity : from zero to two dimensions

Author: Orsanigo, F., 1 Oct 2016

Supervisor: Ghani, N. (Supervisor) & Kupke, C. (Supervisor)

Student thesis: Doctoral Thesis