Vladimir Zamdzhiev
发表
M. Mislove,
B. Lindenhovius,
Vladimir Zamdzhiev,
2017
.
T. Carette,
Vladimir Zamdzhiev,
Louis Lemonnier,
2022,
ArXiv.
M. Mislove,
Xiaodong Jia,
B. Lindenhovius,
2021
.
Romain Péchoux,
S. Perdrix,
Martin Avanzini,
2022,
LICS.
Vladimir Zamdzhiev,
Bert Lindenhovius,
Michael Mislove,
2021,
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Vladimir Zamdzhiev,
Christian Schröder de Witt,
C. S. D. Witt,
2014,
QPL.
Aleks Kissinger,
Vladimir Zamdzhiev,
A. Kissinger,
2015,
CADE.
Simon Perdrix,
Mathys Rennela,
Romain Péchoux,
2019,
FoSSaCS.
Vladimir Zamdzhiev,
Bert Lindenhovius,
Michael Mislove,
2021,
Proc. ACM Program. Lang..
Vladimir Zamdzhiev,
Bert Lindenhovius,
Michael Mislove,
2019,
Log. Methods Comput. Sci..
Vladimir Zamdzhiev,
Bert Lindenhovius,
Michael Mislove,
2019,
Proc. ACM Program. Lang..
Michael W. Mislove,
Vladimir Zamdzhiev,
Bert Lindenhovius,
2018,
LICS.
Vladimir Zamdzhiev,
Bert Lindenhovius,
Michael Mislove,
2020
.