Telescope guidance via automatic theorem proving. - Evgeny A. Cherkashin; Stanislav N. Vassilyev (SMC, 1998)

New Logics for Intelligent Control. - Evgeny A. Cherkashin; A. Postoenko; Stanislav N. Vassilyev; A. Zherlov (FLAIRS, 1999)

Theorem proving software, based on method of positively-constructed formulae. - A. A. Larionov; Evgeny A. Cherkashin; A. V. Davydov (MIPRO, 2011)

Information modeling of business processes in X-ray fluorescent analysis. - O. P. Vorobyeva; Evgeny A. Cherkashin; S. A. Ipatov; Viacheslav V. Paramonov (MIPRO, 2011)

On the calculus of positively constructed formulas for automated theorem proving. - A. V. Davydov; A. A. Larionov; Evgeny A. Cherkashin (Autom. Control. Comput. Sci., 2011)

New transformation approach for Model Driven Architecture. - Evgeny A. Cherkashin; I. N. Terehin; Viacheslav V. Paramonov; V. S. Tertychniy (MIPRO, 2012)

Extraction of thesaurus and project structure from Linux kernel source tree. - A. Y. Sokolov; I. R. Golovko; Evgeny A. Cherkashin (MIPRO, 2012)

An optimal control module of sustainable natural resources consumption control synthesis for decision support systems. - Evgeny A. Cherkashin; S. Badmatsyrenova; Igor N. Vladimirov; Anastasia K. Popova; A. V. Davydov (MIPRO, 2014)

Positive constructed formulas preprocessing for automatic deduction. - Evgeny A. Cherkashin; Artem Davydov; Alexander Larionov (MIPRO, 2016)

Control flow graph visualization in compiled software engineering. - Andrey A. Mikhailov; Aleksey E. Hmelnov; Evgeny A. Cherkashin; Igor V. Bychkov (MIPRO, 2016)

Model Driven Architecture Implementation Using Linked Data. - Evgeny A. Cherkashin; Alexey Kopaygorodsky; Ljubica Kazi; Alexey O. Shigarov; Viacheslav Paramonov (ICIST, 2018)

TabbyPDF: Web-Based System for PDF Table Extraction. - Alexey O. Shigarov; Andrey Altaev; Andrey A. Mikhailov; Viacheslav Paramonov; Evgeniy A. Cherkashin (ICIST, 2018)

A computational independent model for a medical quality management information system. - Evgeny A. Cherkashin; Ljubica Kazi; Alexey O. Shigarov; Viacheslav V. Paramonov (ITAMS, 2018)

Моделирование влияния природных и антропогенных факторов на леса Иркутской области (Modeling the contribution of natural and anthropogenic factors on the forests in Irkutsk region, Russia). - Anastasia K. Popova; Evgeny A. Cherkashin; Igor N. Vladimirov (ITAMS, 2018)

Towards End-to-End Transformation of Arbitrary Tables from Untagged Portable Documents (PDF) to Linked Data. - Alexey O. Shigarov; Igor Cherepanov; Evgeniy A. Cherkashin; Nikita O. Dorodnykh; Vasiliy V. Khristyuk; Andrey A. Mikhailov; Viacheslav Paramonov; Egor Rozhkow; Alexandr Yu. Yurin (ITAMS, 2019)

Digital Archives Supporting Document Content Inference. - Evgeny A. Cherkashin; Alexey O. Shigarov; Viacheslav Paramonov; Andrey A. Mikhailov (MIPRO, 2019)

Construction techniques of Baikal microbiome research information-computational environment. - Evgeniy A. Cherkashin; Alexey O. Shigarov (AICTS, 2020)

Towards lightweight representation of the table semantics for the cross-context information exchange. - Alexey O. Shigarov; Vasiliy V. Khristyuk; Evgeniy A. Cherkashin; Shuo Yang (ITAMS, 2020)

Web-GIS viewer for active faults data represented as a knowledge graph. - Evgeny A. Cherkashin; Oksana V. Lunina; Leonid O. Demyanov; Alexander V. Tsygankov (ITAMS, 2021)