Edon Kelmendi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
4
Active years
2016–2025
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | LICS | Multiple Reachability in Linear Dynamical Systems. | Toghrul Karimov, Edon Kelmendi, Jol Ouaknine, James Worrell |
| 2023 | LICS | Reachability in Injective Piecewise Affine Maps. | Faraz Ghahremani, Edon Kelmendi, Jol Ouaknine |
| 2023 | LICS | The Power of Positivity. | Toghrul Karimov, Edon Kelmendi, Joris Nieuwveld, Jol Ouaknine, James Worrell |
| 2022 | LICS | Computing the Density of the Positivity Set for Linear Recurrence Sequences. | Edon Kelmendi |
| 2020 | ICALP | Invariants for Continuous Linear Dynamical Systems. | Shaull Almagor, Edon Kelmendi, Jol Ouaknine, James Worrell |
| 2020 | LICS | Extensions of ω-Regular Languages. | Mikolaj Bojanczyk, Edon Kelmendi, Rafal Stefanski, Georg Zetzsche |
| 2019 | LICS | MSO+∇ is undecidable. | Mikolaj Bojanczyk, Edon Kelmendi, Michal Skrzypczak |
| 2018 | CAV | Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm. | Edon Kelmendi, Julia Krmer, Jan Kretnsk, Maximilian Weininger |
| 2017 | ICALP | Emptiness of Zero Automata Is Decidable. | Mikolaj Bojanczyk, Hugo Gimbert, Edon Kelmendi |
| 2016 | SAGT | Deciding Maxmin Reachability in Half-Blind Stochastic Games. | Edon Kelmendi, Hugo Gimbert |