First Steps in Tropical Geometry J Richter-Gebert, B Sturmfels, T Theobald Idempotent mathematics and mathematical physics: international workshop …, 2005 | 527 | 2005 |
Algorithms and Data Structures in VLSI Design: OBDD-foundations and applications C Meinel, T Theobald Springer Science & Business Media, 1998 | 502 | 1998 |
Exploiting symmetries in SDP-relaxations for polynomial optimization C Riener, T Theobald, LJ Andrén, JB Lasserre Mathematics of Operations Research 38 (1), 122-141, 2013 | 153 | 2013 |
Games of fixed rank: A hierarchy of bimatrix games R Kannan, T Theobald Economic Theory 42, 157-173, 2010 | 96 | 2010 |
Common Tangents to Four Unit Balls in R 3 IG Macdonald, J Pach, T Theobald Discrete & Computational Geometry 26, 1-17, 2001 | 65 | 2001 |
Computing amoebas T Theobald Experimental Mathematics 11 (4), 513-526, 2002 | 64 | 2002 |
Linear sifting of decision diagrams C Meinel, F Somenzi, T Theobald Proceedings of the 34th annual Design Automation Conference, 202-207, 1997 | 61 | 1997 |
Polyhedral and algebraic methods in computational geometry M Joswig, T Theobald Springer Science & Business Media, 2013 | 55 | 2013 |
Linear sifting of decision diagrams and its application in synthesis C Meinel, F Somenzi, T Theobald IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2000 | 54 | 2000 |
On the frontiers of polynomial computations in tropical geometry T Theobald Journal of Symbolic Computation 41 (12), 1360-1375, 2006 | 52 | 2006 |
Mixed volume techniques for embeddings of Laman graphs R Steffens, T Theobald Computational Geometry 43 (2), 84-93, 2010 | 44 | 2010 |
Tropical bases by regular projections K Hept, T Theobald Proceedings of the American Mathematical Society 137 (7), 2233-2241, 2009 | 43 | 2009 |
Local encoding transformations for optimizing OBDD-representations of finite state machines C Meinel, T Theobald International Conference on Formal Methods in Computer-Aided Design, 404-418, 1996 | 40 | 1996 |
Containment problems for polytopes and spectrahedra K Kellner, T Theobald, C Trabandt SIAM Journal on Optimization 23 (2), 1000-1020, 2013 | 37 | 2013 |
A unified framework of SAGE and SONC polynomials and its duality theory L Katthän, H Naumann, T Theobald Mathematics of Computation 90 (329), 1297-1322, 2021 | 31 | 2021 |
Algorithmen und Datenstrukturen im VLSI-Design: OBDD—Grundlagen und Anwendungen C Meinel, T Theobald Springer-Verlag, 2013 | 29 | 2013 |
Lines tangent to 2𝑛-2 spheres in ℝⁿ F Sottile, T Theobald Transactions of the American Mathematical Society 354 (12), 4815-4829, 2002 | 28 | 2002 |
Approximating amoebas and coamoebas by sums of squares T Theobald, T De Wolff Mathematics of Computation 84 (291), 455-473, 2015 | 26* | 2015 |
Amoebas of genus at most one T Theobald, T De Wolff Advances in Mathematics 239, 190-213, 2013 | 26 | 2013 |
Combinatorics and genus of tropical intersections and Ehrhart theory R Steffens, T Theobald SIAM Journal on Discrete Mathematics 24 (1), 17-32, 2010 | 26 | 2010 |