Faried Abu Zaid

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 6

Top Topics

Top Venues

Publications

Faried Abu Zaid, Daniel Neider, Mustafa Yalçiner
VeriFlow: Modeling Distributions for Neural Network Verification. CoRR (2024)
Faried Abu Zaid, Chris Köcher
The Cayley-Graph of the Queue Monoid: Logic and Decidability. FSTTCS (2018)
Faried Abu Zaid
Uniformly Automatic Classes of Finite Structures. FSTTCS (2018)
Faried Abu Zaid, Dietrich Kuske, Peter Lindner
Climbing up the Elementary Complexity Classes with Theories of Automatic Structures. CSL (2018)
Faried Abu Zaid, Anuj Dawar, Erich Grädel, Wied Pakusa
Definability of summation problems for Abelian groups and semigroups. LICS (2017)
Faried Abu Zaid, Erich Grädel, Frederic Reinhardt
Advice Automatic Structures and Uniformly Automatic Classes. CSL (2017)
Faried Abu Zaid, Erich Grädel, Martin Grohe, Wied Pakusa
Choiceless Polynomial Time on Structures with Small Abelian Colour Classes. MFCS (1) (2014)
Faried Abu Zaid, Erich Grädel, Lukasz Kaiser, Wied Pakusa
Model-Theoretic Properties of ω-Automatic Structures. Theory Comput. Syst. 55 (4) (2014)
Faried Abu Zaid, Erich Grädel, Stephan Jaax
Bisimulation Safe Fixed Point Logic. Advances in Modal Logic (2014)
Faried Abu Zaid, Erich Grädel, Lukasz Kaiser
The Field of Reals is not omega-Automatic. STACS (2012)