Vladimir Zamdzhiev
发表
Vladimir Zamdzhiev,
2018,
TERMGRAPH@FSCD.
Simon Perdrix,
Mathys Rennela,
Romain Péchoux,
2020
.
Vladimir Zamdzhiev,
Bert Lindenhovius,
Michael Mislove,
2019,
Proc. ACM Program. Lang..
Vladimir Zamdzhiev,
V. Zamdzhiev,
2012
.
Vladimir Zamdzhiev,
Bert Lindenhovius,
Michael Mislove,
2019,
Log. Methods Comput. Sci..
Dimitar Misev,
Michael Kohlhase,
Catalin David,
2008
.
Vladimir Zamdzhiev,
2020,
CMCS.
Aleks Kissinger,
Vladimir Zamdzhiev,
A. Kissinger,
2015,
CADE.
Vladimir Zamdzhiev,
2020,
ArXiv.
Vladimir Zamdzhiev,
Christian Schröder de Witt,
C. S. D. Witt,
2014,
QPL.
Simon Perdrix,
Mathys Rennela,
Romain Péchoux,
2019,
FoSSaCS.
Dimitar Misev,
Michael Kohlhase,
Deyan Ginev,
2009
.
Aleks Kissinger,
Vladimir Zamdzhiev,
2015,
ICGT.
Vladimir Zamdzhiev,
V. Zamdzhiev,
2019,
ACT.
Michael W. Mislove,
Vladimir Zamdzhiev,
Bert Lindenhovius,
2018,
LICS.
Aleks Kissinger,
Vladimir Zamdzhiev,
2015,
GaM.
Vladimir Zamdzhiev,
Bert Lindenhovius,
Michael Mislove,
2021,
Proc. ACM Program. Lang..
Emmanuel Jeandel,
Vladimir Zamdzhiev,
Liliane-Joy Dandy,
2021,
ArXiv.
Michael W. Mislove,
Vladimir Zamdzhiev,
Xiaodong Jia,
2021,
ArXiv.
Michael W. Mislove,
Vladimir Zamdzhiev,
Xiaodong Jia,
2021,
CALCO.
Simon Perdrix,
Georg Moser,
Martin Avanzini,
2022
.
Vladimir Zamdzhiev,
Bert Lindenhovius,
Michael Mislove,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Vladimir Zamdzhiev,
Bert Lindenhovius,
Michael Mislove,
2020
.