Vera G. Bogdanova

14 papers B 1Journal 1Unranked 12
YearRankTypeTitle / Venue / Authors
2024 — conf
Dynamics of Bipartite Logical Networks.
MIPRO
Gennady A. Oparin, Vera G. Bogdanova, Anton A. Pashinin
2023 — conf
Binary Dynamic Models of Structural Synthesis of Programs.
MIPRO
Gennady A. Oparin, Vera G. Bogdanova, Anton A. Pashinin
2022 — conf
Implicit Boolean Network for Planning Actions.
MIPRO
Gennady A. Oparin, Vera G. Bogdanova, Anton A. Pashinin
2021 — conf
Classification in Binary Feature Space Using Logical Dynamic Models.
MIPRO
Gennady A. Oparin, Vera G. Bogdanova, Anton A. Pashinin
2021 — conf
Service-oriented Application for Solving Parametric Synthesis Problem of a Boolean Network with Given Dynamic Properties.
MIPRO
Gennady A. Oparin, Vera G. Bogdanova, Anton A. Pashinin
2020 — conf
HPC-based parallel software for solving applied Boolean satisfiability problems.
MIPRO
Vera G. Bogdanova, Sergey A. Gorsky, Anton A. Pashinin
2020 — conf
Microservice approach to the qualitative study of attractors of binary dynamic systems based on the Boolean constraint method.
MIPRO
Gennady A. Oparin, Vera G. Bogdanova, Anton A. Pashinin
2019 — conf
Microservice-oriented Approach to Automation of Distributed Scientific Computations.
MIPRO
Gennady A. Oparin, Vera G. Bogdanova, Anton A. Pashinin, Sergey A. Gorsky
2019 — conf
Multiagent Technology for Parallel Implementation of Boolean Constraint Method for Qualitative Analysis of Binary Dynamic Systems.
MIPRO
Vera G. Bogdanova, Sergey A. Gorsky
2018 — conf
Distributed solvers of applied problems based on microservices and agent networks.
MIPRO
Gennady A. Oparin, Vera G. Bogdanova, Anton A. Pashinin, Sergey A. Gorsky
2018 — conf
Scalable parallel solver of boolean satisfiability problems.
MIPRO
Vera G. Bogdanova, Sergey A. Gorsky
2017 B conf
Automation Development Framework of Scalable Scientific Web Applications Based on Subject Domain Knowledge.
PaCT
Igor V. Bychkov, Gennady A. Oparin, Vera G. Bogdanova, Anton A. Pashinin, Sergey A. Gorsky
2017 — conf
Service-oriented application for parallel solving the Parametric Synthesis Feedback problem of controlled dynamic systems.
MIPRO
Gennady A. Oparin, Vera G. Bogdanova, Sergey A. Gorsky, Anton A. Pashinin
2015 J jnl
Service-oriented multiagent control of distributed computations.
Autom. Remote. Control.
Igor V. Bychkov, Gennady A. Oparin, Alexander G. Feoktistov, Vera G. Bogdanova, Anton A. Pashinin