Bader Abu Radi

According to our database, Bader Abu Radi authored at least 6 papers between 2019 and 2023.

Collaborative distances:

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

2023

On Semantically-Deterministic Automata.

Bader Abu Radi, Orna Kupferman

Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023

2022

Minimization and Canonization of GFG Transition-Based Automata.

Bader Abu Radi, Orna Kupferman

Log. Methods Comput. Sci., 2022

Minimization of Automata for Liveness Languages.

Bader Abu Radi, Orna Kupferman

Proceedings of the Automated Technology for Verification and Analysis, 2022

2021

A Hierarchy of Nondeterminism.

Bader Abu Radi, Orna Kupferman, Ofer Leshkowitz

Proceedings of the 46th International Symposium on Mathematical Foundations of Computer Science, 2021

2020

Canonicity in GFG and Transition-Based Automata.

Bader Abu Radi, Orna Kupferman

Proceedings of the Proceedings 11th International Symposium on Games, 2020

2019

Minimizing GFG Transition-Based Automata.

Bader Abu Radi, Orna Kupferman

Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019