Thorsten Theobald
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
1995–2007
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | SODA | Games of fixed rank: a hierarchy of bimatrix games. | Ravi Kannan, Thorsten Theobald |
| 1998 | ASPDAC | Function Decomposition and Synthesis Using Linear Sifting. | Christoph Meinel, Fabio Somenzi, Thorsten Theobald |
| 1997 | DAC | Linear Sifting of Decision Diagrams. | Christoph Meinel, Fabio Somenzi, Thorsten Theobald |
| 1997 | GI | Geordnete binre Entscheidungsgraphen und ihre Bedeutung im rechnergesttzten Entwurf hochintegrierter Schaltkreise. | Christoph Meinel, Thorsten Theobald |
| 1997 | MFCS | On the Influence of the State Encoding on OBDD-Representations of Finite State Machines. | Christoph Meinel, Thorsten Theobald |
| 1996 | FMCAD | Local Encoding Transformations for Optimizing OBDD-Representations of Finite State Machines. | Christoph Meinel, Thorsten Theobald |
| 1995 | CRYPTO | How to Break Shamir's Asymmetric Basis. | Thorsten Theobald |