Publications

(2014). Model-Theoretic Properties of ω-Automatic Structures. TCS.
(2012). The Field of Reals is not omega-Automatic. STACS 2012.