Pecan: An Automated Theorem Prover for Automatic Sequences using Büchi Automata. - Reed Oei; Dun Ma; Christian Schulz 013; Philipp Hieronymi (CoRR, 2021)

A strong version of Cobham's theorem. - Philipp Hieronymi; Christian Schulz 013 (STOC, 2022)

Fractal dimensions of k-automatic sets. - Alexi Block Gorman; Christian Schulz 013 (CoRR, 2022)

Consecutive Power Occurrences in Sturmian Words. - Jason P. Bell; Christian Schulz 013; Jeffrey O. Shallit (CoRR, 2024)

A Cobham theorem for scalar multiplication. - Philipp Hieronymi; Sven Manthe; Christian Schulz 013 (CoRR, 2024)

Fractal Dimensions of k-Automatic Sets. - Alexi Block Gorman; Christian Schulz 013 (J. Symb. Log., 2024)

Decidability for Sturmian words. - Philipp Hieronymi; Dun Ma; Reed Oei; Luke Schaeffer; Christian Schulz 013; Jeffrey O. Shallit (Log. Methods Comput. Sci., 2024)