An Axiomatization of the d-logic of Planar Polygons. - David Gabelaia; Kristina Gogoladze; Mamuka Jibladze; Evgeny Kuznetsov; Levan Uridia (TbiLLC, 2017)

Performance and Portability of State-of-Art Molecular Dynamics Software on Modern GPUs. - Evgeny Kuznetsov; Nikolay Kondratyuk; Mikhail Logunov; Vsevolod P. Nikolskiy; Vladimir V. Stegailov (PPAM (1), 2019)

Porting CUDA-Based Molecular Dynamics Algorithms to AMD ROCm Platform Using HIP Framework: Performance Analysis. - Evgeny Kuznetsov; Vladimir V. Stegailov (RuSCDays, 2019)

Temporal logic of surjective bounded morphisms between finite linear processes. - David Gabelaia; Evgeny Kuznetsov; Radu-Casian Mihailescu; Konstantine Razmadze; Levan Uridia (J. Appl. Non Class. Logics, 2024)

An explicit Kuznetsov-Muravitsky enrichment. - Mamuka Jibladze; Evgeny Kuznetsov (Ann. Pure Appl. Log., 2025)