A Proof Procedure for Hereditary Harrop Formulas with Free Equality. - Evgeny Makarov (LFCS, 1997)

Generating displacement from normal map for use in 3D games. - Kirill Dmitriev; Evgeny Makarov (SIGGRAPH Talks, 2011)

Provably Total Functions of Arithmetic with Basic Terms - Evgeny Makarov (DICE, 2011)

The Picard Algorithm for Ordinary Differential Equations in Coq. - Evgeny Makarov; Bas Spitters (ITP, 2013)

Characterisation and comparison of spatial patterns in urban systems: A case study of U.S. cities. - Hoai Nguyen Huynh; Evgeny Makarov; Erika Fille T. Legara; Christopher P. Monterola; Lock Yue Chew (J. Comput. Sci., 2018)