Polynomial-time algorithm for the orbit problem
Journal of the ACM (JACM)
On rational solution of the state equation of a finite automation (abstract only)
CSC '87 Proceedings of the 15th annual conference on Computer Science
Hypergeometric dispersion and the orbit problem
ISSAC '00 Proceedings of the 2000 international symposium on Symbolic and algebraic computation
The orbit problem is decidable
STOC '80 Proceedings of the twelfth annual ACM symposium on Theory of computing
Minimization of Linear Sequential Machines
IEEE Transactions on Computers
Linear Automata Approximation Problem
IEEE Transactions on Computers
Linearity Testing and Realization of Sequential Machines
IEEE Transactions on Computers
Every finite sequential machine is linearly realizable
Journal of Computer and System Sciences
Equivalence of set- and bag-valued orbits
Journal of Automata, Languages and Combinatorics
The orbit problem in higher dimensions
Proceedings of the forty-fifth annual ACM symposium on Theory of computing
Hi-index | 0.01 |