Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
7 links
Yde Venema
Researcher
PaperGeneralized powerlocales via relation liftingAuthorship / preprint / 2012PaperCompleteness of Flat Coalgebraic Fixpoint LogicsAuthorship / preprint / 2016PaperWeak MSO: Automata and Expressiveness Modulo BisimilarityAuthorship / preprint / 2014PaperMonadic Second-Order Logic and Bisimulation Invariance for CoalgebrasAuthorship / preprint / 2015PaperExpressiveness of the modal mu-calculus on monotone neighborhood structuresAuthorship / preprint / 2015PaperUniform Interpolation for Coalgebraic Fixpoint LogicAuthorship / preprint / 2015PaperCompleteness for the coalgebraic cover modalityAuthorship / preprint / 2012