An automaton group with PSPACE-complete word problem JP Wächter, A Weiß Theory of Computing Systems 67 (1), 178-218, 2023 | 19 | 2023 |
On the complexity of the word problem for automaton semigroups and automaton groups D D'Angeli, E Rodaro, JP Wächter Advances in Applied Mathematics 90, 160-187, 2017 | 16 | 2017 |
Automaton semigroups and groups: on the undecidability of problems related to freeness and finiteness D D’Angeli, E Rodaro, JP Wächter Israel Journal of Mathematics 237 (1), 15-52, 2020 | 15 | 2020 |
On the structure theory of partial automaton semigroups D D’Angeli, E Rodaro, JP Wächter Semigroup Forum 101 (1), 51-76, 2020 | 11 | 2020 |
Infinite automaton semigroups and groups have infinite orbits D d'Angeli, D Francoeur, E Rodaro, JP Wächter Journal of Algebra 553, 119-137, 2020 | 10 | 2020 |
The word problem for omega-terms over the Trotter-Weil hierarchy M Kufleitner, JP Wächter Theory of Computing Systems 62, 682-738, 2018 | 8 | 2018 |
Orbit expandability of automaton semigroups and groups D D'Angeli, E Rodaro, JP Wächter Theoretical Computer Science 809, 418-429, 2020 | 5 | 2020 |
Automaton structures: decision problems and structure theory JP Wächter | 4 | 2020 |
On the orbits of automaton semigroups and groups D d'Angeli, D Francoeur, E Rodaro, JP Wächter arXiv preprint arXiv:2007.10273, 2020 | 3 | 2020 |
On orbits and the finiteness of bounded automaton groups I Bondarenko, JP Wächter International Journal of Algebra and Computation 31 (06), 1177-1190, 2021 | 2 | 2021 |
The Self-Similarity of Free Semigroups and Groups E Rodaro, JP Wächter arXiv preprint arXiv:2205.10248, 2022 | 1 | 2022 |
Automaton semigroup free products revisited TM Brough, JP Wächter, J Welker arXiv preprint arXiv:2003.12810, 2020 | 1 | 2020 |
The Freeness Problem for Automaton Semigroups D D'Angeli, E Rodaro, JP Wächter arXiv preprint arXiv:2402.01372, 2024 | | 2024 |
The Word Problem for Finitary Automaton Groups M Kotowsky, JP Wächter International Conference on Descriptional Complexity of Formal Systems, 94-108, 2023 | | 2023 |
Every numerical semigroup arises as an automaton monoid TM Brough, AJ Cain, JP Wächter arXiv preprint arXiv:2303.12715, 2023 | | 2023 |
Every numerical semigroup arises as an automaton monoid T Macalister Brough, AJ Cain, JP Wächter arXiv e-prints, arXiv: 2303.12715, 2023 | | 2023 |
Two-Variable Ehrenfeucht-Fraisse Games over Omega-Terms M Kufleitner, JP Wächter arXiv preprint arXiv:1411.0593, 2014 | | 2014 |
Das Wortproblem für Omega-Terme über Zweivariablenlogik JP Wächter | | 2014 |
Kaskadenzerlegung spezieller Automatenklassen JP Wächter | | 2013 |
Das Wortproblem für Omega-Terme über Zweivariablenlogik JP Wächter Stuttgart, Universität Stuttgart, Diplomarbeit, 0 | | |