The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Thorsten Theobald: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Christoph Meinel, Fabio Somenzi, Thorsten Theobald
    Function Decomposition and Synthesis Using Linear Sifting. [Citation Graph (0, 0)][DBLP]
    ASP-DAC, 1998, pp:81-86 [Conf]
  2. Daniel Kotzor, Thorsten Theobald
    Homotopy techniques for real-time visualization of geometric tangent problems. [Citation Graph (0, 0)][DBLP]
    Symposium on Computational Geometry, 2002, pp:275-276 [Conf]
  3. Thorsten Theobald
    How to Break Shamir's Asymmetric Basis. [Citation Graph (0, 0)][DBLP]
    CRYPTO, 1995, pp:136-147 [Conf]
  4. Christoph Meinel, Fabio Somenzi, Thorsten Theobald
    Linear Sifting of Decision Diagrams. [Citation Graph (0, 0)][DBLP]
    DAC, 1997, pp:202-207 [Conf]
  5. Thorsten Theobald
    Visibility Computations: From Discrete Algorithms to Real Algebraic Geometry. [Citation Graph (0, 0)][DBLP]
    Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science, 2001, pp:207-219 [Conf]
  6. Christoph Meinel, Thorsten Theobald
    Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines. [Citation Graph (0, 0)][DBLP]
    FMCAD, 1996, pp:404-418 [Conf]
  7. Christoph Meinel, Thorsten Theobald
    Geordnete binäre Entscheidungsgraphen und ihre Bedeutung im rechnergestützten Entwurf hochintegrierter Schaltkreise. [Citation Graph (0, 0)][DBLP]
    GI Jahrestagung, 1997, pp:307-316 [Conf]
  8. Christoph Meinel, Thorsten Theobald
    On the Influence of the State Encoding on OBDD-Representations of Finite State Machines. [Citation Graph (0, 0)][DBLP]
    MFCS, 1997, pp:408-417 [Conf]
  9. René Brandenberg, Thorsten Theobald
    Algebraic Methods for Computing Smallest Enclosing and Circumscribing Cylinders of Simplices. [Citation Graph (0, 0)][DBLP]
    Appl. Algebra Eng. Commun. Comput., 2004, v:14, n:6, pp:439-460 [Journal]
  10. Gábor Megyesi, Frank Sottile, Thorsten Theobald
    Common transversals and tangents to two lines and two quadrics in P3 [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  11. René Brandenberg, Thorsten Theobald
    Algebraic methods for computing smallest enclosing and circumscribing cylinders of simplices [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  12. Gábor Megyesi, Frank Sottile, Thorsten Theobald
    Common Transversals and Tangents to Two Lines and Two Quadrics in P. [Citation Graph (0, 0)][DBLP]
    Discrete & Computational Geometry, 2003, v:30, n:4, pp:543-571 [Journal]
  13. I. G. Macdonald, János Pach, Thorsten Theobald
    Common Tangents to Four Unit Balls in R3. [Citation Graph (0, 0)][DBLP]
    Discrete & Computational Geometry, 2001, v:26, n:1, pp:1-17 [Journal]
  14. Christoph Meinel, Thorsten Theobald
    Ordered Binary Decision Diagrams and Their Significance in Computer-Aided Design of VLSI Circuits - a Survey [Citation Graph (0, 0)][DBLP]
    Electronic Colloquium on Computational Complexity (ECCC), 1998, v:5, n:39, pp:- [Journal]
  15. Christoph Meinel, Thorsten Theobald
    Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines. [Citation Graph (0, 0)][DBLP]
    Formal Methods in System Design, 2001, v:18, n:3, pp:285-301 [Journal]
  16. Christoph Meinel, Thorsten Theobald
    Geordnete binäre Entscheidungsgraphen und ihre Bedeutung im rechnergestützten Entwurf hochintegrierter Schaltkreise. [Citation Graph (0, 0)][DBLP]
    Informatik Spektrum, 1997, v:20, n:5, pp:268-275 [Journal]
  17. Christoph Meinel, Thorsten Theobald
    On the Influence of the State Encoding on OBDD-Representations of Finite State Machines. [Citation Graph (0, 0)][DBLP]
    ITA, 1999, v:33, n:1, pp:21-32 [Journal]
  18. Christoph Meinel, Thorsten Theobald
    Ordered Binary Decision Diagrams and their Significance in Computer-Aided Design of VLSI Circuits. [Citation Graph (0, 0)][DBLP]
    Journal of Circuits, Systems, and Computers, 1999, v:9, n:3-4, pp:181-198 [Journal]
  19. Thorsten Theobald
    On the frontiers of polynomial computations in tropical geometry. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 2006, v:41, n:12, pp:1360-1375 [Journal]
  20. Thorsten Theobald
    An Enumerative Geometry Framework for Algorithmic Line Problems in $\mathbb R^3$. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 2002, v:31, n:4, pp:1212-1228 [Journal]
  21. Christoph Meinel, Fabio Somenzi, Thorsten Theobald
    Linear sifting of decision diagrams and its application insynthesis. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. on CAD of Integrated Circuits and Systems, 2000, v:19, n:5, pp:521-533 [Journal]
  22. Ravi Kannan, Thorsten Theobald
    Games of fixed rank: a hierarchy of bimatrix games. [Citation Graph (0, 0)][DBLP]
    SODA, 2007, pp:1124-1132 [Conf]
  23. Thorsten Theobald
    Enumerating the Nash equilibria of rank 1-games [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]

  24. Exact analysis of optimal configurations in radii computations. [Citation Graph (, )][DBLP]


  25. Mixed volume techniques for embeddings of Laman graphs. [Citation Graph (, )][DBLP]


  26. Games of fixed rank: A hierarchy of bimatrix games [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002