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 | 2018-01-18 | Paper |
COARSE REDUCIBILITY AND ALGORITHMIC RANDOMNESS | 2017-04-28 | Paper |
Asymptotic Density and the Theory of Computability: A Partial Survey | 2017-04-04 | Paper |
Asymptotic density and the coarse computability bound | 2016-04-13 | Paper |
Multipass automata and group word problems | 2015-09-16 | Paper |
Asymptotic density and the Ershov hierarchy | 2015-06-22 | Paper |
Asymptotic density and the coarse computability bound | 2015-05-07 | Paper |
ASYMPTOTIC DENSITY AND COMPUTABLY ENUMERABLE SETS | 2014-03-10 | Paper |
Groups, graphs, languages, automata, games and second-order monadic logic | 2012-08-14 | Paper |
Generic computability, Turing degrees, and asymptotic density | 2012-04-13 | Paper |
A strengthened Freiheitssatz. | 2011-04-28 | Paper |
Random quotients of the modular group are rigid and essentially incompressible | 2009-04-08 | Paper |
On group-theoretic models of randomness and genericity. | 2008-08-13 | Paper |
Membership Problem for the Modular Group | 2008-04-22 | Paper |
Densities in free groups and \(\mathbb{Z}^k\), visible points and test elements. | 2007-11-06 | Paper |
The subadditive ergodic theorem and generic stretching factors for free group automorphisms. | 2007-04-23 | Paper |
Generic properties of Whitehead's algorithm and isomorphism rigidity of random one-relator groups. | 2007-02-26 | Paper |
Translation equivalence in free groups | 2007-02-01 | Paper |
Delzant's \(T\)-invariant, Kolmogorov complexity and one-relator groups. | 2006-01-03 | Paper |
Relative hyperbolicity and Artin groups. | 2005-03-15 | Paper |
Genericity, the Arzhantseva-Ol'shanskii method and the isomorphism problem for one-relator groups. | 2005-02-09 | Paper |
Average-case complexity and decision problems in group theory. | 2005-01-11 | Paper |
Bounded rank subgroups of Coxeter groups, Artin groups and one-relator groups with torsion | 2004-03-29 | Paper |
Generic-case complexity, decision problems in group theory, and random walks. | 2003-07-30 | Paper |
Coxeter groups, 2-completion, perimeter reduction and subgroup separability. | 2003-04-27 | Paper |
Combinatorial group theory. | 2001-01-17 | Paper |
https://portal.mardi4nfdi.de/entity/Q4946215 | 2000-12-12 | Paper |
https://portal.mardi4nfdi.de/entity/Q4946211 | 2000-12-11 | Paper |
https://portal.mardi4nfdi.de/entity/Q4942281 | 2000-10-08 | Paper |
On the structure of Hamiltonian cycles in Cayley graphs of finite quotients of the modular group | 1999-01-12 | Paper |
On the hyperbolicity of small cancellation groups and one-relator groups | 1998-03-24 | Paper |
Simulating alternating tree automata by nondeterministic automata: New results and new proofs of the theorems of Rabin, McNaughton and Safra | 1997-02-28 | Paper |
FINITE STATE PROCESSES, Z-TEMPORAL LOGIC AND THE MONADIC THEORY OF THE INTEGERS | 1993-06-29 | Paper |
Alternating automata, the weak monadic theory of trees and its complexity | 1992-09-27 | Paper |
ON THE COMPLEXITY OF RECOGNIZABLE ω-TREE SETS AND NERODE THEOREM | 1990-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3359781 | 1990-01-01 | Paper |
Finiteness Conditions on Subgroups and Formal Language Theory | 1989-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3806816 | 1988-01-01 | Paper |
Alternating automata on infinite trees | 1987-01-01 | Paper |
A Characterization of Inner Automorphisms | 1987-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4726235 | 1986-01-01 | Paper |
The theory of ends, pushdown automata, and second-order logic | 1985-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3748266 | 1985-01-01 | Paper |
Sur les monoides à un relateur qui sont des groupes | 1984-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3346484 | 1984-01-01 | Paper |
Artin groups and infinite Coxeter groups | 1983-01-01 | Paper |
Groups, the theory of ends, and context-free languages | 1983-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3312480 | 1983-01-01 | Paper |
Context-free languages, groups, the theory of ends, second-order logic, tiling problems, cellular automata, and vector addition systems | 1981-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3333233 | 1980-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q3871088 | 1980-01-01 | Paper |
Groups and graphs: Groups acting on trees, ends, and cancellation diagrams | 1979-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4145882 | 1977-01-01 | Paper |
A Note on Non-Hopfian Groups | 1977-01-01 | Paper |
A strengthened Freiheitssatz | 1976-01-01 | Paper |
Embeddings into Simple Groups | 1976-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4059653 | 1974-01-01 | Paper |
Sq-Universality in Hnn Groups and One Relator Groups | 1974-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q4043240 | 1973-01-01 | Paper |
The geometry of higman‐neumann‐neumann extensions | 1973-01-01 | Paper |
On one relator groups and HNN extensions | 1973-01-01 | Paper |
https://portal.mardi4nfdi.de/entity/Q5675902 | 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 | 1971-01-01 | Paper |
Embeddings into hopfian groups | 1971-01-01 | Paper |
On the conjugacy problem for certain quotient groups of free products | 1970-01-01 | Paper |
On Greendlinger's lemma | 1970-01-01 | Paper |
On the Substitution Problem for Free Groups | 1969-01-01 | Paper |
A note on recursively enumerable predicates in groups | 1969-01-01 | Paper |
On Dehn's algorithm and the conjugacy problem | 1968-01-01 | Paper |