Follow

Submissions from 2017

Link

Different Speeds Suffice for Rendezvous of Two Agents on Arbitrary Graphs, Danny Krizanc

Link

Constraint Logic Programming with a Relational Machine, James Lipton

Submissions from 2016

Link

Distributed Algorithms for Barrier Coverage Using Relocatable Sensors, Danny Krizanc

Link

Encoding 2D Range Maximum Queries, Danny Krizanc

Link

Know When to Persist: Deriving Value from a Stream Buffer, Danny Krizanc

Link

Reconstructing Cactus Graphs from Shortest Path Information, Danny Krizanc

PDF

Search on a Line by Byzantine Robots, Danny Krizanc

Link

Search on a Line with Faulty Robots, Danny Krizanc

Submissions from 2013

Link

A static cost analysis for a higher-order language, Norman Danner, Jennifer Lynn Paykin, and James S. Royer

Submissions from 2012

Link

Effectiveness and detection of denial of service attacks in Tor, Norman Danner, Samuel P. DeFabbia-Kane, Danny Krizanc, and Marc Liberatore

Submissions from 2011

Link

Simulation of circuit creation in Tor: Preliminary results, William Higginson Branin Boyd, Norman Danner, and Danny Krizanc

Submissions from 2009

Link

Two algorithms in search of a type system, Norman Danner and James S. Royer

Submissions from 2007

Link

Adventures in time and space, Norman Danner and James S. Royer

Link

Circuit principles and weak pigeonhole variants, Chris Pollett and Norman Danner

Submissions from 2006

Link

Adventures in time and space, Norman Danner and James S. Royer

Submissions from 1999

Link

Stratified polymorphism and primitive recursion, Norman Danner and Daniel Leivant