Edon Kelmendi

发表

Nathanaël Fijalkow, H. Gimbert, Y. Oualhadj, 2015 .

Michal Skrzypczak, Mikolaj Bojanczyk, Edon Kelmendi, 2019, 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

Michal Skrzypczak, Mikolaj Bojanczyk, Edon Kelmendi, 2019, ArXiv.

Hugo Gimbert, Edon Kelmendi, Youssouf Oualhadj, 2011, 2012 27th Annual IEEE Symposium on Logic in Computer Science.

H. Gimbert, Edon Kelmendi, 2014, International Journal of Game Theory.

J. Ouaknine, J. Worrell, T. Karimov, 2022, Principles of Systems Design.

Joël Ouaknine, James Worrell, Shaull Almagor, 2020, Proc. ACM Program. Lang..

Jan Kretínský, Edon Kelmendi, Maximilian Weininger, 2018, CAV.

J. Ouaknine, J. Worrell, T. Karimov, 2020, 2010.14432.

J. Ouaknine, Edon Kelmendi, Faraz Ghahremani, 2023, 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).

Jan Křetínský, Edon Kelmendi, Julia Eisentraut, 2022, Inf. Comput..

Georg Zetzsche, Edon Kelmendi, Mikolaj Bojanczyk, 2020, LICS.

Georg Zetzsche, Edon Kelmendi, Mikolaj Boja'nczyk, 2020, 2002.09393.