Two-Player Perfect-Information Shift-Invariant Submixing Stochastic Games Are Half-Positional. - Hugo Gimbert; Edon Kelmendi (CoRR, 2014)

Deciding the value 1 problem for probabilistic leaktight automata. - Nathanaël Fijalkow; Hugo Gimbert; Edon Kelmendi; Youssouf Oualhadj (Log. Methods Comput. Sci., 2015)

Deciding Maxmin Reachability in Half-Blind Stochastic Games. - Edon Kelmendi; Hugo Gimbert (SAGT, 2016)

Two-Player Stochastic Games with Perfect and Zero Information. (Jeux Stochastiques à Deux Joueurs à Information Parfaite et Zéro). - Edon Kelmendi (2016)

Emptiness of Zero Automata Is Decidable. - Mikolaj Bojanczyk; Hugo Gimbert; Edon Kelmendi (ICALP, 2017)

Stamina: Stabilisation Monoids in Automata Theory. - Nathanaël Fijalkow; Hugo Gimbert; Edon Kelmendi; Denis Kuperberg (CIAA, 2017)

Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm. - Edon Kelmendi; Julia Krämer; Jan Kretínský; Maximilian Weininger (CAV (1), 2018)

MSO+∇ is undecidable. - Mikolaj Bojanczyk; Edon Kelmendi; Michal Skrzypczak (LICS, 2019)

MSO+nabla is undecidable. - Mikolaj Bojanczyk; Edon Kelmendi; Michal Skrzypczak (CoRR, 2019)

Invariants for Continuous Linear Dynamical Systems. - Shaull Almagor; Edon Kelmendi; Joël Ouaknine; James Worrell 001 (ICALP, 2020)

Extensions of ω-Regular Languages. - Mikolaj Bojanczyk; Edon Kelmendi; Rafal Stefanski; Georg Zetzsche (LICS, 2020)

Deciding ω-regular properties on linear recurrence sequences. - Shaull Almagor; Toghrul Karimov; Edon Kelmendi; Joël Ouaknine; James Worrell 001 (Proc. ACM Program. Lang., 2021)

What's Decidable About Discrete Linear Dynamical Systems? - Toghrul Karimov; Edon Kelmendi; Joël Ouaknine; James Worrell 001 (Principles of Systems Design, 2022)

Computing the Density of the Positivity Set for Linear Recurrence Sequences. - Edon Kelmendi (LICS, 2022)

Value iteration for simple stochastic games: Stopping criterion and learning algorithm. - Julia Eisentraut; Edon Kelmendi; Jan Kretínský; Maximilian Weininger (Inf. Comput., 2022)

Reachability in Injective Piecewise Affine Maps. - Faraz Ghahremani; Edon Kelmendi; Joël Ouaknine (LICS, 2023)

The Power of Positivity. - Toghrul Karimov; Edon Kelmendi; Joris Nieuwveld; Joël Ouaknine; James Worrell 001 (LICS, 2023)

Submixing and shift-invariant stochastic games. - Hugo Gimbert; Edon Kelmendi (Int. J. Game Theory, 2023)

Multiple Reachability in Linear Dynamical Systems. - Toghrul Karimov; Edon Kelmendi; Joël Ouaknine; James Worrell 001 (LICS, 2025)