| 2007 |
|---|
| 31 | EE | Ravi Kannan,
Thorsten Theobald:
Games of fixed rank: a hierarchy of bimatrix games.
SODA 2007: 1124-1132 |
| 30 | EE | Thorsten Theobald:
Enumerating the Nash equilibria of rank 1-games
CoRR abs/0709.1263: (2007) |
| 2006 |
|---|
| 29 | EE | Thorsten Theobald:
On the frontiers of polynomial computations in tropical geometry.
J. Symb. Comput. 41(12): 1360-1375 (2006) |
| 2005 |
|---|
| 28 | EE | Ravi Kannan,
Thorsten Theobald:
Games of fixed rank: A hierarchy of bimatrix games
CoRR abs/cs/0511021: (2005) |
| 2004 |
|---|
| 27 | EE | 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 | EE | 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 | EE | Daniel Kotzor,
Thorsten Theobald:
Homotopy techniques for real-time visualization of geometric tangent problems.
Symposium on Computational Geometry 2002: 275-276 |
| 24 | EE | 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 | EE | René Brandenberg,
Thorsten Theobald:
Algebraic methods for computing smallest enclosing and circumscribing cylinders of simplices
CoRR math.OC/0211344: (2002) |
| 22 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | 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 | EE | Thorsten Theobald:
How to Break Shamir's Asymmetric Basis.
CRYPTO 1995: 136-147 |
