An LPO-based Termination Ordering for Higher-Order Terms without lambda-abstraction. - Maxim Lifantsev; Leo Bachmair (TPHOLs, 1998)

Voting Model for Ranking Web Pages. - Maxim Lifantsev (International Conference on Internet Computing, 2000)

I/O-Conscious Data Preparation for Large-Scale Web Search Engines. - Maxim Lifantsev; Tzi-cker Chiueh (VLDB, 2002)

Implementation of a Modern Web Search Engine Cluster. - Maxim Lifantsev; Tzi-cker Chiueh (USENIX ATC, FREENIX Track, 2003)

SiliFuzz: Fuzzing CPUs by proxy. - Kostya Serebryany; Maxim Lifantsev; Konstantin Shtoyk; Doug Kwan; Peter Hochschild (CoRR, 2021)