Dr Clemens Kupke

Lecturer

Computer and Information Sciences

Publications

Stream differential equations : specification formats and solution methods
Hansen Helle Hvid, Kupke Clemens, Rutten Jan
Logical Methods in Computer Science, pp. 1-52, (2016)
Games for topological fixpoint logic
Bezhanishvili Nick, Kupke Clemens
Proceedings of the Seventh International Symposium on Games, Automata, Logics, and Formal Verification, pp. 1-15, (2016)
Weak completeness of coalgebraic dynamic logics
Hansen Helle Hvid, Kupke Clemens
Proceedings Tenth International Workshop on Fixed Points in Computer Science, pp. 90-104, (2015)
http://dx.doi.org/10.4204/EPTCS.191.9
Reasoning with global assumptions in arithmetic modal logics
Kupke Clemens, Pattinson Dirk, Schröder Lutz
20th International Symposium on Fundamentals of Computation Theory, pp. 367-380, (2015)
http://dx.doi.org/10.1007/978-3-319-22177-9_28
Strong completeness for iteration-free coalgebraic dynamic logics
Kupke Clemens, Hansen Helle Hvid, Leal Raul Andres
Theoretical Computer ScienceLecture Notes in Computer Science Vol 8705, pp. 281-295, (2014)
http://dx.doi.org/10.1007/978-3-662-44602-7_22
Stable model semantics for guarded existential rules and description logics
Gottlob Georg, Hernich Andre, Kupke Clemens, Lukasiewicz Thomas
Principles of Knowledge Representation and Reasoning, pp. 258−267, (2014)

more publications

Address

Computer and Information Sciences
Livingstone Tower

Location Map

View University of Strathclyde in a larger map