Evgeny Kuznetsov

According to our database, Evgeny Kuznetsov authored at least 5 papers between 2017 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

An explicit Kuznetsov-Muravitsky enrichment.

Mamuka Jibladze, Evgeny Kuznetsov

Ann. Pure Appl. Log., 2025

2024

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, January, 2024

2019

Porting CUDA-Based Molecular Dynamics Algorithms to AMD ROCm Platform Using HIP Framework: Performance Analysis.

Evgeny Kuznetsov, Vladimir V. Stegailov

Proceedings of the Supercomputing, 2019

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

Proceedings of the Parallel Processing and Applied Mathematics, 2019

2017

An Axiomatization of the d-logic of Planar Polygons.

David Gabelaia, Kristina Gogoladze, Mamuka Jibladze, Evgeny Kuznetsov, Levan Uridia

Proceedings of the Language, Logic, and Computation - 12th International Tbilisi Symposium, 2017