Follow

Submissions from 2017

PDF

Towards a Formal Verification of Courcelle's Theorem, Emily Black

PDF

Thinking Outside the Box: Verified Compilation of ML5 to JavaScript, Joomy Korkut

PDF

The Tree of Trees: on methods for finding all non-isomorphic tree-realizations of degree sequences, Samuel Alexandre Stern

PDF

An Interactive Proof Assistant for Linear Logic, Maksim Trifunovski

Submissions from 2015

Certified Cost Bounds in Agda: A Step Towards Automated Complexity Analysis, Bowornmet Hudson

PDF

The Effects of Clustering Technique on Simulation of The Tor Network, Shalisa Pattarawuttiwong

Submissions from 2014

PDF

The Dynamic Map Visitation Problem: Foremost Waypoint Coverage of Time-Varying Graphs, Elliot Keeler Meyerson

Submissions from 2013

PDF

A Model of Outbound Client Traffic on The Tor Anonymity Netw, Julian Mark Applebaum

PDF

An Improved Algorithm for Demarcating Bacterial Species, Diego Calderon

Parallelization of Ecotype Simulation, Lingyuan Ke

PDF

Identity Authentication and Secrecy in the Pi-Calculus and Prolog, Stefan Arnold Sundseth

Submissions from 2012

PDF

Automated Cost Analysis of a Higher-Order Language in Coq, Jennifer Lynn Paykin

PDF

Charming Python with Static Typing, Jeffrey Phillips Ruberg

PDF

Safe Motion Planning for Autonomous Driving, Micah James Wylde

Submissions from 2011

PDF

A Simulation of Circuit Creation in Tor, William Higginson Branin Boyd

PDF

Analyzing the Effectiveness of Passive Correlation Attacks on the Tor Anonymity Network, Samuel Padraic DeFabbia-Kane

PDF

Forbidden Pairs Make Problems Hard, Eli Simon Fox-Epstein

Submissions from 2010

PDF

Dynamical Systems-based Navigation: Modeling and Verification, Juan Pablo Mendoza

PDF

Constructing Polygonal Maps for Navigating Agents using Extracted Line Segments, Foster Nichols

Submissions from 2009

PDF

A Clustering Algorithm for Recombinant Jazz Improvisations, Jonathan Reuven Gillick

Submissions from 2008

PDF

A Simulation Study of Protein Family Degree Distribution, Bach Vu Dao

PDF

Performance Enhancement and Equivalence Criteria for Cellular Automaton-Based Tumor Simulations, Jesse Julian Farnham