| SYMMETRY REDUCTION IN AM/GM-BASED OPTIMIZATION | 0 | 0.34 | 2022 |
| Irreducible infeasible subsystems of semidefinite systems | 1 | 0.35 | 2019 |
| Imaginary projections of polynomials. | 0 | 0.34 | 2019 |
| Mixed Ehrhart polynomials | 1 | 0.48 | 2017 |
| Sum of Squares Certificates for Containment of H-Polytopes in V-Polytopes. | 0 | 0.34 | 2016 |
| Algorithms and Effectivity in Tropical Mathematics and Beyond (Dagstuhl Seminar 16482). | 0 | 0.34 | 2016 |
| A Semidefinite Hierarchy for Containment of Spectrahedra | 1 | 0.40 | 2015 |
| Approximating amoebas and coamoebas by sums of squares. | 2 | 0.77 | 2015 |
| Containment Problems for Polytopes and Spectrahedra. | 4 | 0.52 | 2013 |
| Determining a Rotation of a Tetrahedron from a Projection | 0 | 0.34 | 2012 |
| Exploiting Symmetries in SDP-Relaxations for Polynomial Optimization | 3 | 0.37 | 2011 |
| Mixed volume techniques for embeddings of Laman graphs | 12 | 1.08 | 2010 |
| Combinatorics and Genus of Tropical Intersections and Ehrhart Theory | 5 | 0.95 | 2010 |
| Enumerating the Nash equilibria of rank 1-games | 2 | 0.39 | 2007 |
| On the frontiers of polynomial computations in tropical geometry | 7 | 0.98 | 2006 |
| Exact analysis of optimal configurations in radii computations | 0 | 0.34 | 2005 |
| Algebraic Methods for Computing Smallest Enclosing and Circumscribing Cylinders of Simplices | 6 | 0.71 | 2002 |
| An Enumerative Geometry Framework for Algorithmic Line Problems in $\mathbb R^3$ | 5 | 0.78 | 2002 |
| Homotopy techniques for real-time visualization of geometric tangent problems | 0 | 0.34 | 2002 |
| Common Transversals and Tangents to Two Lines and Two Quadrics in P | 6 | 0.57 | 2002 |
| Computing Amoebas. | 0 | 0.34 | 2002 |
| Visibility Computations: From Discrete Algorithms to Real Algebraic Geometry | 6 | 0.72 | 2001 |
| Common Tangents to Four Unit Balls in R3 | 21 | 2.05 | 2001 |
| Linear Sifting Of Decision Diagrams And Its Application In Synthesis | 4 | 0.50 | 2000 |
| Ordered Binary Decision Diagrams and Their Significance in Computer-Aided Design of VLSI Circuits - a Survey | 2 | 0.37 | 1998 |
| Ordered Binary Decision Diagrams and their Significance in Computer-Aided Design of VLSI Circuits. | 2 | 0.37 | 1998 |
| Geordnete binäre Entscheidungsgraphen und ihre Bedeutung im rechnergestützten Entwurf hochintegrierter Schaltkreise. | 0 | 0.34 | 1997 |
| On the Influence of the State Encoding on OBDD-Representations of Finite State Machines | 5 | 0.51 | 1997 |
| Linear sifting of decision diagrams | 22 | 1.27 | 1996 |
| Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines | 13 | 0.83 | 1996 |
| How to Break Shamir's Asymmetric Basis | 6 | 1.10 | 1995 |
