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

Algebraic Methods in Computational Complexity (Dagstuhl Seminar 18391)., , , and . Dagstuhl Reports, 8 (9): 133-153 (2018)Complexity Classes Defined by Counting Quantifiers.. J. ACM, 38 (3): 753-774 (1991)A Combinatorial Technique for Separating Counting Complexity Classes.. ICALP, volume 372 of Lecture Notes in Computer Science, page 733-744. Springer, (1989)CNF and DNF succinct graph encodings., , and . Inf. Comput., (2017)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)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)Parameterized Complexity of Small Weight Automorphisms and Isomorphisms., , , and . Algorithmica, 83 (12): 3567-3601 (2021)Computing Functions with Parallel Queries to NP., and . Theor. Comput. Sci., 141 (1&2): 175-193 (1995)Number of Variables for Graph Identification and the Resolution of GI Formulas., and . Electron. Colloquium Comput. Complex., (2021)