BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Clemens Kupke
SearchCollections
Map detail
Clemens Kupke10 visible / 10 total nodes / 9 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipClemens KupkeAClemens KupkeResearcherCompleteness for the coalgebraic cover modalityWCompleteness for the co...preprint / 2012Compositional Game Theory with Mixed Strategies: Probabilistic Open Games Using a Distributive LawWCompositional Game Theo...preprint / 2020Neighbourhood Structures: Bisimilarity and Basic Model TheoryWNeighbourhood Structure...preprint / 2009Weak Completeness of Coalgebraic Dynamic LogicsWWeak Completeness of Co...preprint / 2015Games for Topological Fixpoint LogicWGames for Topological F...preprint / 2016EXPTIME Tableaux for the Coalgebraic mu-CalculusWEXPTIME Tableaux for th...preprint / 2011Compositional Game Theory, CompositionallyWCompositional Game Theo...preprint / 2021Acyclicity Notions for Existential Rules and Their Application to Query Answering in OntologiesWAcyclicity Notions for ...preprint / 2014Minimisation in Logical FormWMinimisation in Logical...preprint / 2020
Person9 links

Clemens Kupke

Researcher

PaperCompleteness for the coalgebraic cover modalityAuthorship / preprint / 2012PaperCompositional Game Theory with Mixed Strategies: Probabilistic Open Games Using a Distributive LawAuthorship / preprint / 2020PaperNeighbourhood Structures: Bisimilarity and Basic Model TheoryAuthorship / preprint / 2009PaperWeak Completeness of Coalgebraic Dynamic LogicsAuthorship / preprint / 2015PaperGames for Topological Fixpoint LogicAuthorship / preprint / 2016PaperEXPTIME Tableaux for the Coalgebraic mu-CalculusAuthorship / preprint / 2011PaperCompositional Game Theory, CompositionallyAuthorship / preprint / 2021PaperAcyclicity Notions for Existential Rules and Their Application to Query Answering in OntologiesAuthorship / preprint / 2014

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)