| Publication | Date of Publication | Type |
|---|
| Coarse computability, the density metric, Hausdorff distances between Turing degrees, perfect trees, and reverse mathematics | 2021-06-24 | Paper |
Computational complexity and the conjugacy problem
Computability | 2018-01-18 | Paper |
Coarse reducibility and algorithmic randomness
Journal of Symbolic Logic | 2017-04-28 | Paper |
Asymptotic density and the theory of computability: a partial survey
Computability and Complexity | 2017-04-04 | Paper |
Asymptotic density and the coarse computability bound
Computability | 2016-04-13 | Paper |
Multipass automata and group word problems
Theoretical Computer Science | 2015-09-16 | Paper |
Asymptotic density and the Ershov hierarchy
Mathematical Logic Quarterly | 2015-06-22 | Paper |
Asymptotic density and the coarse computability bound
(available as arXiv preprint) | 2015-05-07 | Paper |
ASYMPTOTIC DENSITY AND COMPUTABLY ENUMERABLE SETS
Journal of Mathematical Logic | 2014-03-10 | Paper |
Groups, graphs, languages, automata, games and second-order monadic logic
European Journal of Combinatorics | 2012-08-14 | Paper |
Generic computability, Turing degrees, and asymptotic density
Journal of the London Mathematical Society. Second Series | 2012-04-13 | Paper |
A strengthened Freiheitssatz.
Illinois Journal of Mathematics | 2011-04-28 | Paper |
Random quotients of the modular group are rigid and essentially incompressible
Journal für die reine und angewandte Mathematik (Crelles Journal) | 2009-04-08 | Paper |
On group-theoretic models of randomness and genericity.
Groups, Geometry, and Dynamics | 2008-08-13 | Paper |
On group-theoretic models of randomness and genericity.
Groups, Geometry, and Dynamics | 2008-08-13 | Paper |
Membership Problem for the Modular Group
SIAM Journal on Computing | 2008-04-22 | Paper |
Densities in free groups and \(\mathbb{Z}^k\), visible points and test elements.
Mathematical Research Letters | 2007-11-06 | Paper |
The subadditive ergodic theorem and generic stretching factors for free group automorphisms.
Israel Journal of Mathematics | 2007-04-23 | Paper |
Generic properties of Whitehead's algorithm and isomorphism rigidity of random one-relator groups.
Pacific Journal of Mathematics | 2007-02-26 | Paper |
Translation equivalence in free groups
Transactions of the American Mathematical Society | 2007-02-01 | Paper |
Delzant's \(T\)-invariant, Kolmogorov complexity and one-relator groups.
Commentarii Mathematici Helvetici | 2006-01-03 | Paper |
Relative hyperbolicity and Artin groups.
Geometriae Dedicata | 2005-03-15 | Paper |
Genericity, the Arzhantseva-Ol'shanskii method and the isomorphism problem for one-relator groups.
Mathematische Annalen | 2005-02-09 | Paper |
Average-case complexity and decision problems in group theory.
Advances in Mathematics | 2005-01-11 | Paper |
Bounded rank subgroups of Coxeter groups, Artin groups and one-relator groups with torsion
Proceedings of the London Mathematical Society | 2004-03-29 | Paper |
Generic-case complexity, decision problems in group theory, and random walks.
Journal of Algebra | 2003-07-30 | Paper |
Coxeter groups, 2-completion, perimeter reduction and subgroup separability.
Geometriae Dedicata | 2003-04-27 | Paper |
Combinatorial group theory.
Classics in Mathematics | 2001-01-17 | Paper |
| scientific article; zbMATH DE number 1421187 (Why is no real title available?) | 2000-12-12 | Paper |
| scientific article; zbMATH DE number 1421183 (Why is no real title available?) | 2000-12-11 | Paper |
| scientific article; zbMATH DE number 1419262 (Why is no real title available?) | 2000-10-08 | Paper |
On the structure of Hamiltonian cycles in Cayley graphs of finite quotients of the modular group
Theoretical Computer Science | 1999-01-12 | Paper |
On the hyperbolicity of small cancellation groups and one-relator groups
Transactions of the American Mathematical Society | 1998-03-24 | Paper |
Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra
Theoretical Computer Science | 1997-02-28 | Paper |
FINITE STATE PROCESSES, Z-TEMPORAL LOGIC AND THE MONADIC THEORY OF THE INTEGERS
International Journal of Foundations of Computer Science | 1993-06-29 | Paper |
Alternating automata, the weak monadic theory of trees and its complexity
Theoretical Computer Science | 1992-09-27 | Paper |
| scientific article; zbMATH DE number 4213466 (Why is no real title available?) | 1990-01-01 | Paper |
ON THE COMPLEXITY OF RECOGNIZABLE ω-TREE SETS AND NERODE THEOREM
International Journal of Foundations of Computer Science | 1990-01-01 | Paper |
Finiteness Conditions on Subgroups and Formal Language Theory
Proceedings of the London Mathematical Society | 1989-01-01 | Paper |
| scientific article; zbMATH DE number 4076625 (Why is no real title available?) | 1988-01-01 | Paper |
Alternating automata on infinite trees
Theoretical Computer Science | 1987-01-01 | Paper |
| A Characterization of Inner Automorphisms | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 3999901 (Why is no real title available?) | 1986-01-01 | Paper |
The theory of ends, pushdown automata, and second-order logic
Theoretical Computer Science | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3983141 (Why is no real title available?) | 1985-01-01 | Paper |
Sur les monoides à un relateur qui sont des groupes
Theoretical Computer Science | 1984-01-01 | Paper |
| scientific article; zbMATH DE number 3880931 (Why is no real title available?) | 1984-01-01 | Paper |
Artin groups and infinite Coxeter groups
Inventiones Mathematicae | 1983-01-01 | Paper |
| scientific article; zbMATH DE number 3842221 (Why is no real title available?) | 1983-01-01 | Paper |
Groups, the theory of ends, and context-free languages
Journal of Computer and System Sciences | 1983-01-01 | Paper |
Context-free languages, groups, the theory of ends, second-order logic, tiling problems, cellular automata, and vector addition systems
Bulletin of the American Mathematical Society | 1981-01-01 | Paper |
| scientific article; zbMATH DE number 3674361 (Why is no real title available?) | 1980-01-01 | Paper |
| scientific article; zbMATH DE number 3865569 (Why is no real title available?) | 1980-01-01 | Paper |
Groups and graphs: Groups acting on trees, ends, and cancellation diagrams
The Mathematical Intelligencer | 1979-01-01 | Paper |
| scientific article; zbMATH DE number 3574107 (Why is no real title available?) | 1977-01-01 | Paper |
A Note on Non-Hopfian Groups
Journal of the London Mathematical Society | 1977-01-01 | Paper |
Embeddings into Simple Groups
Journal of the London Mathematical Society | 1976-01-01 | Paper |
A strengthened Freiheitssatz
Mathematische Annalen | 1976-01-01 | Paper |
Sq-Universality in Hnn Groups and One Relator Groups
Journal of the London Mathematical Society | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3475668 (Why is no real title available?) | 1974-01-01 | Paper |
| scientific article; zbMATH DE number 3409616 (Why is no real title available?) | 1973-01-01 | Paper |
| scientific article; zbMATH DE number 3457142 (Why is no real title available?) | 1973-01-01 | Paper |
The geometry of higman‐neumann‐neumann extensions
Communications on Pure and Applied Mathematics | 1973-01-01 | Paper |
On one relator groups and HNN extensions
Journal of the Australian Mathematical Society | 1973-01-01 | Paper |
| The Conjugacy Problem for the Group of Any Tame Alternating Knot is Solvable | 1972-01-01 | Paper |
Small cancellation theory over free products with amalgamation
Mathematische Annalen | 1971-01-01 | Paper |
Embeddings into hopfian groups
Journal of Algebra | 1971-01-01 | Paper |
On Greendlinger's lemma
Communications on Pure and Applied Mathematics | 1970-01-01 | Paper |
On the conjugacy problem for certain quotient groups of free products
Mathematische Annalen | 1970-01-01 | Paper |
| On the Substitution Problem for Free Groups | 1969-01-01 | Paper |
A note on recursively enumerable predicates in groups
Fundamenta Mathematicae | 1969-01-01 | Paper |
On Dehn's algorithm and the conjugacy problem
Mathematische Annalen | 1968-01-01 | Paper |
