Vera G. Bogdanova

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 14

Top Topics

Davis Putnam Logemann Loveland

Satisfiability Problem

Qualitative Analysis

Dynamic Systems

Top Venues

Autom. Remote. Control.

Publications

Gennady A. Oparin, Vera G. Bogdanova, Anton A. Pashinin
Dynamics of Bipartite Logical Networks. MIPRO (2024)
Gennady A. Oparin, Vera G. Bogdanova, Anton A. Pashinin
Binary Dynamic Models of Structural Synthesis of Programs. MIPRO (2023)
Gennady A. Oparin, Vera G. Bogdanova, Anton A. Pashinin
Implicit Boolean Network for Planning Actions. MIPRO (2022)
Gennady A. Oparin, Vera G. Bogdanova, Anton A. Pashinin
Classification in Binary Feature Space Using Logical Dynamic Models. MIPRO (2021)
Gennady A. Oparin, Vera G. Bogdanova, Anton A. Pashinin
Service-oriented Application for Solving Parametric Synthesis Problem of a Boolean Network with Given Dynamic Properties. MIPRO (2021)
Vera G. Bogdanova, Sergey A. Gorsky, Anton A. Pashinin
HPC-based parallel software for solving applied Boolean satisfiability problems. MIPRO (2020)
Gennady A. Oparin, Vera G. Bogdanova, Anton A. Pashinin
Microservice approach to the qualitative study of attractors of binary dynamic systems based on the Boolean constraint method. MIPRO (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)
Vera G. Bogdanova, Sergey A. Gorsky
Scalable parallel solver of boolean satisfiability problems. 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)
Igor V. Bychkov, Gennady A. Oparin, Alexander G. Feoktistov, Vera G. Bogdanova, Anton A. Pashinin
Service-oriented multiagent control of distributed computations. Autom. Remote. Control. 76 (11) (2015)