Dynamic Specialization in Extended Functional Language with Monotone Objects. - Andrei V. Klimov (PEPM, 1991)

Occam's Razor in Metacompuation: the Notion of a Perfect Process Tree. - Robert Glück; Andrei V. Klimov (WSA, 1993)

A Regeneration Scheme for Generating Extensions. - Robert Glück; Andrei V. Klimov (Inf. Process. Lett., 1997)

Program Specialization vs. Program Composition. - Andrei V. Klimov (ACM Comput. Surv., 1998)

On the Degeneration of Program Generators by Program Composition. - Robert Glück; Andrei V. Klimov (New Gener. Comput., 1998)

Partial Evaluation for Common Intermediate Language. - Andrei M. Chepovsky; Andrei V. Klimov; Arkady V. Klimov; Yuri A. Klimov; Andrei S. Mishchenko; Sergei A. Romanenko; Sergei Yu. Skorobogatov (Ershov Memorial Conference, 2003)

Specifying Monogenetic Specializers by Means of a Relation Between Source and Residual Programs. - Andrei V. Klimov (Ershov Memorial Conference, 2006)

A Java Supercompiler and Its Application to Verification of Cache-Coherence Protocols. - Andrei V. Klimov (Ershov Memorial Conference, 2009)

Solving Coverability Problem for Monotonic Counter Systems by Supercompilation. - Andrei V. Klimov (Ershov Memorial Conference, 2011)