Ventsislav Chonev
发表
Joël Ouaknine,
James Worrell,
Ventsislav Chonev,
2015,
ArXiv.
Ventsislav Chonev,
Ventsislav Chonev,
2017,
RP.
Joël Ouaknine,
James Worrell,
Ventsislav Chonev,
2013,
J. ACM.
Joël Ouaknine,
James Worrell,
Ventsislav Chonev,
2015,
ArXiv.
Joël Ouaknine,
James Worrell,
Ventsislav Chonev,
2013,
STOC '13.
Joël Ouaknine,
James Worrell,
Ventsislav Chonev,
2015,
ICALP.
Thomas A. Henzinger,
Guy Avni,
Ventsislav Chonev,
2017,
CONCUR.
Andrew D. Ker,
Ventsislav Chonev,
2011,
Electronic Imaging.
Joël Ouaknine,
James Worrell,
Ventsislav Chonev,
2014,
SODA.
Joël Ouaknine,
James Worrell,
Ventsislav Chonev,
2015,
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).