Edon Kelmendi
发表
Edon Kelmendi,
2016
.
Michal Skrzypczak,
Mikolaj Bojanczyk,
Edon Kelmendi,
2019,
ArXiv.
Hugo Gimbert,
Edon Kelmendi,
H. Gimbert,
2014,
ArXiv.
Joël Ouaknine,
James Worrell,
Shaull Almagor,
2020,
Proc. ACM Program. Lang..
Shaull Almagor,
Edon Kelmendi,
Joel Ouaknine,
2020,
ICALP.
Georg Zetzsche,
Edon Kelmendi,
Mikolaj Boja'nczyk,
2020,
2002.09393.
Jan Kretínský,
Edon Kelmendi,
Maximilian Weininger,
2018,
CAV.
Hugo Gimbert,
Edon Kelmendi,
Youssouf Oualhadj,
2011,
2012 27th Annual IEEE Symposium on Logic in Computer Science.
Mikolaj Bojanczyk,
Hugo Gimbert,
Edon Kelmendi,
2017,
ICALP.
Denis Kuperberg,
Hugo Gimbert,
Edon Kelmendi,
2017,
CIAA.
Hugo Gimbert,
Edon Kelmendi,
2016,
SAGT.
Georg Zetzsche,
Edon Kelmendi,
Mikolaj Bojanczyk,
2020,
LICS.
Shaull Almagor,
Edon Kelmendi,
Joel Ouaknine,
2020
.
Michal Skrzypczak,
Mikolaj Bojanczyk,
Edon Kelmendi,
2019,
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Edon Kelmendi,
2021
.