Vyacheslav Zholudev

TNTBase: Versioned Storage for XML

Michael Kohlhase, Vyacheslav Zholudev, M. Kohlhase, 2009 .

Towards MKM in the large: modular representation and scalable software architecture pdf

Michael Kohlhase, Florian Rabe, Vyacheslav Zholudev, 2010, AISC'10/MKM'10/Calculemus'10.