Didier Henrion
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2005–2018
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ISSAC | Exact Algorithms for Semidefinite Programs with Degenerate Feasible Set. | Didier Henrion, Simone Naldi, Mohab Safey El Din |
| 2018 | LPAR | Experiments in Verification of Linear Model Predictive Control: Automatic Generation and Formal Verification of an Interior Point Method Algorithm. | Guillaume Davy, Eric Feron, Pierre-Loc Garoche, Didier Henrion |
| 2015 | ISSAC | Real Root Finding for Rank Defects in Linear Hankel Matrices. | Didier Henrion, Simone Naldi, Mohab Safey El Din |
| 2014 | ACCV | Stable Radial Distortion Calibration by Polynomial Matrix Inequalities Programming. | Jan Heller, Didier Henrion, Toms Pajdla |
| 2014 | ICRA | Hand-eye and robot-world calibration by global polynomial optimization. | Jan Heller, Didier Henrion, Toms Pajdla |
| 2008 | ISSAC | Plane geometry and convexity of polynomial stability regions. | Didier Henrion, Michael Sebek |
| 2005 | ICCV | Globally Optimal Estimates for Geometric Reconstruction Problems. | Fredrik Kahl, Didier Henrion |