Bader Abu Radi

12 papers A* 2B 3Journal 6Unranked 1
YearRankTypeTitle / 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