The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Clemens Kupke" ( http://dblp.L3S.de/Authors/Clemens_Kupke )

URL (Homepage):  https://personal.cis.strath.ac.uk/clemens.kupke/  Author page on DBLP  Author page in RDF  Community of Clemens Kupke in ASPL-2

Publication years (Num. hits)
2003-2009 (17) 2010-2013 (16) 2014-2018 (15) 2019 (4)
Publication types (Num. hits)
article(22) inproceedings(29) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 2 occurrences of 2 keywords

Results
Found 53 publication records. Showing 52 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Simone Barlocco, Clemens Kupke, Jurriaan Rot Coalgebra Learning via Duality. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema Completeness for Game Logic. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
1Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema Completeness for Game Logic. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Simone Barlocco, Clemens Kupke, Jurriaan Rot Coalgebra Learning via Duality. Search on Bibsonomy FoSSaCS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Neil Ghani, Clemens Kupke, Alasdair Lambert, Fredrik Nordvall Forsberg A compositional treatment of iterated open games. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Clemens Kupke Coalgebraic Logics & Duality. Search on Bibsonomy CMCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Simone Barlocco, Clemens Kupke Angluin Learning via Logic. Search on Bibsonomy LFCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Neil Ghani, Clemens Kupke, Alasdair Lambert, Fredrik Nordvall Forsberg A Compositional Treatment of Iterated Open Games. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema Parity Games and Automata for Game Logic (Extended Version). Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
1Helle Hvid Hansen, Clemens Kupke, Jan Rutten Stream Differential Equations: Specification Formats and Solution Methods. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema Parity Games and Automata for Game Logic. Search on Bibsonomy DALI@TABLEAUX The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Nick Bezhanishvili, Clemens Kupke Games for Topological Fixpoint Logic. Search on Bibsonomy GandALF The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Helle Hvid Hansen, Clemens Kupke Weak Completeness of Coalgebraic Dynamic Logics. Search on Bibsonomy FICS The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Clemens Kupke, Dirk Pattinson, Lutz Schröder Reasoning with Global Assumptions in Arithmetic Modal Logics. Search on Bibsonomy FCT The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Martin Aher, Daniel Hole, Emil Jerábek, Clemens Kupke (eds.) Logic, Language, and Computation - 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers Search on Bibsonomy TbiLLC The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Helle Hvid Hansen, Clemens Kupke, Jan Rutten, Joost Winter A Final Coalgebra for k-regular Sequences. Search on Bibsonomy Horizons of the Mind The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz Stable Model Semantics for Guarded Existential Rules and Description Logics. Search on Bibsonomy KR The full citation details ... 2014 DBLP  BibTeX  RDF
1Helle Hvid Hansen, Clemens Kupke, Raul Andres Leal Strong Completeness for Iteration-Free Coalgebraic Dynamic Logics. Search on Bibsonomy IFIP TCS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang Acyclicity Notions for Existential Rules and Their Application to Query Answering in Ontologies. Search on Bibsonomy J. Artif. Intell. Res. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1André Hernich, Clemens Kupke, Thomas Lukasiewicz, Georg Gottlob Well-founded semantics for extended datalog and ontological reasoning. Search on Bibsonomy PODS The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1André Hernich, Clemens Kupke, Thomas Lukasiewicz, Georg Gottlob Well-Founded Semantics for Extended Datalog and Ontological Reasoning. Search on Bibsonomy Description Logics The full citation details ... 2013 DBLP  BibTeX  RDF
1Clemens Kupke, Alexander Kurz 0001, Yde Venema Completeness for the coalgebraic cover modality Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Nick Bezhanishvili, Clemens Kupke, Prakash Panangaden Minimization via Duality. Search on Bibsonomy WoLLIC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Clemens Kupke, Jan J. M. M. Rutten On the Final Coalgebra of Automatic Sequences. Search on Bibsonomy Logic and Program Semantics The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz Equality-Friendly Well-Founded Semantics and Applications to Description Logics. Search on Bibsonomy AAAI The full citation details ... 2012 DBLP  BibTeX  RDF
1Bernardo Cuenca Grau, Ian Horrocks, Markus Krötzsch, Clemens Kupke, Despoina Magka, Boris Motik, Zhe Wang Acyclicity Conditions and their Application to Query Answering in Description Logics. Search on Bibsonomy KR The full citation details ... 2012 DBLP  BibTeX  RDF
1Georg Gottlob, André Hernich, Clemens Kupke, Thomas Lukasiewicz Equality-Friendly Well-Founded Semantics and Applications to Description Logics. Search on Bibsonomy Description Logics The full citation details ... 2012 DBLP  BibTeX  RDF
1Clemens Kupke, Dirk Pattinson Coalgebraic semantics of modal logics: An overview. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Corina Cîrstea, Clemens Kupke, Dirk Pattinson EXPTIME Tableaux for the Coalgebraic mu-Calculus Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Clemens Kupke, Jan J. M. M. Rutten Complete sets of cooperations. Search on Bibsonomy Inf. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jirí Adámek, Clemens Kupke Preface. Search on Bibsonomy Inf. Comput. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Rajeev Goré, Clemens Kupke, Dirk Pattinson, Lutz Schröder Global Caching for Coalgebraic Description Logics. Search on Bibsonomy IJCAR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Clemens Kupke, Dirk Pattinson On Modal Logics of Linear Inequalities. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2010 DBLP  BibTeX  RDF
1Rajeev Goré, Clemens Kupke, Dirk Pattinson Optimal Tableau Algorithms for Coalgebraic Logics. Search on Bibsonomy TACAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Helle Hvid Hansen, Clemens Kupke, Eric Pacuit Neighbourhood Structures: Bisimilarity and Basic Model Theory Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2009 DBLP  BibTeX  RDF
1Clemens Kupke, Raul Andres Leal Characterising Behavioural Equivalence: Three Sides of One Coin. Search on Bibsonomy CALCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Corina Cîrstea, Clemens Kupke, Dirk Pattinson EXPTIME Tableaux for the Coalgebraic µ-Calculus. Search on Bibsonomy CSL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Lutz Schröder, Dirk Pattinson, Clemens Kupke Nominals for Everyone. Search on Bibsonomy IJCAI The full citation details ... 2009 DBLP  BibTeX  RDF
1Jirí Adámek, Clemens Kupke Preface. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Clemens Kupke, Jan J. M. M. Rutten Observational Coalgebras and Complete Sets of Co-operations. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Clemens Kupke, Yde Venema Coalgebraic Automata Theory: Basic Results Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Clemens Kupke, Yde Venema Coalgebraic Automata Theory: Basic Results. Search on Bibsonomy Logical Methods in Computer Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Clemens Kupke, Alexander Kurz 0001, Yde Venema Completeness of the finitary Moss logic. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2008 DBLP  BibTeX  RDF
1Helle Hvid Hansen, Clemens Kupke, Eric Pacuit Bisimulation for Neighbourhood Structures. Search on Bibsonomy CALCO The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Neighbourhood semantics, non-normal modal logic, behavioural equivalence, invariance, bisimulation
1Clemens Kupke Terminal Sequence Induction via Games. Search on Bibsonomy TbiLLC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Clemens Kupke, Yde Venema Closure Properties of Coalgebra Automata. Search on Bibsonomy LICS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Clemens Kupke, Alexander Kurz 0001, Dirk Pattinson Ultrafilter Extensions for Coalgebras. Search on Bibsonomy CALCO The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Clemens Kupke, Alexander Kurz 0001, Dirk Pattinson Algebraic Semantics for Coalgebraic Logics. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Helle Hvid Hansen, Clemens Kupke A Coalgebraic Perspective on Monotone Modal Logic. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Clemens Kupke, Alexander Kurz 0001, Yde Venema Stone coalgebras. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Clemens Kupke, Alexander Kurz 0001, Yde Venema Stone Coalgebras. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #52 of 52 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license