Evgeny A. Cherkashin

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