Thorsten Theobald

63 papers A* 3B 2C 1Journal 47Unranked 4

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Semidefinite Network Games: Multiplayer Minimax and Complementarity Problems. J. Optim. Theory Appl. Constantin Ickstadt, Thorsten Theobald, Elias P. Tsigaridas, Antonios Varvitsiotis
2025	J	`jnl`	Nash equilibria in semidefinite games and Lemke-Howson paths. CoRR Constantin Ickstadt, Thorsten Theobald, Elias P. Tsigaridas, Antonios Varvitsiotis
2025	J	`jnl`	Symmetric SAGE and SONC forms, exactness and quantitative gaps. J. Symb. Comput. Philippe Moustrou, Cordian Riener, Thorsten Theobald, Hugues Verdure
2024	J	`jnl`	A Stable-Set Bound and Maximal Numbers of Nash Equilibria in Bimatrix Games. CoRR Constantin Ickstadt, Thorsten Theobald, Bernhard von Stengel
2024	J	`jnl`	Semidefinite games. Int. J. Game Theory Constantin Ickstadt, Thorsten Theobald, Elias P. Tsigaridas
2023	J	`jnl`	Semidefinite network games: multiplayer minimax and semidefinite complementarity problems. CoRR Constantin Ickstadt, Thorsten Theobald, Elias P. Tsigaridas, Antonios Varvitsiotis
2023	J	`jnl`	Sublinear circuits and the constrained signomial nonnegativity problem. Math. Program. Riley Murray, Helen Naumann, Thorsten Theobald
2022	J	`jnl`	Foreword: Special issue of JSC on the occasion of MEGA 2019. J. Symb. Comput. Alessandra Bernardi, Carlos D'Andrea, Thorsten Theobald
2022	J	`jnl`	Semidefinite games. CoRR Constantin Ickstadt, Thorsten Theobald, Elias P. Tsigaridas
2022	J	`jnl`	Symmetry Reduction in AM/GM-Based Optimization. SIAM J. Optim. Philippe Moustrou, Helen Naumann, Cordian Riener, Thorsten Theobald, Hugues Verdure
2021	J	`jnl`	A unified framework of SAGE and SONC polynomials and its duality theory. Math. Comput. Lukas Katthän, Helen Naumann, Thorsten Theobald
2019	J	`jnl`	Block-sparse Recovery of Semidefinite Systems and Generalized Null Space Conditions. CoRR Janin Heuer, Frederic Matter, Marc E. Pfetsch, Thorsten Theobald
2019	J	`jnl`	Imaginary projections of polynomials. J. Symb. Comput. Thorsten Jörgens, Thorsten Theobald, Timo de Wolff
2019	J	`jnl`	Irreducible Infeasible Subsystems of Semidefinite Systems. J. Optim. Theory Appl. Kai Kellner, Marc E. Pfetsch, Thorsten Theobald
2017	J	`jnl`	Mixed Ehrhart polynomials. Electron. J. Comb. Christian Haase, Martina Juhnke-Kubitzke, Raman Sanyal, Thorsten Theobald
2016	J	`jnl`	Algorithms and Effectivity in Tropical Mathematics and Beyond (Dagstuhl Seminar 16482). Dagstuhl Reports Stéphane Gaubert, Dima Grigoriev, Michael Joswig, Thorsten Theobald
2016	—	`book`	Einführung in die computerorientierte Mathematik mit Sage. Thorsten Theobald, Sadik Iliman
2016	J	`jnl`	Sum of Squares Certificates for Containment of SIAM J. Discret. Math. Kai Kellner, Thorsten Theobald
2015	J	`jnl`	A Semidefinite Hierarchy for Containment of Spectrahedra. SIAM J. Optim. Kai Kellner, Thorsten Theobald, Christian Trabandt
2015	J	`jnl`	Approximating amoebas and coamoebas by sums of squares. Math. Comput. Thorsten Theobald, Timo de Wolff
2013	J	`jnl`	Containment Problems for Polytopes and Spectrahedra. SIAM J. Optim. Kai Kellner, Thorsten Theobald, Christian Trabandt
2013	J	`jnl`	Exploiting Symmetries in SDP-Relaxations for Polynomial Optimization. Math. Oper. Res. Cordian Riener, Thorsten Theobald, Lina Jansson Andrén, Jean B. Lasserre
2013	—	`book`	Polyhedral and Algebraic Methods in Computational Geometry. Michael Joswig, Thorsten Theobald
2012	J	`jnl`	Determining a Rotation of a Tetrahedron from a Projection. Discret. Comput. Geom. Richard J. Gardner, Paolo Gronchi, Thorsten Theobald
2011	J	`jnl`	Determining a rotation of a tetrahedron from a projection CoRR Richard J. Gardner, Paolo Gronchi, Thorsten Theobald
2011	J	`jnl`	Exploiting symmetries in SDP-relaxations for polynomial optimization CoRR Cordian Riener, Thorsten Theobald, Lina Jansson Andrén, Jean B. Lasserre
2010	J	`jnl`	Combinatorics and Genus of Tropical Intersections and Ehrhart Theory. SIAM J. Discret. Math. Reinhard Steffens, Thorsten Theobald
2010	J	`jnl`	Mixed volume techniques for embeddings of Laman graphs. Comput. Geom. Reinhard Steffens, Thorsten Theobald
2008	—	`book`	Algorithmische Geometrie - Polyedrische und algebraische Methoden. Michael Joswig, Thorsten Theobald
2007	J	`jnl`	Enumerating the Nash equilibria of rank 1-games CoRR Thorsten Theobald
2007	A*	`conf`	Games of fixed rank: a hierarchy of bimatrix games. SODA Ravi Kannan, Thorsten Theobald
2006	J	`jnl`	On the frontiers of polynomial computations in tropical geometry. J. Symb. Comput. Thorsten Theobald
2005	C	`conf`	Exact analysis of optimal configurations in radii computations. EuroCG René Brandenberg, Thorsten Theobald
2005	J	`jnl`	Games of fixed rank: A hierarchy of bimatrix games CoRR Ravi Kannan, Thorsten Theobald
2004	J	`jnl`	Algebraic Methods for Computing Smallest Enclosing and Circumscribing Cylinders of Simplices. Appl. Algebra Eng. Commun. Comput. René Brandenberg, Thorsten Theobald
2003	J	`jnl`	Common Transversals and Tangents to Two Lines and Two Quadrics in P. Discret. Comput. Geom. Gábor Megyesi, Frank Sottile, Thorsten Theobald
2002	J	`jnl`	Algebraic methods for computing smallest enclosing and circumscribing cylinders of simplices CoRR René Brandenberg, Thorsten Theobald
2002	J	`jnl`	An Enumerative Geometry Framework for Algorithmic Line Problems in $\mathbb R^3$. SIAM J. Comput. Thorsten Theobald
2002	J	`jnl`	Common transversals and tangents to two lines and two quadrics in P CoRR Gábor Megyesi, Frank Sottile, Thorsten Theobald
2002	J	`jnl`	Computing Amoebas. Exp. Math. Thorsten Theobald
2002	—	`conf`	Homotopy techniques for real-time visualization of geometric tangent problems. SCG Daniel Kotzor, Thorsten Theobald
2001	J	`jnl`	Common Tangents to Four Unit Balls in Discret. Comput. Geom. I. G. MacDonald, János Pach, Thorsten Theobald
2001	J	`jnl`	Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines. Formal Methods Syst. Des. Christoph Meinel, Thorsten Theobald
2001	—	`conf`	Visibility Computations: From Discrete Algorithms to Real Algebraic Geometry. Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science Thorsten Theobald
2000	J	`jnl`	Linear sifting of decision diagrams and its application insynthesis. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Christoph Meinel, Fabio Somenzi, Thorsten Theobald
1999	J	`jnl`	On the Influence of the State Encoding on OBDD-Representations of Finite State Machines. RAIRO Theor. Informatics Appl. Christoph Meinel, Thorsten Theobald
1999	J	`jnl`	Ordered Binary Decision Diagrams and their Significance in Computer-Aided Design of VLSI Circuits. J. Circuits Syst. Comput. Christoph Meinel, Thorsten Theobald
1998	—	`book`	Algorithmen und Datenstrukturen im VLSI-Design: OBDD - Grundlagen und Anwendungen Christoph Meinel, Thorsten Theobald
1998	—	`book`	Algorithms and Data Structures in VLSI Design: OBDD - Foundations and Applications Christoph Meinel, Thorsten Theobald
1998	—	`conf`	Function Decomposition and Synthesis Using Linear Sifting. ASP-DAC Christoph Meinel, Fabio Somenzi, Thorsten Theobald
1998	J	`jnl`	Ordered Binary Decision Diagrams and Their Significance in Computer-Aided Design of VLSI Circuits Universität Trier, Mathematik/Informatik, Forschungsbericht Christoph Meinel, Thorsten Theobald
1998	J	`jnl`	Ordered Binary Decision Diagrams and Their Significance in Computer-Aided Design of VLSI Circuits - a Survey Electron. Colloquium Comput. Complex. Christoph Meinel, Thorsten Theobald
1997	J	`jnl`	Function Decomposition and Synthesis Using Linear Sifting Universität Trier, Mathematik/Informatik, Forschungsbericht Christoph Meinel, Fabio Somenzi, Thorsten Theobald
1997	—	`conf`	Geordnete binäre Entscheidungsgraphen und ihre Bedeutung im rechnergestützten Entwurf hochintegrierter Schaltkreise. GI Jahrestagung Christoph Meinel, Thorsten Theobald
1997	J	`jnl`	Geordnete binäre Entscheidungsgraphen und ihre Bedeutung im rechnergestützten Entwurf hochintegrierter Schaltkreise. Inform. Spektrum Christoph Meinel, Thorsten Theobald
1997	A*	`conf`	Linear Sifting of Decision Diagrams. DAC Christoph Meinel, Fabio Somenzi, Thorsten Theobald
1997	B	`conf`	On the Influence of the State Encoding on OBDD-Representations of Finite State Machines. MFCS Christoph Meinel, Thorsten Theobald
1997	—	`—`	Transformation techniques for decision diagrams in computer-aided design. Thorsten Theobald
1996	J	`jnl`	Linear Sifting of Decision Diagrams Universität Trier, Mathematik/Informatik, Forschungsbericht Christoph Meinel, Fabio Somenzi, Thorsten Theobald
1996	J	`jnl`	Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines Universität Trier, Mathematik/Informatik, Forschungsbericht Christoph Meinel, Thorsten Theobald
1996	B	`conf`	Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines. FMCAD Christoph Meinel, Thorsten Theobald
1996	J	`jnl`	State Encodings and OBDD-Sizes Universität Trier, Mathematik/Informatik, Forschungsbericht Thorsten Theobald, Christoph Meinel
1995	A*	`conf`	How to Break Shamir's Asymmetric Basis. CRYPTO Thorsten Theobald