Faried Abu Zaid
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2012–2026
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | VeriFlow: Modeling Distributions for Neural Network Verification. | Faried Abu Zaid, Daniel Neider, Mustafa Yaliner |
| 2018 | CSL | Climbing up the Elementary Complexity Classes with Theories of Automatic Structures. | Faried Abu Zaid, Dietrich Kuske, Peter Lindner |
| 2017 | CSL | Advice Automatic Structures and Uniformly Automatic Classes. | Faried Abu Zaid, Erich Grdel, Frederic Reinhardt |
| 2017 | LICS | Definability of summation problems for Abelian groups and semigroups. | Faried Abu Zaid, Anuj Dawar, Erich Grdel, Wied Pakusa |
| 2014 | AiML | Bisimulation Safe Fixed Point Logic. | Faried Abu Zaid, Erich Grdel, Stephan Jaax |
| 2014 | MFCS | Choiceless Polynomial Time on Structures with Small Abelian Colour Classes. | Faried Abu Zaid, Erich Grdel, Martin Grohe, Wied Pakusa |
| 2012 | STACS | The Field of Reals is not omega-Automatic. | Faried Abu Zaid, Erich Grdel, Lukasz Kaiser |