Thorsten Theobald

	2007
32		Ravi Kannan, Thorsten Theobald: Games of fixed rank: a hierarchy of bimatrix games. SODA 2007: 1124-1132
31		Thorsten Theobald: Enumerating the Nash equilibria of rank 1-games CoRR abs/0709.1263: (2007)
	2006
30		Thorsten Theobald: On the frontiers of polynomial computations in tropical geometry. J. Symb. Comput. 41(12): 1360-1375 (2006)
	2005
29		René Brandenberg, Thorsten Theobald: Exact analysis of optimal configurations in radii computations. EuroCG 2005: 135-138
28		Ravi Kannan, Thorsten Theobald: Games of fixed rank: A hierarchy of bimatrix games CoRR abs/cs/0511021: (2005)
	2004
27		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)
	2003
26		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)
	2002
25		Daniel Kotzor, Thorsten Theobald: Homotopy techniques for real-time visualization of geometric tangent problems. Symposium on Computational Geometry 2002: 275-276
24		Gábor Megyesi, Frank Sottile, Thorsten Theobald: Common transversals and tangents to two lines and two quadrics in P3 CoRR math.AG/0206044: (2002)
23		René Brandenberg, Thorsten Theobald: Algebraic methods for computing smallest enclosing and circumscribing cylinders of simplices CoRR math.OC/0211344: (2002)
22		Thorsten Theobald: An Enumerative Geometry Framework for Algorithmic Line Problems in $\mathbb R^3$. SIAM J. Comput. 31(4): 1212-1228 (2002)
	2001
21		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
20		I. G. Macdonald, János Pach, Thorsten Theobald: Common Tangents to Four Unit Balls in R3. Discrete & Computational Geometry 26(1): 1-17 (2001)
19		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)
	2000
18		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)
	1999
17		Christoph Meinel, Thorsten Theobald: On the Influence of the State Encoding on OBDD-Representations of Finite State Machines. ITA 33(1): 21-32 (1999)
16		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)
	1998
15		Christoph Meinel, Thorsten Theobald: Algorithmen und Datenstrukturen im VLSI-Design: OBDD - Grundlagen und Anwendungen Springer 1998
14		Christoph Meinel, Thorsten Theobald: Algorithms and Data Structures in VLSI Design: OBDD - Foundations and Applications Springer 1998
13		Christoph Meinel, Fabio Somenzi, Thorsten Theobald: Function Decomposition and Synthesis Using Linear Sifting. ASP-DAC 1998: 81-86
12		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)
11		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)
	1997
10		Christoph Meinel, Fabio Somenzi, Thorsten Theobald: Linear Sifting of Decision Diagrams. DAC 1997: 202-207
9		Christoph Meinel, Thorsten Theobald: Geordnete binäre Entscheidungsgraphen und ihre Bedeutung im rechnergestützten Entwurf hochintegrierter Schaltkreise. GI Jahrestagung 1997: 307-316
8		Christoph Meinel, Thorsten Theobald: On the Influence of the State Encoding on OBDD-Representations of Finite State Machines. MFCS 1997: 408-417
7		Christoph Meinel, Thorsten Theobald: Geordnete binäre Entscheidungsgraphen und ihre Bedeutung im rechnergestützten Entwurf hochintegrierter Schaltkreise. Informatik Spektrum 20(5): 268-275 (1997)
6		Christoph Meinel, Fabio Somenzi, Thorsten Theobald: Function Decomposition and Synthesis Using Linear Sifting Universität Trier, Mathematik/Informatik, Forschungsbericht 97-14: (1997)
	1996
5		Christoph Meinel, Thorsten Theobald: Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines. FMCAD 1996: 404-418
4		Thorsten Theobald, Christoph Meinel: State Encodings and OBDD-Sizes Universität Trier, Mathematik/Informatik, Forschungsbericht 96-04: (1996)
3		Christoph Meinel, Thorsten Theobald: Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines Universität Trier, Mathematik/Informatik, Forschungsbericht 96-23: (1996)
2		Christoph Meinel, Fabio Somenzi, Thorsten Theobald: Linear Sifting of Decision Diagrams Universität Trier, Mathematik/Informatik, Forschungsbericht 96-42: (1996)
	1995
1		Thorsten Theobald: How to Break Shamir's Asymmetric Basis. CRYPTO 1995: 136-147

Coauthor Index

1	René Brandenberg	[23] [27] [29]
2	Ravi Kannan (Ravindran Kannan)	[28] [32]
3	Daniel Kotzor	[25]
4	I. G. Macdonald	[20]
5	Gábor Megyesi	[24] [26]
6	Christoph Meinel	[2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19]
7	János Pach	[20]
8	Fabio Somenzi	[2] [6] [10] [13] [18]
9	Frank Sottile	[24] [26]

Colors in the list of coauthors