Bader Abu Radi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2019–2024
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ATVA | Easy Complementation of History-Deterministic Bchi Automata. | Bader Abu Radi, Orna Kupferman, Ofer Leshkowitz |
| 2023 | ICALP | On Semantically-Deterministic Automata. | Bader Abu Radi, Orna Kupferman |
| 2022 | ATVA | Minimization of Automata for Liveness Languages. | Bader Abu Radi, Orna Kupferman |
| 2021 | MFCS | A Hierarchy of Nondeterminism. | Bader Abu Radi, Orna Kupferman, Ofer Leshkowitz |
| 2019 | ICALP | Minimizing GFG Transition-Based Automata. | Bader Abu Radi, Orna Kupferman |