1. “Minimizing GFG transition-based automata,”;Abu Radi;Proceedings of 46th International Colloquium on Automata, Languages, and Programming, volume 132 of LIPIcs,2019
2. “Canonicity in GFG and transition-based automata,”;Abu Radi;Proceedings of 11th International Symposium on Games, Automata, Logics and Formal Verification. Electronic Proceedings in Theoretical Computer Science,2020
3. “Minimization of automata for liveness languages,”;Abu Radi,2022
4. “A hierarchy of nondeterminism,”;Abu Radi;46th International Symposium on Mathematical Foundations of Computer Science, volume 202 of LIPIcs,2021
5. Reasoning about online algorithms with weighted automata;Aminof;ACM Trans. Algorith,2010