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

Maintaining Intruder Detection Capability in a Rectangular Domain with Sensors, Evangelos Kranakis, Danny Krizanc, Flaminia L. Luccio, and Brett Smith

Link

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

Submissions from 2015

Link

Multi-Robot Foremost Coverage of Time-Varying Graphs, E. Aaron, Danny Krizanc, and E. Meyerson

Link

Declarative Compilation for Constraint Logic Programming, E. J. G. Arias, James Lipton, and J/ Mariño

Link

Monitoring the Plane with Rotating Radars, J. Czyzowicz, S. Dobrev, B. Joeris, E. Kranakis, Danny Krizanc, J. Maňuch, O. Morales-Ponce, J. Opatrny, L. Stacho, and J. Urrutia

Link

Optimal Online and Offline Algorithms for Robot-Assisted Restoration of Barrier Coverage, J. Czyzowicz, E. Kranakis, Danny Krizanc, L. Narayanan, and J. Opatrny

Link

Wireless Autonomous Robot Evacuation from Equilateral Triangles and Squares, J. Czyzowicz, E. Kranakis, Danny Krizanc, L. Narayanan, J. Opatrny, and S. Shende

Link

When Patrolmen Become Corrupted: Monitoring a Graph Using Faulty Mobile Robots, Jurek Czyzowicz, Leszek Gasieniec, Adrian Kosowski, Evangelos Kranakis, Danny Krizanc, and Najmeh Taleb

Link

Denotational cost semantics for functional languages with inductive types, Norman Danner, Daniel R. Licata, and Ramyaa Ramyaa

Link

Complexity of barrier coverage with relocatable sensors in the plane, Stefan Dobrev, Stephane Durocher, Mohsen Eftekhari, Konstantinos Georgiou, Evangelos Kranakis, Danny Krizanc, Lata Narayanan, Jaroslav Opatrny, Sunil Shende, and Jorge Urrutia

Link

Excuse me! or the courteous theatregoers' problem, Konstantinos Georgiou, Evangelos Kranakis, and Danny Krizanc

Link

Randomized Rendezvous Algorithms for Agents on a Ring with Different Speeds, E. Kranakis, Danny Krizanc, F. MacQuarrie, and S. Shende

Link

Optimization Problems in Infrastructure Security, Evangelos Kranakis and Danny Krizanc

Submissions from 2014

Link

DMVP: Foremost Waypoint Coverage of Time-Varying Graphs, E. Aaron, Danny Krizanc, and E. Meyerson

Link

Homotopical patch theory, C. Angiuli, Edward Morehouse, Daniel R. Licata, and R. Harper

Link

Accuracy and efficiency of algorithms for the demarcation of bacterial ecotypes from DNA sequence data, J. C. Francisco, Frederick M. Cohan, and Danny Krizanc

Link

Excuse Me! or The Courteous Theatregoers’ Problem, K. Georgiou, E. Kranakis, and Danny Krizanc

Link

Fun with Algorithms, E. Kranakis, Danny Krizanc, and K. Luccio

Link

Eilenberg-MacLane spaces in homotopy type theory, Daniel R. Licata and E. Finster

Link

Assessment of MS/MS Search Algorithms with Parent-Protein Profiling, M. S. Lin, J. J. Cherny, C. T. Fournier, S. J. Roth, Danny Krizanc, and Michael P. Weir

Submissions from 2013

Link

Asymptotic Number of Hairpins of Saturated RNA Secondary Structures, P. Clote, E. Kranakis, and Danny Krizanc

Link

Asymptotic structural properties of quasi-random saturated structures of RNA, P. Clote, E. Kranakis, and Danny Krizanc

Link

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

Link

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

Link

Speedy speciation in a bacterial microcosm: new species can arise as frequently as adaptations within a species, A. F. Koeppel, J. O. Wertheim, L. Barone, N. Gentile, Danny Krizanc, and Frederick M. Cohan

Link

Enhancing Data Integrity and Privacy in the Cloud: An Agenda, D. S. L. Wei, S. Murugesan, S. Kuo, K. Naik, and Danny Krizanc

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

Link

Effectiveness and detection of denial-of-service attacks in tor, Norman Danner, S. Defabbia-Kane, Danny Krizanc, and M. Liberatore

Link

Approximating the Edge Length of 2-Edge Connected Planar Geometric Graphs on a Set of Points, S. Dobrev, E. Kranakis, Danny Krizanc, O. Morales-Ponce, and L. Stacho

Link

Strong Connectivity In Sensor Networks With Given Number Of Directional Antennae Of Bounded Angle, S. Dobrev, E. Kranakis, Danny Krizanc, J. Opatrny, O. Morales-Ponce, and L. Sacho

Link

Amino Termini of Many Yeast Proteins Map to Downstream Start Codons, C. F. Fournier, J. J. Cherny, K. Truncali, A. Robbins-Pianka, M. S. Lin, Danny Krizanc, and Michael P. Weir

Link

The Complexity of Minor-Ancestral Graph Properties with Forbidden Pairs, E. Fox-Epstein and Danny Krizanc

Link

Demarcation of bacterial ecotypes from DNA sequence data: A comparative analysis of four algorithms, J. C. Francisco, Frederick M. Cohan, and Danny Krizanc

Link

Maintaining Privacy on a Line, E. Kranakis and Danny Krizanc

Link

Optimizing Data Throughput In Client/Server Systems By Keeping Queue Sizes Balanced, E. Kranakis, Danny Krizanc, I. Lambadaris, L. Narayanan, and J. Opatrny

Link

Fun with Algorithms, E. Kranakis, Danny Krizanc, and F. Luccio

Submissions from 2011

Link

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

Submissions from 2010

Link

Bounded Length, 2-Edge Augmentation of Geometric Planar Graphs, E. Kranakis, Danny Krizanc, O. M. Ponce, and L. Stacho

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