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.
- 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
- 3 Finished
KTP - Symphonic Software
Symphonic Software Ltd, KTP Govt (Momenta)
6/02/17 → 5/02/19
Project: Research
Coalgebraic Foundations of Semi-Structured Data (EPSRC First Grant)
EPSRC (Engineering and Physical Sciences Research Council)
1/02/16 → 31/01/18
Project: Research
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 proceeding › Conference 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 proceeding › Conference contribution book
Open Access
File
Acoustic waves
Semantics
Thesis
Bifibrational parametricity : from zero to two dimensions
Author: Orsanigo, F., 1 Oct 2016Supervisor: Ghani, N. (Supervisor) & Kupke, C. (Supervisor)
Student thesis: Doctoral Thesis