Follow
Jan Philipp Wächter
Jan Philipp Wächter
Dipartimento di Matematica, Politecnico di Milano
No verified email
Title
Cited by
Cited by
Year
An automaton group with PSPACE-complete word problem
JP Wächter, A Weiß
Theory of Computing Systems 67 (1), 178-218, 2023
192023
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
162017
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
152020
On the structure theory of partial automaton semigroups
D D’Angeli, E Rodaro, JP Wächter
Semigroup Forum 101 (1), 51-76, 2020
112020
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
102020
The word problem for omega-terms over the Trotter-Weil hierarchy
M Kufleitner, JP Wächter
Theory of Computing Systems 62, 682-738, 2018
82018
Orbit expandability of automaton semigroups and groups
D D'Angeli, E Rodaro, JP Wächter
Theoretical Computer Science 809, 418-429, 2020
52020
Automaton structures: decision problems and structure theory
JP Wächter
42020
On the orbits of automaton semigroups and groups
D d'Angeli, D Francoeur, E Rodaro, JP Wächter
arXiv preprint arXiv:2007.10273, 2020
32020
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
22021
The Self-Similarity of Free Semigroups and Groups
E Rodaro, JP Wächter
arXiv preprint arXiv:2205.10248, 2022
12022
Automaton semigroup free products revisited
TM Brough, JP Wächter, J Welker
arXiv preprint arXiv:2003.12810, 2020
12020
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
The system can't perform the operation now. Try again later.
Articles 1–20