Thorsten Theobald Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

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

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)