Publications

Faried Abu Zaid, Daniel Neider, Mustafa Yalçiner (2026). VeriFlow: Modeling Distributions for Neural Network Verification. AAAI-26.

Faried Abu Zaid, Tim Katzke, Emmanuel Neuer, Daniel Neider (2025). On Uniformly Scaling Flows: A Density-Aligned Approach to Deep One-Class Classification. arXiv.

Jan Boelts, Michael Deistler, Manuel Glöckler, Álvaro Tejero-Cantero, Jan-Matthis Lueckmann, Guy Moss, Peter Steinbach, Thomas Moreau, Fabio Muratore, Julia Linhart, Conor Durkan, Julius Vetter, Benjamin Kurt Miller, Maternus Herold, Abolfazl Ziaeemehr, Matthijs Pals, Theo Gruner, Sebastian Bischoff, Nastya Krouglova, Richard Gao, Janne K. Lappalainen, Bálint Mucsányi, Felix Pei, Auguste Schulz, Zinovia Stefanidi, Pedro Rodrigues, Cornelius Schröder, Faried Abu Zaid, Jonas Beck, Jaivardhan Kapoor, David S. Greenberg, Pedro J. Gonçalves, Jakob H. Macke (2025). sbi reloaded: a toolkit for simulation-based inference workflows. JOSS.

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

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

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

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

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

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

Faried Abu Zaid, Erich Grädel, Stephan Jaax (2014). Bisimulation Safe Fixed Point Logic. AIML 2014.