Evgeny A. Cherkashin

Publication Activity (10 Years)

Years Active: 1998-2021
Publications (10 Years): 7

Top Topics

Model Driven Architecture

Digital Archives

Decision Support

Top Venues

Publications

Evgeny A. Cherkashin, Oksana V. Lunina, Leonid O. Demyanov, Alexander V. Tsygankov
Web-GIS viewer for active faults data represented as a knowledge graph. ITAMS (2021)
Evgeny A. Cherkashin, Alexey O. Shigarov, Viacheslav Paramonov, Andrey A. Mikhailov
Digital Archives Supporting Document Content Inference. MIPRO (2019)
Evgeny A. Cherkashin, Ljubica Kazi, Alexey O. Shigarov, Viacheslav V. Paramonov
A computational independent model for a medical quality management information system. ITAMS (2018)
Anastasia K. Popova, Evgeny A. Cherkashin, Igor N. Vladimirov
Моделирование влияния природных и антропогенных факторов на леса Иркутской области (Modeling the contribution of natural and anthropogenic factors on the forests in Irkutsk region, Russia). ITAMS (2018)
Evgeny A. Cherkashin, Alexey Kopaygorodsky, Ljubica Kazi, Alexey O. Shigarov, Viacheslav Paramonov
Model Driven Architecture Implementation Using Linked Data. ICIST (2018)
Evgeny A. Cherkashin, Artem Davydov, Alexander Larionov
Positive constructed formulas preprocessing for automatic deduction. MIPRO (2016)
Andrey A. Mikhailov, Aleksey E. Hmelnov, Evgeny A. Cherkashin, Igor V. Bychkov
Control flow graph visualization in compiled software engineering. MIPRO (2016)
Evgeny A. Cherkashin, S. Badmatsyrenova, Igor N. Vladimirov, Anastasia K. Popova, A. V. Davydov
An optimal control module of sustainable natural resources consumption control synthesis for decision support systems. MIPRO (2014)
A. Y. Sokolov, I. R. Golovko, Evgeny A. Cherkashin
Extraction of thesaurus and project structure from Linux kernel source tree. MIPRO (2012)
Evgeny A. Cherkashin, I. N. Terehin, Viacheslav V. Paramonov, V. S. Tertychniy
New transformation approach for Model Driven Architecture. MIPRO (2012)
A. A. Larionov, Evgeny A. Cherkashin, A. V. Davydov
Theorem proving software, based on method of positively-constructed formulae. MIPRO (2011)
A. V. Davydov, A. A. Larionov, Evgeny A. Cherkashin
On the calculus of positively constructed formulas for automated theorem proving. Autom. Control. Comput. Sci. 45 (7) (2011)
O. P. Vorobyeva, Evgeny A. Cherkashin, S. A. Ipatov, Viacheslav V. Paramonov
Information modeling of business processes in X-ray fluorescent analysis. MIPRO (2011)
Evgeny A. Cherkashin, A. Postoenko, Stanislav N. Vassilyev, A. Zherlov
New Logics for Intelligent Control. FLAIRS Conference (1999)
Evgeny A. Cherkashin, Stanislav N. Vassilyev
Telescope guidance via automatic theorem proving. SMC (1998)