Oleg Zaikin - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 28 from 28

2019

SAT-Based Cryptanalysis: From Parallel Computing to Volunteer ComputingOleg Zaikin. ruscdays 2019: 701-712 [doi]

2018

ALIAS: A Modular Tool for Finding Backdoors for SATStepan Kochemazov, Oleg Zaikin. sat 2018: 419-427 [doi]

On Cryptographic Attacks Using Backdoors for SATAlexander Semenov, Oleg Zaikin, Ilya Otpuschennikov, Stepan Kochemazov, Alexey Ignatiev. AAAI 2018: 6641-6648 [doi]

2017

Knowledge-based prediction in process control systems under limited measurement dataNatalia Bakhtadze, Ekaterina Sakrutina, Boris Pavlov, Vladimir Lototsky, Oleg Zaikin. kes 2017: 1225-1237 [doi]

Improving the effectiveness of SAT approach in application to analysis of several discrete models of collective behaviorStepan Kochemazov, Oleg Zaikin, Alexander Semenov. miproBIS 2017: 1172-1177 [doi]

Runtime estimation for enumerating all mutually orthogonal diagonal Latin squares of order 10Stepan Kochemazov, Oleg Zaikin, Alexander Semenov. miproBIS 2017: 1166-1171 [doi]

Motivation and social aspects of competence-based learning processOleg Zaikin, Magdalena Malinowska, Natalia Bakhtadze, Andrzej Zylawski. kes 2017: 1092-1101 [doi]

An Improved SAT-Based Guess-and-Determine Attack on the Alternating Step GeneratorOleg Zaikin, Stepan Kochemazov. isw 2017: 21-38 [doi]

2016

The application of parameterized algorithms for solving SAT to the study of several discrete models of collective behaviorStepan Kochemazov, Alexander Semenov, Oleg Zaikin. miproBIS 2016: 1288-1292 [doi]

Encoding Cryptographic Functions to SAT Using TRANSALG SystemIlya Otpuschennikov, Alexander Semenov, Irina Gribanova, Oleg Zaikin, Stepan Kochemazov. ecai 2016: 1594-1595 [doi]

On the Accuracy of Statistical Estimations of SAT Partitionings Effectiveness in Application to Discrete Function Inversion ProblemsAlexander Semenov, Oleg Zaikin. door 2016: 261-275 [doi]

On the Construction of Triples of Diagonal Latin Squares of Order 10Oleg Zaikin, Alexey Zhuravlev, Stepan Kochemazov, Eduard Vatutin. endm, 54:307-312, 2016. [doi]

A Volunteer-Computing-Based Grid Architecture Incorporating Idle Resources of Computational ClustersOleg Zaikin, Maxim Manzyuk, Stepan Kochemazov, Igor Bychkov, Alexander Semenov. naa 2017: 769-776 [doi]

SAT-based search for systems of diagonal latin squares in volunteer computing project SAT@homeOleg Zaikin, Stepan Kochemazov, Alexander Semenov. miproBIS 2016: 277-281 [doi]

2015

Using Monte Carlo Method for Searching Partitionings of Hard Variants of Boolean Satisfiability ProblemAlexander Semenov, Oleg Zaikin. pact 2015: 222-230 [doi]

2013

2012

Using BOINC Desktop Grid to Solve Large Scale SAT ProblemsMikhail Posypkin, Alexander Semenov, Oleg Zaikin. aghcs, 13(1):25-34, 2012. [doi]

2011

Intelligent Open Learning Systems - Concepts, Models and AlgorithmsPrzemyslaw Rózewski, Emma Kusztina, Ryszard Tadeusiewicz, Oleg Zaikin. Volume 22 of Intelligent Systems Reference Library, Springer, 2011. [doi]

Parallel Logical Cryptanalysis of the Generator A5/1 in BNB-Grid SystemAlexander Semenov, Oleg Zaikin, Dmitry Bespalov, Mikhail Posypkin. pact 2011: 473-483 [doi]

2009

Cost estimation algorithm and decision-making model for curriculum modification in educational organizationEmma Kushtina, Oleg Zaikin, Przemyslaw Rózewski, Bartlomiej Malachowski. eor, 197(2):752-763, 2009. [doi]

2007

On the Knowledge Repository Design and Management in E-LearningEmma Kushtina, Oleg Zaikin, Przemyslaw Rózewski. In Jie Lu, Guangquan Zhang, Da Ruan, editors, E-Service Intelligence: Methodologies, Technologies and Applications. Volume 37 of Studies in Computational Intelligence, pages 497-515, Springer, 2007. [doi]

2006

Extended Ontological Model for Distance Learning PurposeEmma Kushtina, Przemyslaw Rózewski, Oleg Zaikin. pakm 2006: 155-165 [doi]

Model and algorithm of the conceptual scheme formation for knowledge domain in distance learningOleg Zaikin, Emma Kushtina, Przemyslaw Rózewski. eor, 175(3):1379-1399, 2006. [doi]

2001

A knowledge base approach to courseware design for distance learningEmma Kushtina, Oleg Zaikin, N. Enlund. eunis 2002: 499-505

Optimization of Resource Allocation in Distributed Production NetworksOleg Zaikin, Alexandre Dolgui, Przemyslaw Korytkowski. ceemas 2002: 322-331 [doi]

2000

Queueing network models for a capacity allocation problemAlexandre Dolgui, Oleg Zaikin. scesm 2000: 315-317

Sign in or sign up to see more results.

runs on WebDSL