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
Dirk Pattinson
Researcher
PaperGeneric Modal Cut Elimination Applied to Conditional LogicsAuthorship / preprint / 2011PaperNamed Models in Coalgebraic Hybrid LogicAuthorship / preprint / 2010PaperPSPACE Bounds for Rank-1 Modal LogicsAuthorship / preprint / 2007PaperCoalgebraic Weak Bisimulation from Recursive Equations over MonadsAuthorship / preprint / 2014PaperSimplified Coalgebraic Trace EquivalenceAuthorship / preprint / 2014PaperRepresentations of Stream Processors Using Nested Fixed PointsAuthorship / preprint / 2009PaperEXPTIME Tableaux for the Coalgebraic mu-CalculusAuthorship / preprint / 2011