Edon Kelmendi
发表
Nathanaël Fijalkow,
H. Gimbert,
Y. Oualhadj,
2015
.
Edon Kelmendi,
2021,
2109.14432.
Edon Kelmendi,
2021,
LICS.
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.
Hugo Gimbert,
Edon Kelmendi,
H. Gimbert,
2014,
ArXiv.
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.
Edon Kelmendi,
2021,
LICS.
Edon Kelmendi,
2021,
LICS.
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.