Thorsten Theobald

ORCID

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 12

Top Venues

University of Trier, Germany (PHD)

Education History

University of Trier, Germany

PHD

Publications

Constantin Ickstadt, Thorsten Theobald, Elias P. Tsigaridas, Antonios Varvitsiotis
Semidefinite network games: multiplayer minimax and semidefinite complementarity problems. CoRR (2023)
Riley Murray, Helen Naumann, Thorsten Theobald
Sublinear circuits and the constrained signomial nonnegativity problem. Math. Program. 198 (1) (2023)
Alessandra Bernardi, Carlos D'Andrea, Thorsten Theobald
Foreword: Special issue of JSC on the occasion of MEGA 2019. J. Symb. Comput. 109 (2022)
Constantin Ickstadt, Thorsten Theobald, Elias Tsigaridas
Semidefinite games. CoRR (2022)
Philippe Moustrou, Helen Naumann, Cordian Riener, Thorsten Theobald, Hugues Verdure
Symmetry Reduction in AM/GM-Based Optimization. SIAM J. Optim. 32 (2) (2022)
Lukas Katthän, Helen Naumann, Thorsten Theobald
A unified framework of SAGE and SONC polynomials and its duality theory. Math. Comput. 90 (329) (2021)
Thorsten Jörgens, Thorsten Theobald, Timo de Wolff
Imaginary projections of polynomials. J. Symb. Comput. 91 (2019)
Janin Heuer, Frederic Matter, Marc E. Pfetsch, Thorsten Theobald
Block-sparse Recovery of Semidefinite Systems and Generalized Null Space Conditions. CoRR (2019)
Kai Kellner, Marc E. Pfetsch, Thorsten Theobald
Irreducible Infeasible Subsystems of Semidefinite Systems. J. Optim. Theory Appl. 181 (3) (2019)
Christian Haase, Martina Juhnke-Kubitzke, Raman Sanyal, Thorsten Theobald
Mixed Ehrhart polynomials. Electron. J. Comb. 24 (1) (2017)
Stéphane Gaubert, Dima Grigoriev, Michael Joswig, Thorsten Theobald
Algorithms and Effectivity in Tropical Mathematics and Beyond (Dagstuhl Seminar 16482). Dagstuhl Reports 6 (11) (2016)
Kai Kellner, Thorsten Theobald
-Polytopes. SIAM J. Discret. Math. 30 (2) (2016)
Kai Kellner, Thorsten Theobald, Christian Trabandt
A Semidefinite Hierarchy for Containment of Spectrahedra. SIAM J. Optim. 25 (2) (2015)
Thorsten Theobald, Timo de Wolff
Approximating amoebas and coamoebas by sums of squares. Math. Comput. 84 (291) (2015)
Kai Kellner, Thorsten Theobald, Christian Trabandt
Containment Problems for Polytopes and Spectrahedra. SIAM J. Optim. 23 (2) (2013)
Cordian Riener, Thorsten Theobald, Lina Jansson Andrén, Jean B. Lasserre
Exploiting Symmetries in SDP-Relaxations for Polynomial Optimization. Math. Oper. Res. 38 (1) (2013)
Richard J. Gardner, Paolo Gronchi, Thorsten Theobald
Determining a Rotation of a Tetrahedron from a Projection. Discret. Comput. Geom. 48 (3) (2012)
Richard J. Gardner, Paolo Gronchi, Thorsten Theobald
Determining a rotation of a tetrahedron from a projection CoRR (2011)
Cordian Riener, Thorsten Theobald, Lina Jansson Andrén, Jean B. Lasserre
Exploiting symmetries in SDP-relaxations for polynomial optimization CoRR (2011)
Reinhard Steffens, Thorsten Theobald
Mixed volume techniques for embeddings of Laman graphs. Comput. Geom. 43 (2) (2010)
Reinhard Steffens, Thorsten Theobald
Combinatorics and Genus of Tropical Intersections and Ehrhart Theory. SIAM J. Discret. Math. 24 (1) (2010)
Thorsten Theobald
Enumerating the Nash equilibria of rank 1-games CoRR (2007)
Ravi Kannan, Thorsten Theobald
Games of fixed rank: a hierarchy of bimatrix games. SODA (2007)
Thorsten Theobald
On the frontiers of polynomial computations in tropical geometry. J. Symb. Comput. 41 (12) (2006)
René Brandenberg, Thorsten Theobald
Exact analysis of optimal configurations in radii computations. EuroCG (2005)
Ravi Kannan, Thorsten Theobald
Games of fixed rank: A hierarchy of bimatrix games CoRR (2005)
René Brandenberg, Thorsten Theobald
Algebraic Methods for Computing Smallest Enclosing and Circumscribing Cylinders of Simplices. Appl. Algebra Eng. Commun. Comput. 14 (6) (2004)
Gábor Megyesi, Frank Sottile, Thorsten Theobald
Common Transversals and Tangents to Two Lines and Two Quadrics in P. Discret. Comput. Geom. 30 (4) (2003)
Gábor Megyesi, Frank Sottile, Thorsten Theobald
CoRR (2002)
Thorsten Theobald
An Enumerative Geometry Framework for Algorithmic Line Problems in $\mathbb R^3$. SIAM J. Comput. 31 (4) (2002)
Daniel Kotzor, Thorsten Theobald
Homotopy techniques for real-time visualization of geometric tangent problems. SCG (2002)
Thorsten Theobald
Computing Amoebas. Exp. Math. 11 (4) (2002)
René Brandenberg, Thorsten Theobald
Algebraic methods for computing smallest enclosing and circumscribing cylinders of simplices CoRR (2002)
Christoph Meinel, Thorsten Theobald
Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines. Formal Methods Syst. Des. 18 (3) (2001)
I. G. MacDonald, János Pach, Thorsten Theobald
. Discret. Comput. Geom. 26 (1) (2001)
Thorsten Theobald
Visibility Computations: From Discrete Algorithms to Real Algebraic Geometry. Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science (2001)
Christoph Meinel, Fabio Somenzi, Thorsten Theobald
Linear sifting of decision diagrams and its application insynthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 19 (5) (2000)
Christoph Meinel, Thorsten Theobald
Ordered Binary Decision Diagrams and their Significance in Computer-Aided Design of VLSI Circuits. J. Circuits Syst. Comput. 9 (3-4) (1999)
Christoph Meinel, Thorsten Theobald
On the Influence of the State Encoding on OBDD-Representations of Finite State Machines. RAIRO Theor. Informatics Appl. 33 (1) (1999)
Christoph Meinel, Thorsten Theobald
Ordered Binary Decision Diagrams and Their Significance in Computer-Aided Design of VLSI Circuits Universität Trier, Mathematik/Informatik, Forschungsbericht (1998)
Christoph Meinel, Thorsten Theobald
Ordered Binary Decision Diagrams and Their Significance in Computer-Aided Design of VLSI Circuits - a Survey Electron. Colloquium Comput. Complex. 5 (39) (1998)
Christoph Meinel, Fabio Somenzi, Thorsten Theobald
Function Decomposition and Synthesis Using Linear Sifting. ASP-DAC (1998)
Christoph Meinel, Thorsten Theobald
Geordnete binäre Entscheidungsgraphen und ihre Bedeutung im rechnergestützten Entwurf hochintegrierter Schaltkreise. GI Jahrestagung (1997)
Christoph Meinel, Thorsten Theobald
On the Influence of the State Encoding on OBDD-Representations of Finite State Machines. MFCS (1997)
Christoph Meinel, Thorsten Theobald
Geordnete binäre Entscheidungsgraphen und ihre Bedeutung im rechnergestützten Entwurf hochintegrierter Schaltkreise. Inform. Spektrum 20 (5) (1997)
Christoph Meinel, Fabio Somenzi, Thorsten Theobald
Function Decomposition and Synthesis Using Linear Sifting Universität Trier, Mathematik/Informatik, Forschungsbericht (1997)
Christoph Meinel, Fabio Somenzi, Thorsten Theobald
Linear Sifting of Decision Diagrams. DAC (1997)
Christoph Meinel, Thorsten Theobald
Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines. FMCAD (1996)
Christoph Meinel, Thorsten Theobald
Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines Universität Trier, Mathematik/Informatik, Forschungsbericht (1996)
Thorsten Theobald, Christoph Meinel
State Encodings and OBDD-Sizes Universität Trier, Mathematik/Informatik, Forschungsbericht (1996)
Christoph Meinel, Fabio Somenzi, Thorsten Theobald
Linear Sifting of Decision Diagrams Universität Trier, Mathematik/Informatik, Forschungsbericht (1996)
Thorsten Theobald
How to Break Shamir's Asymmetric Basis. CRYPTO (1995)

Thorsten Theobald.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Thorsten Theobald