Christian Schulz

11 papers A* 1B 1Journal 9
YearRankTypeTitle / Venue / Authors
2025 J jnl
A Dichotomy for
CoRR
Jason Bell, Alexi Block Gorman, Christian Schulz
2024 J jnl
A Cobham theorem for scalar multiplication.
CoRR
Philipp Hieronymi, Sven Manthe, Christian Schulz
2024 J jnl
Consecutive Power Occurrences in Sturmian Words.
CoRR
Jason P. Bell, Christian Schulz, Jeffrey O. Shallit
2024 J jnl
Decidability for Sturmian words.
Log. Methods Comput. Sci.
Philipp Hieronymi, Dun Ma, Reed Oei, Luke Schaeffer, Christian Schulz, Jeffrey O. Shallit
2024 J jnl
Fractal Dimensions of
J. Symb. Log.
Alexi Block Gorman, Christian Schulz
2022 A* conf
A strong version of Cobham's theorem.
STOC
Philipp Hieronymi, Christian Schulz
2022 B conf
Decidability for Sturmian Words.
CSL
Philipp Hieronymi, Dun Ma, Reed Oei, Luke Schaeffer, Christian Schulz, Jeffrey O. Shallit
2022 J jnl
Fractal dimensions of k-automatic sets.
CoRR
Alexi Block Gorman, Christian Schulz
2021 J jnl
A strong version of Cobham's theorem.
CoRR
Philipp Hieronymi, Christian Schulz
2021 J jnl
Decidability for Sturmian words.
CoRR
Philipp Hieronymi, Dun Ma, Reed Oei, Luke Schaeffer, Christian Schulz, Jeffrey O. Shallit
2021 J jnl
Pecan: An Automated Theorem Prover for Automatic Sequences using Büchi Automata.
CoRR
Reed Oei, Dun Ma, Christian Schulz, Philipp Hieronymi