Faried Abu Zaid

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
VeriFlow: Modeling Distributions for Neural Network Verification.
CoRR, 2024

2018
The Cayley-Graph of the Queue Monoid: Logic and Decidability.
Proceedings of the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2018

Uniformly Automatic Classes of Finite Structures.
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.
Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018

2017
Definability of summation problems for Abelian groups and semigroups.
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Advice Automatic Structures and Uniformly Automatic Classes.
Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017

2014
Model-Theoretic Properties of ω-Automatic Structures.
Theory Comput. Syst., 2014

Choiceless Polynomial Time on Structures with Small Abelian Colour Classes.
Proceedings of the Mathematical Foundations of Computer Science 2014, 2014

Bisimulation Safe Fixed Point Logic.
Proceedings of the Advances in Modal Logic 10, 2014

2012
The Field of Reals is not omega-Automatic.
Proceedings of the 29th International Symposium on Theoretical Aspects of Computer Science, 2012


  Loading...