Follow

Submissions from 2017

Link

Constraint Logic Programming with a Relational Machine, Emilio Jesús Gallego Arias, James Lipton, and Julio Mariño

Link

Different Speeds Suffice for Rendezvous of Two Agents on Arbitrary Graphs, Evangelos Kranakis, Danny Krizanc, Euripides Markou, Aris Pagourtzis, and Felipe Ramírez

Submissions from 2016

PDF

Search on a Line by Byzantine Robots, Jurek Czyzowicz, Konstantinos Georgiou, Evangelos Kranakis, Danny Krizanc, Lata Narayanan, Jaroslav Opatrny, and Sunil Shende

Link

Search on a Line with Faulty Robots, Jurek Czyzowicz, Evangelos Kranakis, Danny Krizanc, Lata Narayanan, and Jaroslav Opatrny

Link

Distributed Algorithms for Barrier Coverage Using Relocatable Sensors, Mohsen Eftekhari, Evangelos Kranakis, Danny Krizanc, Oscar Morales-Ponce, Lata Narayanan, Jaroslav Opatrny, and Sunil Shende

Link

Know When to Persist: Deriving Value from a Stream Buffer, Konstantinos Georgiou, George Karakostas, Evangelos Kranakis, and Danny Krizanc

Link

Encoding 2D Range Maximum Queries, Mordecai Golin, John Iacono, Danny Krizanc, Rajeev Raman, Srinivasa Rao Satti, and Sunil Shende

Link

Reconstructing Cactus Graphs from Shortest Path Information, Evangelos Kranakis, Danny Krizanc, and Yun Lu

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