Norman Danner
Identifiers
- name variant Norman Danner 0.60 · backfill
Papers (7)
- Denotational cost semantics for functional languages with inductive types cs.PL · 2015 · author #1
- Ramified Structural Recursion and Corecursion cs.LO · 2012 · author #1
- Effectiveness and detection of denial of service attacks in Tor cs.CR · 2011 · author #1
- Two algorithms in search of a type system cs.LO · 2007 · author #1
- Time-complexity semantics for feasible affine recursions (extended abstract) cs.LO · 2007 · author #1
- Adventures in time and space cs.LO · 2006 · author #1
- 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
- James S. Royer 4 shared papers
- Chris Pollett 1 shared papers
- Daniel R. Licata 1 shared papers
- Danny Krizanc 1 shared papers
- Marc Liberatore 1 shared papers
- Ramyaa Ramyaa 1 shared papers
- Sam DeFabbia-Kane 1 shared papers