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
8 links
Daniel Gebler
Researcher
PaperCompositionality of Approximate Bisimulation for Probabilistic SystemsAuthorship / preprint / 2013PaperAlgebraic Meta-Theory of Processes with DataAuthorship / preprint / 2013PaperFixed-point Characterization of Compositionality Properties of Probabilistic Processes CombinatorsAuthorship / preprint / 2014PaperProceedings Combined 23rd International Workshop on Expressiveness in Concurrency and 13th Workshop on Structural Operational SemanticsAuthorship / preprint / 2016PaperTree rules in probabilistic transition system specifications with negative and quantitative premisesAuthorship / preprint / 2012PaperLogical Characterization of Bisimulation MetricsAuthorship / preprint / 2016PaperSOS rule formats for convex and abstract probabilistic bisimulationsAuthorship / preprint / 2015PaperModal Characterisations of Behavioural PseudometricsAuthorship / preprint / 2015