Dr Edon Kelmendi

Lecturer in Computer Science
School of Electronic Engineering and Computer Science
Queen Mary University of London
Queen Mary University of London
Research
Dynamical Systems, Logics in CS, Game theory, Automata
Interests
I am generally interested in the theory of computation, particularly in algorithmic verification, including but not limited to algorithms for dynamical systems, logics in computer science, game theory, and automata.Publications

2023

Kelmendi E
Logical Methods in Computer Science, Centre Pour La Communication Scientifique Directe (Ccsd) vol. Volume 19, Issue 4
28-11-2023

Karimov T, Kelmendi E, Nieuwveld J, Ouaknine J and Worrell J
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
29-06-2023

Ghahremani F, Kelmendi E and Ouaknine J
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
29-06-2023

Gimbert H and Kelmendi E
International Journal of Game Theory, Springer Nature vol. 52 (4), 1179-1214.
25-05-2023
2022

Eisentraut J, Kelmendi E, Křetínský J and Weininger M
Information and Computation, Elsevier vol. 285
01-05-2022