| Parallel logical cryptanalysis of the generator A5/1 in BNB-Grid system A Semenov, O Zaikin, D Bespalov, M Posypkin International Conference on Parallel Computing Technologies, 473-483, 2011 | 51 | 2011 |
| Using BOINC desktop grid to solve large scale SAT problems M Posypkin, A Semenov, O Zaikin Computer Science 13 (1), 25, 2012 | 45 | 2012 |
| Encoding cryptographic functions to SAT using Transalg system I Otpuschennikov, A Semenov, I Gribanova, O Zaikin, S Kochemazov Proceedings of the Twenty-second European Conference on Artificial …, 2016 | 40 | 2016 |
| Технология крулооблочного параллеллзма о SAT-задачах ОС Заикин, АА Семенов Проблемы управления, 2008 | 36 | 2008 |
| Опыт организации добровольных вычислений на примере проектов OPTIMA@ home и SAT@ home ОС Заикин, МА Посыпкин, АА Семёнов, НП Храпов Вестник Нижегородского университета им. НИ Лобачевского, 2012 | 33 | 2012 |
| Решение задач криптоанализа поточных шифров в распределенных вычислительных средах МА Посыпкин, ОС Заикин, ДВ Беспалов, АА Семенов Труды Института системного анализа Российской академии наук 46, 119-137, 2009 | 30 | 2009 |
| Algorithm for finding partitionings of hard variants of boolean satisfiability problem with application to inversion of some cryptographic functions A Semenov, O Zaikin SpringerPlus 5 (1), 554, 2016 | 28 | 2016 |
| Using Monte Carlo method for searching partitionings of hard variants of Boolean satisfiability problem A Semenov, O Zaikin International Conference on Parallel Computing Technologies, 222-230, 2015 | 26 | 2015 |
| Процедуры построения декомпозиционных множеств для распределенного решения SAT-задач в проекте добровольных вычислений SAT@ home ОС Заикин, АА Семёнов, МА Посыпкин Управление большими системами: сборник трудов, 2013 | 25 | 2013 |
| On the Construction of Triples of Diagonal Latin Squares of Order 10. O Zaikin, A Zhuravlev, S Kochemazov, E Vatutin Electronic Notes in Discrete Mathematics 54, 307-312, 2016 | 21 | 2016 |
| Technology for integrating idle computing cluster resources into volunteer computing projects AP Afanasiev, IV Bychkov, MO Manzyuk, MA Posypkin, AA Semenov, ... Proc. of The 5th International Workshop on Computer Science and Engineering …, 2015 | 21 | 2015 |
| On cryptographic attacks using backdoors for SAT A Semenov, O Zaikin, I Otpuschennikov, S Kochemazov, A Ignatiev Thirty-Second AAAI Conference on Artificial Intelligence, 2018 | 19 | 2018 |
| SAT-подход в криптоанализе некоторых систем поточного шифрования АА Семенов, ОС Заикин, ДВ Беспалов, АА Ушаков Вычислительные технологии 13 (6), 2008 | 19 | 2008 |
| Using grid systems for enumerating combinatorial objects on example of diagonal Latin squares EI Vatutin, O Zaikin, A Zhuravlev, M Manzyuk, S Kochemazov, VS Titov Selected Papers of the 7th International Conference Distributed Computing …, 2016 | 17 | 2016 |
| Решение задач обращения дискретных функций на многопроцессорных вычислительных системах АА Семенов, ОС Заикин, ДВ Беспалов, ПС Буров, АЕ Хмельнов Труды Четвертой Междунар. конф. PACO, 152-176, 2008 | 16 | 2008 |
| Применение метода Монте-Карло к прогнозированию времени параллельного решения проблемы булевой выполнимости ОС Заикин, АА Семёнов Вычислительные методы и программирование 15 (1), 22-35, 2014 | 15 | 2014 |
| Неполные алгоритмы в крупноблочном параллелизме комбинаторных задач АА Семёнов, ОС Заикин Вычислительные методы и программирование 9 (1), 108-118, 2008 | 15 | 2008 |
| Параллельная технология решения SAT-задач с применением пакета прикладных программ D-SAT ОС Заикин, АА Семенов, ИА Сидоров, АГ Феоктистов Вестник ТГУ. Приложение, 83-95, 2007 | 15 | 2007 |
| SAT-based search for systems of diagonal latin squares in volunteer computing project sat@ home O Zaikin, S Kochemazov, A Semenov 2016 39th International Convention on Information and Communication …, 2016 | 14 | 2016 |
| Реализация процедур прогнозирования трудоемкости параллельного решения SAT-задач ОС Заикин Вестник Уфимского государственного авиационного технического университета 14 …, 2010 | 14 | 2010 |
Mikhail PosypkinФедеральный исследовательский центр "Информатика и управление" РАНDirección de correo verificada de isa.ru
