| On the calculus of positively constructed formulas for automated theorem proving AV Davydov, AA Larionov, EA Cherkashin Automatic Control and Computer Sciences 45, 402-407, 2011 | 31 | 2011 |
| Цифровые модели рельефа: методика построения и возможности использования при геоморфологическом анализе СБ Кузьмин, ЛВ Данько, ЕА Черкашин, ЭЮ Осипов Геоморфология, 33-41, 2007 | 24 | 2007 |
| The calculus of positively constructed formulas, its features, strategies and implementation A Larionov, A Davydov, E Cherkashin 2013 36th International Convention on Information and Communication …, 2013 | 16 | 2013 |
| Интеллектное управление телескопом СН Васильев, ЕА Черкашин Сибирский журнал индустриальной математики 1 (2), 81-98, 1998 | 13 | 1998 |
| Неоднородные сети и проблемы моделирования высших функций мозга ВБ Вальцев, ИР Григорьев, ВВ Лавров, ЕА Черкашин нейроинформатика: сб. тр.–м, 52-56, 2000 | 11 | 2000 |
| Программная система КВАНТ/1 для автоматического доказательства теорем ЕА Черкашин | 11 | 1999 |
| Автоматизация синтеза ядра информационной системы с использованием UML-описания ЕА Черкашин, РК Федоров, ИВ Бычков, ВВ Парамонов Вычислительные технологии 10 (S1), 114-121, 2005 | 9 | 2005 |
| Generation technique for Django MVC web framework using the stratego transformation language DV Annenkov, EA Cherkashin 2013 36th International Convention on Information and Communication …, 2013 | 8 | 2013 |
| Model driven architecture is a complex system EA Cherkashin, VV Paramonov, SA Ipatov, VS Tertychniy, IN Terehin E-Society Journal Research and Applications 2 (2), 15-23, 2011 | 8 | 2011 |
| Theorem proving software, based on method of positively-constructed formulae AA Larionov, EA Cherkashin, AV Davydov 2011 Proceedings of the 34th International Convention MIPRO, 965-968, 2011 | 7 | 2011 |
| Об исчислении позитивно-образованных формул для автоматического доказательства теорем АВ Давыдов, АА Ларионов, ЕА Черкашин Моделирование и анализ информационных систем 17 (4), 60-70, 2010 | 7 | 2010 |
| Control flow graph visualization in compiled software engineering A Mikhailov, A Hmelnov, E Cherkashin, I Bychkov 2016 39th International Convention on Information and Communication …, 2016 | 6 | 2016 |
| Технология построения интеллектного программного обеспечения автоматизации планирования методики рентгенофлуоресцентного анализа ЕА Черкашин, ТЮ Черкашина, ЕВ Худоногова Аналитика и контроль. 2002.№ 4, 454-462, 2002 | 6 | 2002 |
| Representation of MDA transformation with logical objects E Cherkashin, A Shigarov, V Paramonov 2019 International Multi-Conference on Engineering, Computer and Information …, 2019 | 5 | 2019 |
| Digital archives supporting document content inference E Cherkashin, A Shigarov, V Paramonov, A Mikhailov 2019 42nd International Convention on Information and Communication …, 2019 | 5 | 2019 |
| An instrumental environment for metagenomic analysis E Cherkashin, A Shigarov, F Malkov, A Morozov Information Technologies in the Research of Biodiversity: Proceedings of the …, 2019 | 5 | 2019 |
| The method for translating first-order formulas into positively construct-ed formulas AV Davydov, AA Larionov, EA Cherkashin Software & Systems 32 (4), 556-564, 2019 | 5 | 2019 |
| Calculus of Positively Constructed Formulas its Features Strategies and Implementation EA Cherkashin, AA Larionov, AV Davydov MIPRO 2013/CIS (36-th international convention on information and …, 2013 | 5 | 2013 |
| Геоинформационное картографирование на основе модели пластики рельефа и возможность ее использования при геоморфологическом анализе СБ Кузьмин, ИВ Невзорова, ЕА Черкашин, СИ Шаманова Геоинформатика, 19-34, 2016 | 4 | 2016 |
| An optimal control module of sustainable natural resources consumption control synthesis for decision support systems E Cherkashin, S Badmatsyrenova, I Vladimirov, A Popova, A Davydov 2014 37th International Convention on Information and Communication …, 2014 | 4 | 2014 |
Viacheslav Paramonovresearcher, ISDCT SB RASCorreu electrònic verificat a paramonov.by
