Part of the Computer Sciences Commons
Two algorithms in search of a type system, Norman Danner, James Royer Norman Danner
Link
A static cost analysis for a higher-order language, Norman Danner, Jennifer Paykin, James Royer Norman Danner
Effectiveness and detection of denial of service attacks in Tor, Norman Danner, Samuel DeFabbia-Kane, Danny Krizanc, Marc Liberatore Norman Danner
Simulation of circuit creation in Tor: Preliminary results, William Boyd, Norman Danner, Danny Krizanc Norman Danner
Circuit principles and weak pigeonhole variants, Chris Pollett, Norman Danner Norman Danner
Adventures in time and space, Norman Danner, James Royer Norman Danner
Stratified polymorphism and primitive recursion, Norman Danner, Daniel Leivant Norman Danner
Two algorithms in search of a type system, Norman Danner, James S. Royer Norman Danner
Ramified structural recursion and corecursion, Norman Danner, James Royer Norman Danner
Detecting denial of service attacks in Tor, Norman Danner, Danny Krizanc, Marc Liberatore Norman Danner
Advanced Search