Christian Schulz

Affiliations:
  • University of Waterloo, Department of Pure Mathematics, Canada
  • University of Illinois at Urbana-Champaign, Urbana, IL, USA


According to our database1, Christian Schulz authored at least 8 papers between 2021 and 2025.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
A Dichotomy for <i>k</i>-automatic expansions of Presburger Arithmetic.
CoRR, August, 2025

2024
Fractal Dimensions of <i>k</i>-Automatic Sets.
J. Symb. Log., 2024

A Cobham theorem for scalar multiplication.
CoRR, 2024

Consecutive Power Occurrences in Sturmian Words.
CoRR, 2024

2022
Fractal dimensions of k-automatic sets.
CoRR, 2022

A strong version of Cobham's theorem.
Proceedings of the STOC '22: 54th Annual ACM SIGACT Symposium on Theory of Computing, Rome, Italy, June 20, 2022

Decidability for Sturmian Words.
Proceedings of the 30th EACSL Annual Conference on Computer Science Logic, 2022

2021
Pecan: An Automated Theorem Prover for Automatic Sequences using Büchi Automata.
CoRR, 2021


  Loading...