Login / Signup
Evgeny Kuznetsov
Publication Activity (10 Years)
Years Active: 2017-2024
Publications (10 Years): 4
Top Topics
Minkowski Sum
Curved Surfaces
Modal Logic
Molecular Dynamics
Top Venues
J. Appl. Non Class. Logics
RuSCDays
PPAM (1)
TbiLLC
</>
Publications
</>
David Gabelaia
,
Evgeny Kuznetsov
,
Radu-Casian Mihailescu
,
Konstantine Razmadze
,
Levan Uridia
Temporal logic of surjective bounded morphisms between finite linear processes.
J. Appl. Non Class. Logics
34 (1) (2024)
Evgeny Kuznetsov
,
Vladimir V. Stegailov
Porting CUDA-Based Molecular Dynamics Algorithms to AMD ROCm Platform Using HIP Framework: Performance Analysis.
RuSCDays
(2019)
Evgeny Kuznetsov
,
Nikolay Kondratyuk
,
Mikhail Logunov
,
Vsevolod P. Nikolskiy
,
Vladimir V. Stegailov
Performance and Portability of State-of-Art Molecular Dynamics Software on Modern GPUs.
PPAM (1)
(2019)
David Gabelaia
,
Kristina Gogoladze
,
Mamuka Jibladze
,
Evgeny Kuznetsov
,
Levan Uridia
An Axiomatization of the d-logic of Planar Polygons.
TbiLLC
(2017)