Minimizing GFG Transition-Based Automata. - Bader Abu Radi; Orna Kupferman (ICALP, 2019)

Canonicity in GFG and Transition-Based Automata. - Bader Abu Radi; Orna Kupferman (GandALF, 2020)

A Hierarchy of Nondeterminism. - Bader Abu Radi; Orna Kupferman; Ofer Leshkowitz (MFCS, 2021)

Minimization of Automata for Liveness Languages. - Bader Abu Radi; Orna Kupferman (ATVA, 2022)

Minimization and Canonization of GFG Transition-Based Automata. - Bader Abu Radi; Orna Kupferman (Log. Methods Comput. Sci., 2022)

On Semantically-Deterministic Automata. - Bader Abu Radi; Orna Kupferman (ICALP, 2023)

Easy Complementation of History-Deterministic Büchi Automata. - Bader Abu Radi; Orna Kupferman; Ofer Leshkowitz (ATVA, 2024)

Characterizing the Polynomial-Time Minimizable ω-Automata. - Bader Abu Radi; Rüdiger Ehlers (CoRR, 2025)