Polynomial-time algorithm for the orbit problem
Journal of the ACM (JACM)
Theory of linear and integer programming
Theory of linear and integer programming
Polynomial time solutions of some problems of computational algebra
STOC '85 Proceedings of the seventeenth annual ACM symposium on Theory of computing
Polynomial time algorithms for finding integer relations among real numbers
3rd annual symposium on theoretical aspects of computer science on STACS 86
Membership testing in commutative tranformation semigroups
Information and Computation
Computing the structure of finite algebras
Journal of Symbolic Computation - Special issue on computational algebraic complexity
Recognizing units in number fields
Mathematics of Computation
A course in computational algebraic number theory
A course in computational algebraic number theory
SODA '90 Proceedings of the first annual ACM-SIAM symposium on Discrete algorithms
Subresultants and Reduced Polynomial Remainder Sequences
Journal of the ACM (JACM)
Fast Probabilistic Algorithms for Verification of Polynomial Identities
Journal of the ACM (JACM)
ISAAC '88 Proceedings of the International Symposium ISSAC'88 on Symbolic and Algebraic Computation
Probabilistic algorithms for sparse polynomials
EUROSAM '79 Proceedings of the International Symposiumon on Symbolic and Algebraic Computation
Factoring polynominals over algebraic number fields
EUROCAL '83 Proceedings of the European Computer Algebra Conference on Computer Algebra
Algorithms for matrix groups and the Tits alternative
FOCS '95 Proceedings of the 36th Annual Symposium on Foundations of Computer Science
The size of numbers in the analysis of certain algorithms
The size of numbers in the analysis of certain algorithms
Algorithms for computing with nilpotent matrix groups over infinite domains
Journal of Symbolic Computation
On undecidability bounds for matrix decision problems
Theoretical Computer Science
Reachability problems in quaternion matrix and rotation semigroups
Information and Computation
On post correspondence problem for letter monotonic languages
Theoretical Computer Science
The Identity Correspondence Problem and Its Applications
ISAAC '09 Proceedings of the 20th International Symposium on Algorithms and Computation
Periodic and infinite traces in matrix semigroups
SOFSEM'08 Proceedings of the 34th conference on Current trends in theory and practice of computer science
On the Computational Complexity of Matrix Semigroup Problems
Fundamenta Informaticae - Words, Graphs, Automata, and Languages; Special Issue Honoring the 60th Birthday of Professor Tero Harju
Reachability problems in quaternion matrix and rotation semigroups
MFCS'07 Proceedings of the 32nd international conference on Mathematical Foundations of Computer Science
Hi-index | 0.00 |