Faried Abu Zaid

According to our database, Faried Abu Zaid authored at least 10 papers between 2012 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

VeriFlow: Modeling Distributions for Neural Network Verification.

Faried Abu Zaid, Daniel Neider, Mustafa Yalçiner

CoRR, 2024

2018

The Cayley-Graph of the Queue Monoid: Logic and Decidability.

Faried Abu Zaid, Chris Köcher

Proceedings of the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2018

Uniformly Automatic Classes of Finite Structures.

Faried Abu Zaid

Proceedings of the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2018

Climbing up the Elementary Complexity Classes with Theories of Automatic Structures.

Faried Abu Zaid, Dietrich Kuske, Peter Lindner

Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

2017

Definability of summation problems for Abelian groups and semigroups.

Faried Abu Zaid, Anuj Dawar, Erich Grädel, Wied Pakusa

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Advice Automatic Structures and Uniformly Automatic Classes.

Faried Abu Zaid, Erich Grädel, Frederic Reinhardt

Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017

2014

Model-Theoretic Properties of ω-Automatic Structures.

Faried Abu Zaid, Erich Grädel, Lukasz Kaiser, Wied Pakusa

Theory Comput. Syst., 2014

Choiceless Polynomial Time on Structures with Small Abelian Colour Classes.

Faried Abu Zaid, Erich Grädel, Martin Grohe, Wied Pakusa

Proceedings of the Mathematical Foundations of Computer Science 2014, 2014

Bisimulation Safe Fixed Point Logic.

Faried Abu Zaid, Erich Grädel, Stephan Jaax

Proceedings of the Advances in Modal Logic 10, 2014

2012

The Field of Reals is not omega-Automatic.

Faried Abu Zaid, Erich Grädel, Lukasz Kaiser

Proceedings of the 29th International Symposium on Theoretical Aspects of Computer Science, 2012