Sergey A. Gorsky

Publication Activity (10 Years)

Years Active: 2017-2020
Publications (10 Years): 11

Top Topics

Qualitative Analysis

Domain Knowledge

Dynamic Systems

Software Package

Top Venues

Program. Comput. Softw.

Publications

Vera G. Bogdanova, Sergey A. Gorsky, Anton A. Pashinin
HPC-based parallel software for solving applied Boolean satisfiability problems. MIPRO (2020)
Andrei Tchernykh, Igor V. Bychkov, Alexander G. Feoktistov, Sergey A. Gorsky, Ivan A. Sidorov, Roman Kostromin, Alexei V. Edelev, Valery Zorkalzev, Arutyun Avetisyan
Mitigating Uncertainty in Developing and Applying Scientific Applications in an Integrated Computing Environment. Program. Comput. Softw. 46 (8) (2020)
Gennady A. Oparin, Vera G. Bogdanova, Anton A. Pashinin, Sergey A. Gorsky
Microservice-oriented Approach to Automation of Distributed Scientific Computations. MIPRO (2019)
Vera G. Bogdanova, Sergey A. Gorsky
Multiagent Technology for Parallel Implementation of Boolean Constraint Method for Qualitative Analysis of Binary Dynamic Systems. MIPRO (2019)
Evgeny A. Barakhtenko, Dmitry V. Sokolov, Alexei Edelev, Sergey A. Gorsky
Research on the resilience of the intelligent integrated energy systems. ICCS-DE (2019)
Alexander G. Feoktistov, Sergey A. Gorsky, Ivan A. Sidorov, Andrei Tchernykh
Continuous Integration in Distributed Applied Software Packages. MIPRO (2019)
Vera G. Bogdanova, Sergey A. Gorsky
Scalable parallel solver of boolean satisfiability problems. MIPRO (2018)
Alexander G. Feoktistov, Roman Kostromin, Ivan A. Sidorov, Sergey A. Gorsky
Development of distributed subject-oriented applications for cloud computing through the integration of conceptual and modular programming. MIPRO (2018)
Gennady A. Oparin, Vera G. Bogdanova, Anton A. Pashinin, Sergey A. Gorsky
Distributed solvers of applied problems based on microservices and agent networks. MIPRO (2018)
Gennady A. Oparin, Vera G. Bogdanova, Sergey A. Gorsky, Anton A. Pashinin
Service-oriented application for parallel solving the Parametric Synthesis Feedback problem of controlled dynamic systems. MIPRO (2017)
Igor V. Bychkov, Gennady A. Oparin, Vera G. Bogdanova, Anton A. Pashinin, Sergey A. Gorsky
Automation Development Framework of Scalable Scientific Web Applications Based on Subject Domain Knowledge. PaCT (2017)