Publications

Faried Abu Zaid, Erich Grädel, Lukasz Kaiser, Wied Pakusa (2014). Model-Theoretic Properties of ω-Automatic Structures. TCS.
PDF Link DOI
Faried Abu Zaid, Erich Grädel, Lukasz Kaiser (2012). The Field of Reals is not omega-Automatic. STACS 2012.
PDF Link DOI