Two-Variable Ehrenfeucht-Fraisse Games over Omega-Terms. - Manfred Kufleitner; Jan Philipp Wächter (CoRR, 2014)

The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy - (Extended Abstract). - Manfred Kufleitner; Jan Philipp Wächter (CSR, 2016)

On the complexity of the word problem for automaton semigroups and automaton groups. - Daniele D'Angeli; Emanuele Rodaro; Jan Philipp Wächter (Adv. Appl. Math., 2017)

Automaton Semigroups and Groups: on the Undecidability of Problems Related to Freeness and Finiteness. - Daniele D'Angeli; Emanuele Rodaro; Jan Philipp Wächter (CoRR, 2017)

On the Structure Theory of Partial Automaton Semigroups. - Daniele D'Angeli; Emanuele Rodaro; Jan Philipp Wächter (CoRR, 2018)

The Word Problem for Omega-Terms over the Trotter-Weil Hierarchy. - Manfred Kufleitner; Jan Philipp Wächter (Theory Comput. Syst., 2018)

Orbits of Automaton Semigroups and Groups. - Daniele D'Angeli; Dominik Francoeur; Emanuele Rodaro; Jan Philipp Wächter (CoRR, 2019)

Orbit expandability of automaton semigroups and groups. - Daniele D'Angeli; Emanuele Rodaro; Jan Philipp Wächter (Theor. Comput. Sci., 2020)

Automaton structures: decision problems and structure theory. - Jan Philipp Wächter (2020)

On orbits and the finiteness of bounded automaton groups. - Ievgen V. Bondarenko; Jan Philipp Wächter (Int. J. Algebra Comput., 2021)

The Self-Similarity of Free Semigroups and Groups. - Emanuele Rodaro; Jan Philipp Wächter (CoRR, 2022)

The Word Problem for Finitary Automaton Groups. - Maximilian Kotowsky; Jan Philipp Wächter (DCFS, 2023)

An Automaton Group with PSPACE-Complete Word Problem. - Jan Philipp Wächter; Armin Weiß (Theory Comput. Syst., 2023)

The Freeness Problem for Automaton Semigroups. - Daniele D'Angeli; Emanuele Rodaro; Jan Philipp Wächter (MFCS, 2024)

The Finiteness Problem for Automaton Semigroups of Extended Bounded Activity. - Daniele D'Angeli; Emanuele Rodaro; Jan Philipp Wächter (CoRR, 2024)

Equations in wreath products. - Laurent Bartholdi; Ruiwen Dong 001; Leon Pernak; Jan Philipp Wächter (CoRR, 2024)

The Word Problem for (ω - 1)-Terms over DAb. - Jorge Almeida 001; Manfred Kufleitner; Jan Philipp Wächter (CoRR, 2024)