Topological graph theory
Local expansion of vertex-transitive graphs and random generation in finite groups
STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
Nearly linear time algorithms for permutation groups with a small base
ISSAC '91 Proceedings of the 1991 international symposium on Symbolic and algebraic computation
Structure forest and composition factors for small base groups in nearly linear time
STOC '92 Proceedings of the twenty-fourth annual ACM symposium on Theory of computing
Deciding finiteness of matrix groups in deterministic polynomial time
ISSAC '93 Proceedings of the 1993 international symposium on Symbolic and algebraic computation
Separating double rays in locally finite planar graphs
Discrete Mathematics
Approximations for the disjoint paths problem in high-diameter planar networks
STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
Automorphism groups, isomorphism, reconstruction
Handbook of combinatorics (vol. 2)
Word Processing in Groups
Disjoint paths in densely embedded graphs
FOCS '95 Proceedings of the 36th Annual Symposium on Foundations of Computer Science
Polynomial Vicinity Circuits and Nonlinear Lower Bounds
CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity
On Algebraic Structure of Neighborhoods of Cellular Automata: Horse Power Problem
Fundamenta Informaticae - Special issue on DLT'04
On Algebraic Structure of Neighborhoods of Cellular Automata: Horse Power Problem
Fundamenta Informaticae - Special issue on DLT'04
Hi-index | 0.00 |