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

Stream-Based Compilation of Ground I/O PROLOG into Committed-Choice Languages.. ICLP, page 376-393. MIT Press, (1987)Existential Continuation., and . New Generation Comput., 6 (4): 421-438 (1989)Optimal branch-decomposition of planar graphs in O(n3) Time., and . ACM Trans. Algorithms, 4 (3): 30:1-30:13 (2008)Finalizing tentative matches from truncated preference lists.. CoRR, (2016)Transformational Logic Program Synthesis., and . FGCS, page 195-201. OHMSHA Ltd. Tokyo and North-Holland, (1984)An Improved Fixed-Parameter Algorithm for One-Page Crossing Minimization., , and . IPEC, volume 89 of LIPIcs, page 25:1-25:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Treedepth Parameterized by Vertex Cover Number., and . IPEC, volume 63 of LIPIcs, page 18:1-18:11. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Search Space Reduction through Commitments in Pathwidth Computation: An Experimental Study., , and . SEA, volume 8504 of Lecture Notes in Computer Science, page 388-399. Springer, (2014)How to Cut Pseudoparabolas into Segments., and . Discret. Comput. Geom., 19 (2): 265-290 (1998)Distribution of Distances and Triangles in a Point Set and Algorithms for Computing the Largest Common Point Sets., , and . Discret. Comput. Geom., 20 (3): 307-331 (1998)