Thorsten Theobald

Cordian Riener, Thorsten Theobald, Lina Jansson Andrén, Jean B. Lasserre: Exploiting Symmetries in SDP-Relaxations for Polynomial Optimization. Math. Oper. Res. 38(1): 122-141 (2013)

Richard J. Gardner, Paolo Gronchi, Thorsten Theobald: Determining a Rotation of a Tetrahedron from a Projection. Discrete & Computational Geometry 48(3): 749-765 (2012)

Cordian Riener, Thorsten Theobald, Lina Jansson Andrén, Jean B. Lasserre: Exploiting symmetries in SDP-relaxations for polynomial optimization. CoRR abs/1103.0486 (2011)

Richard J. Gardner, Paolo Gronchi, Thorsten Theobald: Determining a rotation of a tetrahedron from a projection. CoRR abs/1111.7100 (2011)

Reinhard Steffens, Thorsten Theobald: Mixed volume techniques for embeddings of Laman graphs. Comput. Geom. 43(2): 84-93 (2010)

Reinhard Steffens, Thorsten Theobald: Combinatorics and Genus of Tropical Intersections and Ehrhart Theory. SIAM J. Discrete Math. 24(1): 17-32 (2010)

Michael Joswig, Thorsten Theobald: Algorithmische Geometrie - Polyedrische und algebraische Methoden. Vieweg Studium, Vieweg+Teubner 2008, isbn 978-3-8348-0281-1, pp. I-X, 1-265

Ravi Kannan, Thorsten Theobald: Games of fixed rank: a hierarchy of bimatrix games. SODA 2007: 1124-1132

Thorsten Theobald: Enumerating the Nash equilibria of rank 1-games. CoRR abs/0709.1263 (2007)

Thorsten Theobald: On the frontiers of polynomial computations in tropical geometry. J. Symb. Comput. 41(12): 1360-1375 (2006)

René Brandenberg, Thorsten Theobald: Exact analysis of optimal configurations in radii computations. EuroCG 2005: 135-138

Ravi Kannan, Thorsten Theobald: Games of fixed rank: A hierarchy of bimatrix games. CoRR abs/cs/0511021 (2005)

René Brandenberg, Thorsten Theobald: Algebraic Methods for Computing Smallest Enclosing and Circumscribing Cylinders of Simplices. Appl. Algebra Eng. Commun. Comput. 14(6): 439-460 (2004)

Gábor Megyesi, Frank Sottile, Thorsten Theobald: Common Transversals and Tangents to Two Lines and Two Quadrics in P. Discrete & Computational Geometry 30(4): 543-571 (2003)

Thorsten Theobald: Computing Amoebas. Experimental Mathematics 11(4): 513-526 (2002)

Thorsten Theobald: An Enumerative Geometry Framework for Algorithmic Line Problems in $\mathbb R^3$. SIAM J. Comput. 31(4): 1212-1228 (2002)

Daniel Kotzor, Thorsten Theobald: Homotopy techniques for real-time visualization of geometric tangent problems. Symposium on Computational Geometry 2002: 275-276

Gábor Megyesi, Frank Sottile, Thorsten Theobald: Common transversals and tangents to two lines and two quadrics in P³. CoRR math.AG/0206044 (2002)

René Brandenberg, Thorsten Theobald: Algebraic methods for computing smallest enclosing and circumscribing cylinders of simplices. CoRR math.OC/0211344 (2002)

I. G. Macdonald, János Pach, Thorsten Theobald: Common Tangents to Four Unit Balls in R³. Discrete & Computational Geometry 26(1): 1-17 (2001)

Christoph Meinel, Thorsten Theobald: Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines. Formal Methods in System Design 18(3): 285-301 (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: 207-219

Christoph Meinel, Fabio Somenzi, Thorsten Theobald: Linear sifting of decision diagrams and its application insynthesis. IEEE Trans. on CAD of Integrated Circuits and Systems 19(5): 521-533 (2000)

Christoph Meinel, Thorsten Theobald: On the Influence of the State Encoding on OBDD-Representations of Finite State Machines. ITA 33(1): 21-32 (1999)

Christoph Meinel, Thorsten Theobald: Ordered Binary Decision Diagrams and their Significance in Computer-Aided Design of VLSI Circuits. Journal of Circuits, Systems, and Computers 9(3-4): 181-198 (1999)

Christoph Meinel, Thorsten Theobald: Algorithms and Data Structures in VLSI Design: OBDD - Foundations and Applications. Springer 1998, isbn 3-540-64486-5

Christoph Meinel, Thorsten Theobald: Algorithmen und Datenstrukturen im VLSI-Design: OBDD - Grundlagen und Anwendungen. Springer 1998, isbn 3-540-63869-5

Christoph Meinel, Fabio Somenzi, Thorsten Theobald: Function Decomposition and Synthesis Using Linear Sifting. ASP-DAC 1998: 81-86

Christoph Meinel, Thorsten Theobald: Ordered Binary Decision Diagrams and Their Significance in Computer-Aided Design of VLSI Circuits - a Survey. Electronic Colloquium on Computational Complexity (ECCC) 5(39) (1998)

Christoph Meinel, Thorsten Theobald: Ordered Binary Decision Diagrams and Their Significance in Computer-Aided Design of VLSI Circuits. Universität Trier, Mathematik/Informatik, Forschungsbericht 98-01 (1998)

Thorsten Theobald: Transformation techniques for decision diagrams in computer-aided design. Universität Trier 1997, pp. I-III, 1-100

Christoph Meinel, Thorsten Theobald: Geordnete binäre Entscheidungsgraphen und ihre Bedeutung im rechnergestützten Entwurf hochintegrierter Schaltkreise. Informatik Spektrum 20(5): 268-275 (1997)

Christoph Meinel, Fabio Somenzi, Thorsten Theobald: Linear Sifting of Decision Diagrams. DAC 1997: 202-207

Christoph Meinel, Thorsten Theobald: Geordnete binäre Entscheidungsgraphen und ihre Bedeutung im rechnergestützten Entwurf hochintegrierter Schaltkreise. GI Jahrestagung 1997: 307-316

Christoph Meinel, Thorsten Theobald: On the Influence of the State Encoding on OBDD-Representations of Finite State Machines. MFCS 1997: 408-417

Christoph Meinel, Fabio Somenzi, Thorsten Theobald: Function Decomposition and Synthesis Using Linear Sifting. Universität Trier, Mathematik/Informatik, Forschungsbericht 97-14 (1997)

Christoph Meinel, Thorsten Theobald: Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines. FMCAD 1996: 404-418

Thorsten Theobald, Christoph Meinel: State Encodings and OBDD-Sizes. Universität Trier, Mathematik/Informatik, Forschungsbericht 96-04 (1996)

Christoph Meinel, Thorsten Theobald: Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines. Universität Trier, Mathematik/Informatik, Forschungsbericht 96-23 (1996)

Christoph Meinel, Fabio Somenzi, Thorsten Theobald: Linear Sifting of Decision Diagrams. Universität Trier, Mathematik/Informatik, Forschungsbericht 96-42 (1996)

Thorsten Theobald: How to Break Shamir's Asymmetric Basis. CRYPTO 1995: 136-147