Bader Abu Radi

12 papers A* 2B 3Journal 6Unranked 1

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Hierarchy of Nondeterminism. Log. Methods Comput. Sci. Bader Abu Radi, Orna Kupferman, Ofer Leshkowitz
2025	J	`jnl`	Characterizing the Polynomial-Time Minimizable ω-Automata. CoRR Bader Abu Radi, Rüdiger Ehlers
2024	B	`conf`	Easy Complementation of History-Deterministic Büchi Automata. ATVA Bader Abu Radi, Orna Kupferman, Ofer Leshkowitz
2023	A*	`conf`	On Semantically-Deterministic Automata. ICALP Bader Abu Radi, Orna Kupferman
2023	J	`jnl`	On Semantically-Deterministic Automata. CoRR Bader Abu Radi, Orna Kupferman
2022	J	`jnl`	A Hierarchy of Nondeterminism. CoRR Bader Abu Radi, Orna Kupferman, Ofer Leshkowitz
2022	J	`jnl`	Minimization and Canonization of GFG Transition-Based Automata. Log. Methods Comput. Sci. Bader Abu Radi, Orna Kupferman
2022	B	`conf`	Minimization of Automata for Liveness Languages. ATVA Bader Abu Radi, Orna Kupferman
2021	B	`conf`	A Hierarchy of Nondeterminism. MFCS Bader Abu Radi, Orna Kupferman, Ofer Leshkowitz
2021	J	`jnl`	Minimization and Canonization of GFG Transition-Based Automata. CoRR Bader Abu Radi, Orna Kupferman
2020	—	`conf`	Canonicity in GFG and Transition-Based Automata. GandALF Bader Abu Radi, Orna Kupferman
2019	A*	`conf`	Minimizing GFG Transition-Based Automata. ICALP Bader Abu Radi, Orna Kupferman

2025 Best paper conf

CheckMATE

Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda

2026 Best paper preprint

arXiv

Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski