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
Norman Danner
Researcher
PaperGeneral Ramified Recurrence and Polynomial-time CompletenessAuthorship / preprint / 2022PaperRecurrence extraction and denotational semantics with recursive definitionsAuthorship / preprint / 2022PaperDenotational semantics as a foundation for cost recurrence extraction for functional languagesAuthorship / preprint / 2022PaperRamified Structural Recursion and CorecursionAuthorship / preprint / 2012PaperEffectiveness and detection of denial of service attacks in TorAuthorship / preprint / 2013PaperDenotational cost semantics for functional languages with inductive typesAuthorship / preprint / 2015PaperDenotational recurrence extraction for amortized analysisAuthorship / preprint / 2020