Publication


Recent Publications

  • Certified Approximation Algorithms for the Fermat Point and n-Ellipses
    • (with K. Junginger, I. Mantas, E. Papadopoulou and M. Suderland)
      29th ESA, Lisbon, Portugal. Sep 6--8, 2021.
  • Novel Range Functions via Taylor Expansions and Recursive Lagrange Interpolation, with application to Real Root Isolation
    • (with K.Hormann and L.Kania). 46th ISSAC, St.Petersburg, Jul 2021.
  • The D-Plus Discriminant and Bit-Complexity of Root Clustering
  • On mu-Symmetric Polynomials
  • Towards Soft Exact Computation
  • Averaging Method Revisited: An Algorithmic Approach to Studying Limit Cycles of Nonlinear Differential Systems
    • (with B.Huang) 44th ISSAC, Beihang University, Beijing. Jul 15-18, 2019.
  • Effective Subdivision Algorithm for Isolating Zeros of Real Systems of Equations, with Complexity Analysis
    • (with J.Xu) 44th ISSAC, Beihang University, Beijing. Jul 15-18, 2019.
  • SIAN: software for structural identifiability analysis of ODE models
    • (with H.Hong, A.Ovchinnikov, G.Pogudin). Bioinformatics, Systems Biology, Application Note, Jan 2019. doi:10.1093/bioinformatics/bty1069.
  • Rods and Rings: Soft Subdivision Planner for R^3 x S^2
    • (with Tom Hsu and Y.-J. Chiang) 35th SoCG, Portland, OR. Jun 18-21, 2019.
  • Soft Subdivision Motion Planning for Complex Planar Robots
    • (with B.Zhou and Y.-J. Chiang) 26th ESA, Helsinki. Aug 20-24, 2018.
  • Implementation of a Near-Optimal Complex Root Clustering Algorithm
    • (with R.Imbach and V.Pan) 6th ICMS, Notre Dame U. July 24-27, 2018.
  • An Approach for Certifying Homotopy Continuation Paths: Univariate Case
    • (with J.Xu and M.Burr) 43rd ISSAC, New York City. Jul 16-19, 2018.
  • Global Identifiability of Differential Models
    • (with H.Hong, A.Ovchinnikov, G.Pogudin). Communic. Pure & Applied Math, Vol.73, No.9, pages 1831-1879, 2020.
  • Amortized Analysis of Smooth Quadtrees in All Dimensions
    • (with Huck Bennett). CGTA Vol.63, pp.20-39. 2017.
  • A Near-Optimal Subdivision Algorithm for Complex Root Isolation based on Pellet Test and Newton Iteration
    • (with R.Becker, M.Sagraloff, V.Sharma) JSC 86, pp.51--96, 2018.
  • Certified Computation of Planar Morse-Smale Complexes
    • (with A.Chattopadhyay and G.Vegter), JSC vol.78, pp.3-40. 2017.
  • Resolution-Exact Planner for Thick Non-Crossing 2-Link Robots
    • (with Z.Luo and C.-H. Hsu) WAFR 2016, San Francisco, Dec 2016.
  • Planar Minimization Diagrams via Subdivision, with Application to Anisotropic Voronoi Diagrams
    • (with H.Bennett, E.Papadopoulou), SGP, Vol.35, No.5, Berlin. June 2016.
  • Complexity Analysis of Root Clustering for a Complex Polynomial
    • (with R.Becker, M.Sagraloff, V.Sharma, J.Xu) 41st ISSAC, Waterloo. July 2016.
      • Juan Xu won the Distinguished Female Student Award for this work.
  • Soft Subdivision Search and Motion Planning, II: Axiomatics
    • Plenary Talk, 9th FAW, July 2015. Guilin, China. LNCS Volume 9130 (pp.7--22).

Page last modified on June 26, 2021, at 01:51 PM
PmWiki/Adapt/Yap1