Alexey Khoroshilov

According to our database, Alexey Khoroshilov authored at least 6 papers between 2012 and 2020.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of six.

2020

Deductive Binary Code Verification Against Source-Code-Level Specifications.

Alexander Kamkin, Alexey Khoroshilov, Artem Kotsynyak, Pavel Putro

Proceedings of the Tests and Proofs - 14th International Conference, 2020

2016

Метод выявления заимствований в текстах разноязычных документов (A Method of Automatic Plagiarism Detection in Multilingual Documents).

Viktor Zakharov, Alexander Khoroshilov, Alexey Khoroshilov

Proceedings of the Selected Papers of the XVIII International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2016), 2016

2015

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

Alexey Khoroshilov

Proceedings of the Selected Papers of the XVII International Conference on Data Analytics and Management in Data Intensive Domains (DAMDID/RCDL 2015), 2015

2014

Методы автоматического построения формализованного представления содержания материалов электронных средств массовых коммуникаций для решения задачи мониторинга и оценки деятельности органов власти (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

Proceedings of the Selected Papers of XVI All-Russian Scientific Conference "Digital libraries: Advanced Methods and Technologies, 2014

2013

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

Viktor Zakharov, Alexey Khoroshilov

Proceedings of the Selected Papers of the 15th All-Russian Scientific Conference "Digital libraries: Advanced Methods and Technologies, 2013

2012

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

Viktor Zakharov, Alexey Khoroshilov

Proceedings of the 14th All-Russian Scientific Conference "Digital libraries: Advanced Methods and Technologies, 2012