INSTRUCTIONS: If you click a paper title, the abstract and bibtex citation will appear in a separate browser window. Click in that window to download a paper. The list is in roughly in reverse chronological order. My older papers will be put here eventually. For a more complete list, go directly to the ftp site.

• Lower Bounds for Zero-Dimensional Projections (2009, with Dale Brownawell)
• Adaptive Approximation of Nonsingular Curves: the Parametrizability and Nonlocal Isotopy Approach (2009, with Long Lin)
• Foundations of Exact Rounding (2009, with Jihun Yu)
• A Real Elementary Approach to the Master Recurrence and Generalizations (2008)
• Complete Subdivision Algorithms, II: Isotopic Meshing of Singular Algebraic Curves (2008, with Michael Burr, Sungwoo Choi and Ben Galehouse)
• Integral Analysis of Evaluation-Based Real Root Isolation (2008, with Michael Burr and Felix Krahmer)
• Complete Numerical Isolationof Real Zeros in General Triangular Systems (2007, with Jinsan Cheng and Xiao-shan Gao)
• Theory of Real Computation according to EGC (2007)
• Dynamic Map Labeling (2006, with Eli Daiches and Ken Been)
• Decidability of Collision between a Helical Motion and an Algebraic Motion (2006, with Sung Woo Choi, Sung-il Pae, Hyungju Park)
• Is it Really Zero? (2006)
• Absolute Approximation of the General Hypergeometric Function (2005, with Zilin Du)
• Sharp Amortized Bounds for Descartes and de Casteljau's Methods for Real Root Isolation (2006, with Arno Eigenwillig and Vikram Sharma)
• Robust Approximate Zeros (2005, with Vikram Sharma)
• Amortized Bounds For Root Isolation Via Sturm Sequences (2005, with Zilin Du and Vikram Sharma)
• Complete Subdivision Algorithms, I: Intersecting Bezier Curves (2005)
• Shortest Path amidst Disc Obstacles is Computable (2005, with E.C.Chang, Sungwoo Choi, DoYong Kwon and Hyungju Park)
• Classroom Examples of Robustness Problems in Geometric Computations (2004, with Lutz Kettner Kurt Mehlhorn, Sylvain Pion, Stefan Schirra)
• On Guaranteed Accuracy Computation (2004)
• Robust Geometric Computation (CRC Handbook Survey) (2004)
• Constructive Root Bound Method for k-Ary Rational Input Numbers (2003, with Sylvain Pion)
• A Responsive Architecture for Thinwire Visualization (2002, with Ken Been)
• Hypergeometric Functions in Exact Geometric Computation (2002, with Z. Du, M. Eleftheriou and J. Moreira)
• Pseudo Approximation Algorithms, with Applications to Optimal Motion Planning (2002, with T. Asano and D. Kirkpatrick)
• A Different Manhattan Project: Automatic Statistical Model Generation (2001, with H.Biermann and A. Hertzman and C. Li and J. Meyer and H.K. Pao and Toto Paxia)
• Responsive Thinwire Visualization: Application to Large Geographic Datasets (2001, with K. Been and Z. Du)
• Competitive Online Scheduling with Level of Service (2000, with E.C. Chang)
• New Constructive Root Bound for Algebraic Expressions (2000, with C.Li)
• Randomized Zero Testing of Radical Expressions and Elementary Geometry Theorem Proving (2000, with D.Tulone and C.Li)
• Universal Construction for the FKS Scheme (2000)
• Wavelet Foveation (1999, with E.C.Chang and S.Mallat)
• A Core Library For Robust Numeric and Geometric Computation (1998, with V. Karamcheti, C. Li and I. Pechtchanski)
• A New Number Core for Robust Numerical and Geometric Libraries (1998)
• Realtime Visualization of Large Images over a Thinwire (with E.C.Chang and T.-J.Yen)
• Roundness Classification (with K.Mehlhorn and T.C.Shermer)
• A Wavelet Approach to Foveating Images (1997, with E.C.Chang)
• A Simultaneous Search Problem (1996, with E.C.Chang)
• Issues in the Metrology of Geometric Tolerancing (with E.C.Chang)
• Smallest Enclosing Cylinders (with E. Schoemer, J. Sellen and M. Teichmann)
• Probing for Near-Centers and Estimating Relative Roundness (with T.Shermer)
• Exact Computational Geometry and Tolerancing Metrology
• NSF Workshop on Manufacturing and Computational Geometry
• Rectilinear geodesics in $3$-Space (with J.S.Choi)
• Precision-sensitive Euclidean Shortest Path in $3$-Space (with J.S.Choi and J.Sellen)
• Approximate {E}uclidean shortest path in 3-space (with J.S.Choi and J.Sellen)
• A Basis for Implementing Exact Geometric Algorithms (extended abstract)(with T.Dub\'e)
• The Exact Computation Paradigm (with T.Dub\'e)
• Towards Exact Geometric Computation
• A new lower bound construction for commutative Thue systems, with applications
• A Unified Approach to HGCD Algorithms for polynomials and integers (with K. Thull)
• Minimal circumscribing simplices (with G. Vegter)
• Admissible Orderings and Bounds for Groebner Basis Normal Form Algorithm (with T.Dub\'e and B.Mishra)
• Some Consequences of Non-Uniform Conditions on Uniform Classes (1983)