pith. sign in

Norman Danner

Identifiers

  • name variant Norman Danner 0.60 · backfill

Papers (7)

  1. Denotational cost semantics for functional languages with inductive types cs.PL · 2015 · author #1
  2. Ramified Structural Recursion and Corecursion cs.LO · 2012 · author #1
  3. Effectiveness and detection of denial of service attacks in Tor cs.CR · 2011 · author #1
  4. Two algorithms in search of a type system cs.LO · 2007 · author #1
  5. Time-complexity semantics for feasible affine recursions (extended abstract) cs.LO · 2007 · author #1
  6. Adventures in time and space cs.LO · 2006 · author #1
  7. The weak pigeonhole principle for function classes in S^1_2 cs.LO · 2006 · author #1

Mentions

  • 1506.01949 #1 · backfill · confidence 0.70 Norman Danner
  • 1201.4567 #1 · backfill · confidence 0.70 Norman Danner
  • 1110.5395 #1 · backfill · confidence 0.70 Norman Danner
  • 0710.0824 #1 · backfill · confidence 0.70 Norman Danner

Frequent Coauthors