Evgeny Makarov

Publication Activity (10 Years)

Years Active: 1997-2018
Publications (10 Years): 1

Top Topics

Spatial Patterns

Transportation Systems

Top Venues

J. Comput. Sci.

Publications

Hoai Nguyen Huynh, Evgeny Makarov, Erika Fille T. Legara, Christopher P. Monterola, Lock Yue Chew
Characterisation and comparison of spatial patterns in urban systems: A case study of U.S. cities. J. Comput. Sci. 24 (2018)
Evgeny Makarov, Bas Spitters
The Picard Algorithm for Ordinary Differential Equations in Coq. ITP (2013)
Evgeny Makarov
Provably Total Functions of Arithmetic with Basic Terms DICE (2011)
Kirill Dmitriev, Evgeny Makarov
Generating displacement from normal map for use in 3D games. SIGGRAPH Talks (2011)
Evgeny Makarov
A Proof Procedure for Hereditary Harrop Formulas with Free Equality. LFCS (1997)