| Publication | Date of Publication | Type |
|---|
Pumping lemmas can be ``harmful
Theory of Computing Systems | 2024-11-12 | Paper |
Efficient algorithms for solving systems of linear equations and path problems
STACS 92 | 2022-08-18 | Paper |
Symmetry properties of nested canalyzing functions
| 2020-08-13 | Paper |
A characterization of nested canalyzing functions with maximum average sensitivity
Discrete Applied Mathematics | 2018-12-03 | Paper |
Inferring local transition functions of discrete dynamical systems from observations of system behavior
Theoretical Computer Science | 2017-06-19 | Paper |
Strongly-local reductions and the complexity/efficient approximability of algebra and optimization on abstract algebraic structures
Proceedings of the 2001 international symposium on Symbolic and algebraic computation | 2017-02-03 | Paper |
Approximation schemes for PSPACE-complete problems for succinct specifications (preliminary version)
Proceedings of the twenty-sixth annual ACM symposium on Theory of computing - STOC '94 | 2016-09-01 | Paper |
Deterministic versus nondeterministic time and lower bound problems
Journal of the ACM | 2015-12-07 | Paper |
Complexity of inferring local transition functions of discrete dynamical systems
Implementation and Application of Automata | 2015-09-23 | Paper |
Properties of deterministic top down grammars
Proceedings of the first annual ACM symposium on Theory of computing - STOC '69 | 2014-03-14 | Paper |
Modeling and analyzing social network dynamics using stochastic discrete graphical dynamical systems
Theoretical Computer Science | 2011-07-18 | Paper |
Sums-of-Products and Subproblem Independence
Fundamental Problems in Computing | 2009-08-05 | Paper |
scientific article; zbMATH DE number 5504161 (Why is no real title available?)
| 2009-02-09 | Paper |
Errata for the paper ``Predecessor existence problems for finite discrete dynamical systems.
Theoretical Computer Science | 2008-05-19 | Paper |
Predecessor existence problems for finite discrete dynamical systems
Theoretical Computer Science | 2007-10-25 | Paper |
Complexity of reachability problems for finite discrete dynamical systems
Journal of Computer and System Sciences | 2006-12-07 | Paper |
Resource bounds and subproblem independence
Theory of Computing Systems | 2006-01-10 | Paper |
scientific article; zbMATH DE number 2131735 (Why is no real title available?)
| 2005-02-01 | Paper |
scientific article; zbMATH DE number 2102770 (Why is no real title available?)
| 2004-09-24 | Paper |
scientific article; zbMATH DE number 2077132 (Why is no real title available?)
| 2004-07-01 | Paper |
On some special classes of sequential dynamical systems
Annals of Combinatorics | 2004-03-11 | Paper |
scientific article; zbMATH DE number 2046041 (Why is no real title available?)
| 2004-02-22 | Paper |
Reachability problems for sequential dynamical systems with threshold functions.
Theoretical Computer Science | 2003-08-17 | Paper |
On finite strategy sets for finitely repeated zero-sum games.
Games and Economic Behavior | 2003-07-30 | Paper |
scientific article; zbMATH DE number 1848281 (Why is no real title available?)
| 2003-03-10 | Paper |
Parallel approximation schemes for a class of planar and near planar combinatorial optimization problems.
Information and Computation | 2003-01-14 | Paper |
Exploiting structure in quantified formulas
Journal of Algorithms | 2002-09-30 | Paper |
scientific article; zbMATH DE number 1741013 (Why is no real title available?)
| 2002-06-10 | Paper |
Complexity and approximability of quantified and stochastic constraint satisfaction problems
| 2001-09-24 | Paper |
Efficient algorithms for \(\delta\)-near-planar graph and algebraic problems
| 2001-09-18 | Paper |
scientific article; zbMATH DE number 1560343 (Why is no real title available?)
| 2001-09-06 | Paper |
scientific article; zbMATH DE number 1335885 (Why is no real title available?)
| 1999-09-13 | Paper |
The Complexity of Planar Counting Problems
SIAM Journal on Computing | 1998-09-20 | Paper |
Approximation Algorithms for PSPACE-Hard Hierarchically and Periodically Specified Problems
SIAM Journal on Computing | 1998-09-20 | Paper |
scientific article; zbMATH DE number 1114007 (Why is no real title available?)
| 1998-07-13 | Paper |
NC-Approximation Schemes for NP- and PSPACE-Hard Problems for Geometric Graphs
Journal of Algorithms | 1998-04-26 | Paper |
scientific article; zbMATH DE number 1113995 (Why is no real title available?)
| 1998-03-02 | Paper |
An Algebraic Model for Combinatorial Problems
SIAM Journal on Computing | 1996-08-18 | Paper |
The complexity of equivalence for commutative rings
Journal of Symbolic Computation | 1990-01-01 | Paper |
Power indices and easier hard problems
Mathematical Systems Theory | 1990-01-01 | Paper |
The Complexity of Very Simple Boolean Formulas with Applications
SIAM Journal on Computing | 1990-01-01 | Paper |
scientific article; zbMATH DE number 4114007 (Why is no real title available?)
| 1989-01-01 | Paper |
Nonlinear Algebra and Optimization on Rings are “Hard”
SIAM Journal on Computing | 1987-01-01 | Paper |
scientific article; zbMATH DE number 3978379 (Why is no real title available?)
| 1986-01-01 | Paper |
On the Equivalence and Containment Problems for Unambiguous Regular Expressions, Regular Grammars and Finite Automata
SIAM Journal on Computing | 1985-01-01 | Paper |
Consistency and Serializability in Concurrent Database Systems
SIAM Journal on Computing | 1984-01-01 | Paper |
scientific article; zbMATH DE number 3727586 (Why is no real title available?)
| 1979-01-01 | Paper |
An Analysis of Several Heuristics for the Traveling Salesman Problem
SIAM Journal on Computing | 1977-01-01 | Paper |
scientific article; zbMATH DE number 3548373 (Why is no real title available?)
| 1976-01-01 | Paper |
Attributed translations
Journal of Computer and System Sciences | 1974-01-01 | Paper |
scientific article; zbMATH DE number 3480122 (Why is no real title available?)
| 1973-01-01 | Paper |
scientific article; zbMATH DE number 3366672 (Why is no real title available?)
| 1971-01-01 | Paper |
scientific article; zbMATH DE number 3363526 (Why is no real title available?)
| 1970-01-01 | Paper |
scientific article; zbMATH DE number 3428547 (Why is no real title available?)
| 1970-01-01 | Paper |
Properties of deterministic top-down grammars
Information and Control | 1970-01-01 | Paper |
scientific article; zbMATH DE number 3353262 (Why is no real title available?)
| 1970-01-01 | Paper |
Property grammars and table machines
Information and Control | 1969-01-01 | Paper |
Convergent Transfer Schemes for N-Person Games
Transactions of the American Mathematical Society | 1968-01-01 | Paper |
Syntax-Directed Transduction
Journal of the ACM | 1968-01-01 | Paper |
A regularity test for pushdown machines
Information and Control | 1967-01-01 | Paper |
Sets of Numbers Defined by Finite Automata
The American Mathematical Monthly | 1967-01-01 | Paper |
scientific article; zbMATH DE number 3251431 (Why is no real title available?)
| 1967-01-01 | Paper |
scientific article; zbMATH DE number 3248552 (Why is no real title available?)
| 1966-01-01 | Paper |
Two-Tape Simulation of Multitape Turing Machines
Journal of the ACM | 1966-01-01 | Paper |
On the Computational Complexity of Algorithms
| 1965-01-01 | Paper |
scientific article; zbMATH DE number 3322505 (Why is no real title available?)
| 1965-01-01 | Paper |
Pair algebra and its application to automata theory
Information and Control | 1964-01-01 | Paper |
Pair algebra and its application to automata theory
Information and Control | 1964-01-01 | Paper |
On the Axioms for a Cooperative Game Without Side Payments
| 1964-01-01 | Paper |
scientific article; zbMATH DE number 3204222 (Why is no real title available?)
| 1964-01-01 | Paper |
Regularity preserving modifications of regular expressions
Information and Control | 1963-01-01 | Paper |
A Study of Feedback and Errors in Sequential Machines
IEEE Transactions on Electronic Computers | 1963-01-01 | Paper |
Some dangers in state reduction of sequential machines
Information and Control | 1962-01-01 | Paper |
The Voting Problem
The American Mathematical Monthly | 1959-01-01 | Paper |
