Faried Abu Zaid

14 papers A* 2A 1B 3Journal 5Unranked 3
YearRankTypeTitle / Venue / Authors
2026 A* conf
VeriFlow: Modeling Distributions for Neural Network Verification.
AAAI
Faried Abu Zaid, Daniel Neider, Mustafa Yalçiner
2025 J jnl
On Uniformly Scaling Flows: A Density-Aligned Approach to Deep One-Class Classification.
CoRR
Faried Abu Zaid, Tim Katzke, Emmanuel Müller, Daniel Neider
2025 J jnl
sbi reloaded: a toolkit for simulation-based inference workflows.
J. Open Source Softw.
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
2024 J jnl
VeriFlow: Modeling Distributions for Neural Network Verification.
CoRR
Faried Abu Zaid, Daniel Neider, Mustafa Yalçiner
2024 J jnl
sbi reloaded: a toolkit for simulation-based inference workflows.
CoRR
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
2018 B conf
Climbing up the Elementary Complexity Classes with Theories of Automatic Structures.
CSL
Faried Abu Zaid, Dietrich Kuske, Peter Lindner
2018 — conf
The Cayley-Graph of the Queue Monoid: Logic and Decidability.
FSTTCS
Faried Abu Zaid, Chris Köcher
2018 — conf
Uniformly Automatic Classes of Finite Structures.
FSTTCS
Faried Abu Zaid
2017 B conf
Advice Automatic Structures and Uniformly Automatic Classes.
CSL
Faried Abu Zaid, Erich Grädel, Frederic Reinhardt
2017 A* conf
Definability of summation problems for Abelian groups and semigroups.
LICS
Faried Abu Zaid, Anuj Dawar, Erich Grädel, Wied Pakusa
2014 B conf
Bisimulation Safe Fixed Point Logic.
Advances in Modal Logic
Faried Abu Zaid, Erich Grädel, Stephan Jaax
2014 — conf
Choiceless Polynomial Time on Structures with Small Abelian Colour Classes.
MFCS (1)
Faried Abu Zaid, Erich Grädel, Martin Grohe, Wied Pakusa
2014 J jnl
Model-Theoretic Properties of ω-Automatic Structures.
Theory Comput. Syst.
Faried Abu Zaid, Erich Grädel, Lukasz Kaiser, Wied Pakusa
2012 A conf
The Field of Reals is not omega-Automatic.
STACS
Faried Abu Zaid, Erich Grädel, Lukasz Kaiser