Maxim Lifantsev
发表
Maxim Lifantsev,
2000,
International Conference on Internet Computing.
Leo Bachmair,
Maxim Lifantsev,
1998,
TPHOLs.
Maxim Lifantsev,
2000
.
Tzi-cker Chiueh,
Maxim Lifantsev,
2002,
VLDB.
Tzi-cker Chiueh,
Maxim Lifantsev,
2003,
USENIX Annual Technical Conference, FREENIX Track.
Maxim Lifantsev,
Kostya Serebryany,
Doug Kwan,
2021,
ArXiv.