| Publication | Date of Publication | Type |
|---|
| Pumping lemmas can be ``harmful | 2024-11-12 | Paper |
| Efficient algorithms for solving systems of linear equations and path problems | 2022-08-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5115465 | 2020-08-13 | Paper |
| A characterization of nested canalyzing functions with maximum average sensitivity | 2018-12-03 | Paper |
| Inferring local transition functions of discrete dynamical systems from observations of system behavior | 2017-06-19 | Paper |
| Strongly-local reductions and the complexity/efficient approximability of algebra and optimization on abstract algebraic structures | 2017-02-03 | Paper |
| Approximation schemes for PSPACE-complete problems for succinct specifications (preliminary version) | 2016-09-01 | Paper |
| Deterministic versus nondeterministic time and lower bound problems | 2015-12-07 | Paper |
| Complexity of Inferring Local Transition Functions of Discrete Dynamical Systems | 2015-09-23 | Paper |
| Properties of deterministic top down grammars | 2014-03-14 | Paper |
| Modeling and analyzing social network dynamics using stochastic discrete graphical dynamical systems | 2011-07-18 | Paper |
| Sums-of-Products and Subproblem Independence | 2009-08-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3597159 | 2009-02-09 | Paper |
| Errata for the paper ``Predecessor existence problems for finite discrete dynamical systems. | 2008-05-19 | Paper |
| Predecessor existence problems for finite discrete dynamical systems | 2007-10-25 | Paper |
| Complexity of reachability problems for finite discrete dynamical systems | 2006-12-07 | Paper |
| Resource bounds and subproblem independence | 2006-01-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3158988 | 2005-02-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4818858 | 2004-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4470517 | 2004-07-01 | Paper |
| On some special classes of sequential dynamical systems | 2004-03-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4451017 | 2004-02-22 | Paper |
| Reachability problems for sequential dynamical systems with threshold functions. | 2003-08-17 | Paper |
| On finite strategy sets for finitely repeated zero-sum games. | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4785459 | 2003-03-10 | Paper |
| Parallel approximation schemes for a class of planar and near planar combinatorial optimization problems. | 2003-01-14 | Paper |
| Exploiting structure in quantified formulas | 2002-09-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4331197 | 2002-06-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2741527 | 2001-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2743972 | 2001-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4527194 | 2001-09-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4258576 | 1999-09-13 | Paper |
| The Complexity of Planar Counting Problems | 1998-09-20 | Paper |
| Approximation Algorithms for PSPACE-Hard Hierarchically and Periodically Specified Problems | 1998-09-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4375775 | 1998-07-13 | Paper |
| NC-Approximation Schemes for NP- and PSPACE-Hard Problems for Geometric Graphs | 1998-04-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4375760 | 1998-03-02 | Paper |
| An Algebraic Model for Combinatorial Problems | 1996-08-18 | Paper |
| The complexity of equivalence for commutative rings | 1990-01-01 | Paper |
| The Complexity of Very Simple Boolean Formulas with Applications | 1990-01-01 | Paper |
| Power indices and easier hard problems | 1990-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4729350 | 1989-01-01 | Paper |
| Nonlinear Algebra and Optimization on Rings are “Hard” | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3742714 | 1986-01-01 | Paper |
| On the Equivalence and Containment Problems for Unambiguous Regular Expressions, Regular Grammars and Finite Automata | 1985-01-01 | Paper |
| Consistency and Serializability in Concurrent Database Systems | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3915993 | 1979-01-01 | Paper |
| An Analysis of Several Heuristics for the Traveling Salesman Problem | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4122730 | 1976-01-01 | Paper |
| Attributed translations | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4062669 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5639489 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5180413 | 1970-01-01 | Paper |
| Properties of deterministic top-down grammars | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5628111 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5636862 | 1970-01-01 | Paper |
| Property grammars and table machines | 1969-01-01 | Paper |
| Syntax-Directed Transduction | 1968-01-01 | Paper |
| Convergent Transfer Schemes for N-Person Games | 1968-01-01 | Paper |
| Sets of Numbers Defined by Finite Automata | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5536282 | 1967-01-01 | Paper |
| A regularity test for pushdown machines | 1967-01-01 | Paper |
| Two-Tape Simulation of Multitape Turing Machines | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5535414 | 1966-01-01 | Paper |
| On the Computational Complexity of Algorithms | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5601828 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5331039 | 1964-01-01 | Paper |
| Pair algebra and its application to automata theory | 1964-01-01 | Paper |
| On the Axioms for a Cooperative Game Without Side Payments | 1964-01-01 | Paper |
| Pair algebra and its application to automata theory | 1964-01-01 | Paper |
| Regularity preserving modifications of regular expressions | 1963-01-01 | Paper |
| A Study of Feedback and Errors in Sequential Machines | 1963-01-01 | Paper |
| Some dangers in state reduction of sequential machines | 1962-01-01 | Paper |
| The Voting Problem | 1959-01-01 | Paper |
