Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Linear Sifting of Decision Diagrams, , and . Universität Trier, Mathematik/Informatik, Forschungsbericht, (1996)State Encodings and OBDD-Sizes, and . Universität Trier, Mathematik/Informatik, Forschungsbericht, (1996)Linear Sifting of Decision Diagrams., , and . DAC, page 202-207. ACM Press, (1997)On the Influence of the State Encoding on OBDD-Representations of Finite State Machines., and . MFCS, volume 1295 of Lecture Notes in Computer Science, page 408-417. Springer, (1997)Visibility Computations: From Discrete Algorithms to Real Algebraic Geometry.. Algorithmic and Quantitative Aspects of Real Algebraic Geometry in Mathematics and Computer Science, volume 60 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 207-219. DIMACS/AMS, (2001)Algorithmen und Datenstrukturen im VLSI-Design: OBDD - Grundlagen und Anwendungen, and . Springer, (1998)Exact analysis of optimal configurations in radii computations., and . EuroCG, page 135-138. Technische Universiteit Eindhoven, (2005)Combinatorics and Genus of Tropical Intersections and Ehrhart Theory., and . SIAM J. Discrete Math., 24 (1): 17-32 (2010)A Semidefinite Hierarchy for Containment of Spectrahedra., , and . SIAM Journal on Optimization, 25 (2): 1013-1033 (2015)Algorithmische Geometrie - Polyedrische und algebraische Methoden., and . Vieweg Studium Vieweg+Teubner, (2008)