Anton A. Pashinin

Publication Activity (10 Years)

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

Top Topics

Davis Putnam Logemann Loveland

Satisfiability Problem

Qualitative Analysis

Dynamical Systems

Top Venues

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 Bogdanova, Anton A. Pashinin
A logical method for the synthesis of periodic trajectory in a binary dynamical system. ICCS-DE (2021)
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)
Gennady A. Oparin, Vera Bogdanova, Anton A. Pashinin
Investigation of observability property of controlled binary dynamical systems: a logical approach. ICCS-DE (2021)
Gennady A. Oparin, Vera Bogdanova, Anton A. Pashinin
Automated tools for the development of microservice compositions for hybrid scientific computations. ICCS-DE (2020)
Gennady A. Oparin, Vera Bogdanova, Anton A. Pashinin
Application of binary dynamical systems in the problem of classification of Boolean vectors. AICTS (2020)
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 Bogdanova, Anton A. Pashinin
Automation of distributed data management in applied microservices package for scientific computations. ICCS-DE (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)
Anton A. Pashinin, Vera Bogdanova
Application of user dew agent in hybrid-computing environments. AICTS (2020)
Gennady A. Oparin, Vera G. Bogdanova, Anton A. Pashinin, Sergey A. Gorsky
Microservice-oriented Approach to Automation of Distributed Scientific Computations. MIPRO (2019)
Igor V. Bychkov, Gennady A. Oparin, Vera Bogdanova, Anton A. Pashinin
Intellectual technology for computation control in the package of applied microservices. ICCS-DE (2019)
Gennady A. Oparin, Vera Bogdanova, Anton A. Pashinin
Automation of microservices creation for qualitative analysis of binary dynamic systems. ICCS-DE (2019)
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)