Research Papers

Contents

	Research Interests
	Research Papers
	Programming Projects
	Education
	Some Pictures
	Contact Information

Conferences

	I/O-Conscious Data Preparation for Large-Scale Web Search Engines. Maxim Lifantsev and Tzi-cker Chiueh. Proceedings of 28th International Conference on Very Large Data Bases, August 20-23, 2002, Hong Kong, China, Morgan Kaufmann, Hong Kong, August 2002.
	Voting Model for Ranking Web Pages. Maxim Lifantsev. In Peter Graham and Muthucumaru Maheswaran, editors, Proceedings of the International Conference on Internet Computing (Las Vegas, Nevada, U.S.A.), CSREA Press, pages 143-148, Las Vegas, June 2000.
	A Decision Procedure for Proofs Visualization. Anita Wasilewska, Maxim Lifantsev, and Laurent Vigneron. Invited talk at the Session of the Polish Association for Logic and Philosophy of Science dedicated to the memory of Andrzej Mostowski and Helena Rasiowa, National Institute of Telecommunications, Warsaw, Poland, November 1999.
	A Decision Procedure for Rough Set Equalities. Maxim Lifantsev and Anita Wasilewska. In Rajesh N. Dave and Thomas Sudkamp, editors, Proceedings of the 18th International Conference of the North American Fuzzy Logic Information Processing Society - NAFIPS (New York, U.S.A.), IEEE, pages 786-790, New York, June 1999.
	An LPO-based Termination Ordering for Higher-Order Terms without $\lambda$-abstraction. Maxim Lifantsev and Leo Bachmair. In Jim Grundy and Malcolm Newey, editors, Proceedings of the 11th International Conference on Theorem Proving in Higher Order Logics (Canberra, Australia), volume 1479 of Lecture Notes in Computer Science, pages 277-293, Berlin, September 1998. Springer-Verlag.

Theses

Term Rewriting Systems. Maxim Lifantsev. Diploma Thesis, Dept. of Cybernetics, Moscow State Engineering-Physics Institute (Technical University), Moscow, Russia, February 1996. In Russian.

Technical Reports

	A System for Collaborative Web Resource Categorization and Ranking. Maxim Lifantsev. Ph.D. Dissertation Proposal, Department of Computer Science, SUNY at Stony Brook, Stony Brook, NY, October 2001.
	Open Peer-Review as Web's Self-Organization Force. Maxim Lifantsev. Technical Report TR-78, ECSL, Department of Computer Science, SUNY at Stony Brook, Stony Brook, NY, February 2000.
	Rank Computation Methods for Web Documents. Maxim Lifantsev. Technical Report TR-76, ECSL, Department of Computer Science, SUNY at Stony Brook, Stony Brook, NY, November 1999.
	Universal Rough Diagrams for Deciding Rough Set Theory. Maxim Lifantsev. Project report for Artificial Intelligence course (with Prof. Anita Wasilewska), Dept. of Computer Science, SUNY at Stony Brook, Stony Brook, NY, USA, December 1999.
	Clause Partitioning for Logic Programming Optimization. Maxim Lifantsev. Project report for Advanced Algorithms course (with Prof. Steven Skiena), Dept. of Computer Science, SUNY at Stony Brook, Stony Brook, NY, USA, May 1998.
	Orderal Term Rewriting Systems. Maxim L. Lifantsev. Unpublished Manuscript, Dept. of Cybernetics, Moscow State Engineering-Physics Institute (Technical University), Moscow, Russia, September 1995.

Other

	Building an Open Global Ranking Search Engine and Directory. Maxim Lifantsev. Presentation at the 6th Graduate Student Research Conference - GSRC99, Dept. of Computer Science, SUNY at Stony Brook, Stony Brook, NY, USA, May 1999.
	Non-computational Equations and Rewriting Techniques. Maxim Lifantsev. Research Proficiency Examination. Dept. of Computer Science, SUNY at Stony Brook, Stony Brook, NY, USA, May 1998.

The papers on this page are included to ensure timely dissemination on a noncommercial basis. Copyright and all rights therein are maintained by the author(s) or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by the copyrights. These papers may not be reposted without the explicit permission of the copyright holder.