Автоматическая оценка подобия тематического содержания текстов на основе сравнения их формализованных смысловых описаний (Automatic Assessment of Similarity of the Texts' Thematic Content on the Base of Their Formalized Semantic Descriptions Comparison). - Viktor Zakharov; Alexey Khoroshilov (RCDL, 2012)

Методы решения задачи автоматического выявления заимствований в структурированных научно-технических документах на основе их семантического анализа (Semantic Methods for Solving a Problem of Automatic Detection of Plagiarism in Structured Scientific and Technical Documents). - Viktor Zakharov; Alexey Khoroshilov (RCDL, 2013)

Методы автоматического построения формализованного представления содержания материалов электронных средств массовых коммуникаций для решения задачи мониторинга и оценки деятельности органов власти (Methods for Automatic Construction of a Formalized Representation of the Contents of Electronic Mass Communication Materials to Solve the Problem of Monitoring and Assessment of Authorities). - Yury Nikitin; Alexander Khoroshilov; Alexey Khoroshilov (RCDL, 2014)

Метод выявления имплицитно выраженных заимствований в научно-технических текстах на основе их концептуального анализа (A Method for Detecting Implicit Plagiarism in Scientific and Technical Texts on the Basis of their Conceptual Analysis). - Alexey Khoroshilov (DAMDID/RCDL, 2015)

Метод выявления заимствований в текстах разноязычных документов (A Method of Automatic Plagiarism Detection in Multilingual Documents). - Viktor Zakharov; Alexander Khoroshilov; Alexey Khoroshilov (DAMDID/RCDL, 2016)

Принципы создания многоязычной электронной библиотеки для крупного информационного центра (The Principles of Creating a Multilingual Electronic Library for a Large Information Center). - Victor N. Zakharov; Yury V. Nikitin; Alexander A. Khoroshilov; Alexey A. Khoroshilov (DAMDID/RCDL, 2017)

Deductive Binary Code Verification Against Source-Code-Level Specifications. - Alexander Kamkin; Alexey Khoroshilov; Artem Kotsynyak; Pavel Putro (TAP@STAF, 2020)

Dynamic Analysis of ARINC 653 RTOS with LLVM. - Vitaly Cheptsov; Alexey Khoroshilov (CoRR, 2021)

Cross-platform graphics subsystem for an ARINC 653-compatible real-time operating system. - Maksim Raenchuk; Vitaly Cheptsov; Alexey Khoroshilov (CoRR, 2021)

Robust Resource Partitioning Approach for ARINC 653 RTOS. - Vitaly Cheptsov; Alexey Khoroshilov (CoRR, 2023)