Publications

(2009). Automating Voting Terminal Event Log Analysis. Proceedings of the 2009 conference on Electronic voting technology/workshop on trustworthy elections.
(2008). Modeling Time and Topology for Animation and Visualization with Examples on Parametric Geometry. Theoretical Computer Science.
(2008). The Symmetric Group Defies Strong Fourier Sampling. SIAM Journal on Computing.
(2008). Uncertainty Principles for Compact Groups. Illinois Journal of Mathematics.
(2008). Reliable Implementation of Real Number Algorithms: Theory and Practice. Springer.
(2008). Randomized Work-Competitive Scheduling for Cooperative Computing on k-partite Task Graphs. Proceedings of the 2008 Seventh IEEE International Symposium on Network Computing and Applications.
(2008). Quantum and Randomized Lower Bounds for Local Search on Vertex-Transitive Graphs. Proceedings of the 11th international workshop, APPROX 2008, and 12th international workshop, RANDOM 2008 on Approximation, Randomization and Combinatorial Optimization: Algorithms and Techniques.
(2008). Pre-Election Testing and Post-Election Audit of Optical Scan Voting Terminal Memory Cards. Proceedings of the conference on Electronic voting technology.
(2007). The Power of Strong Fourier Sampling: Quantum Algorithms for Affine Groups and Hidden Shifts. SIAM Journal on Computing.
(2007). Soft Edge Coloring. Proceedings of the 10th International Workshop on Approximation and the 11th International Workshop on Randomization, and Combinatorial Optimization. Algorithms and Techniques.