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

Space and Width in Propositional Resolution (Column: Computational Complexity).. Bulletin of the EATCS, (2004)On the Non-Uniform Complexity of the Graph Isomorphism Problem., and . Complexity Theory: Current Research, page 245-271. Cambridge University Press, (1992)Restricted Space Algorithms for Isomorphism on Bounded Treewidth Graphs., , and . STACS, volume 5 of LIPIcs, page 227-238. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)A Combinatorial Technique for Separating Counting Complexity Classes.. ICALP, volume 372 of Lecture Notes in Computer Science, page 733-744. Springer, (1989)Restricted Space Algorithms for Isomorphism on Bounded Treewidth Graphs., , and . Electron. Colloquium Comput. Complex., (2009)Number of Variables for Graph Identification and the Resolution of GI Formulas., and . Electron. Colloquium Comput. Complex., (2021)On the Nonuniform Complexity on the Graph Isomorphism Problem., and . SCT, page 118-129. IEEE Computer Society, (1992)Computing Functions with Parallel Queries to NP., and . SCT, page 280-291. IEEE Computer Society, (1993)Graph Isomorphism is not AC^0 reducible to Group Isomorphism., , and . FSTTCS, volume 8 of LIPIcs, page 317-326. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2010)Pebble Games and Algebraic Proof Systems., and . MFCS, volume 306 of LIPIcs, page 64:1-64:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)