The Field of Reals is not omega-Automatic. - Faried Abu Zaid; Erich Grädel; Lukasz Kaiser (STACS, 2012)

Bisimulation Safe Fixed Point Logic. - Faried Abu Zaid; Erich Grädel; Stephan Jaax (Advances in Modal Logic, 2014)

Choiceless Polynomial Time on Structures with Small Abelian Colour Classes. - Faried Abu Zaid; Erich Grädel; Martin Grohe; Wied Pakusa (MFCS (1), 2014)

Model-Theoretic Properties of ω-Automatic Structures. - Faried Abu Zaid; Erich Grädel; Lukasz Kaiser; Wied Pakusa (Theory Comput. Syst., 2014)

Advice Automatic Structures and Uniformly Automatic Classes. - Faried Abu Zaid; Erich Grädel; Frederic Reinhardt (CSL, 2017)

Definability of summation problems for Abelian groups and semigroups. - Faried Abu Zaid; Anuj Dawar; Erich Grädel; Wied Pakusa (LICS, 2017)

Climbing up the Elementary Complexity Classes with Theories of Automatic Structures. - Faried Abu Zaid; Dietrich Kuske; Peter Lindner 001 (CSL, 2018)

Uniformly Automatic Classes of Finite Structures. - Faried Abu Zaid (FSTTCS, 2018)

The Cayley-Graph of the Queue Monoid: Logic and Decidability. - Faried Abu Zaid; Chris Köcher (FSTTCS, 2018)

VeriFlow: Modeling Distributions for Neural Network Verification. - Faried Abu Zaid; Daniel Neider; Mustafa Yalçiner (CoRR, 2024)

sbi reloaded: a toolkit for simulation-based inference workflows. - Jan Boelts; Michael Deistler; Manuel Glöckler; Álvaro Tejero-Cantero; Jan-Matthis Lueckmann; Guy Moss 001; Peter Steinbach; Thomas Moreau 001; Fabio Muratore; Julia Linhart; Conor Durkan; Julius Vetter; et al. (J. Open Source Softw., 2025)