Valery A. Sokolov

According to our database, Valery A. Sokolov authored at least 24 papers between 1997 and 2021.

Collaborative distances:

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

2021

On the Existence Problem of Finite Bases of Identities in the Algebras of Recursive Functions.

Valery A. Sokolov

Autom. Control. Comput. Sci., 2021

2019

A Question-Answering System for Applicant Support Using Modern Messaging Apps.

D. R. Filonov, D. Ju. Chalyy, Dmitriy Mikhailovich Murin, Valery G. Durnev, Valery A. Sokolov

Autom. Control. Comput. Sci., 2019

2018

On Some Approaches to the Solution of the "Useful Proof-of-Work for Blockchains" Task.

Valery G. Durnev, Dmitriy Mikhailovich Murin, Valery A. Sokolov, D. Ju. Chalyy

Autom. Control. Comput. Sci., 2018

2017

Construction of CFC-Programs by LTL-Specification.

D. A. Ryabukhin, E. V. Kuzmin, Valery A. Sokolov

Autom. Control. Comput. Sci., 2017

2016

Instrumental supporting system for developing and analysis of software-defined networks of mobile objects.

Valery A. Sokolov, S. V. Korsakov, Alexander V. Smirnov, Vladimir A. Bashkin, Evgeny S. Nikitin

Autom. Control. Comput. Sci., 2016

On the expressiveness of the approach to constructing PLC-programs by LTL-specification.

E. V. Kuzmin, D. A. Ryabukhin, Valery A. Sokolov

Autom. Control. Comput. Sci., 2016

Principles of organizing the interoperability of equipollent nodes in a wireless mesh-network with time division multiple access.

S. V. Korsakov, Alexander V. Smirnov, Valery A. Sokolov

Autom. Control. Comput. Sci., 2016

2015

Construction and verification of PLC-programs by LTL-specification.

E. V. Kuzmin, Valery A. Sokolov, D. A. Ryabukhin

Autom. Control. Comput. Sci., 2015

2014

Construction and verification of PLC LD programs by the LTL specification.

E. V. Kuzmin, Valery A. Sokolov, D. A. Ryabukhin

Autom. Control. Comput. Sci., 2014

Modeling, specification and construction of PLC-programs.

E. V. Kuzmin, Valery A. Sokolov

Autom. Control. Comput. Sci., 2014

Modeling a consistent behavior of PLC-sensors.

E. V. Kuzmin, D. A. Ryabukhin, Valery A. Sokolov

Autom. Control. Comput. Sci., 2014

2013

The modeling of counter machines by two-head finite automata.

E. V. Kuzmin, Valery A. Sokolov

Autom. Control. Comput. Sci., 2013

On construction and verification of PLC programs.

E. V. Kuzmin, Valery A. Sokolov

Autom. Control. Comput. Sci., 2013

2010

Boundedness problems for Minsky counter machines.

E. V. Kuzmin, Valery A. Sokolov, D. Ju. Chalyy

Program. Comput. Softw., 2010

On a class of high-level finite-state automata.

R. A. Vinogradov, Valery A. Sokolov

Autom. Control. Comput. Sci., 2010

2009

Application of the trace assertion method to the specification, design, and verification of automaton programs.

E. V. Kuzmin, Valery A. Sokolov, D. Ju. Chalyy

Program. Comput. Softw., 2009

2008

Modeling, specification, and verification of automaton programs.

E. V. Kuzmin, Valery A. Sokolov

Program. Comput. Softw., 2008

2005

An Approach to the Implementation of the Dynamical Priorities Method.

Valery A. Sokolov, Eugeny A. Timofeev

Proceedings of the Parallel Computing Technologies, 2005

2004

Model Checking mu-Calculus in Well-Structured Transition Systems.

E. V. Kouzmin, Nikolay V. Shilov, Valery A. Sokolov

Proceedings of the 11th International Symposium on Temporal Representation and Reasoning (TIME 2004), 2004

2003

An Extensible Coloured Petri Net Model of a Transport Protocol for Packet Switched Networks.

Dmitry J. Chaly, Valery A. Sokolov

Proceedings of the Parallel Computing Technologies, 2003

2002

Modeling and traffic analysis of the adaptive rate transport protocol.

Igor V. Alekseev, Valery A. Sokolov

Future Gener. Comput. Syst., 2002

2001

ARTCP: Efficient Algorithm for Transport Protocol for Packet Switched Networks.

Igor V. Alekseev, Valery A. Sokolov

Proceedings of the Parallel Computing Technologies, 2001

Dynamical Priorities without Time Measurement and Modification of the TCP.

Valery A. Sokolov, Eugeny A. Timofeev

Proceedings of the Perspectives of System Informatics, 2001

1997

On a Technology of Design and Analysis of Dataflow Programs.

Valery A. Sokolov, Ella E. Roubtsova, Serguei A. Roubtsov

Proceedings of the Parallel Computing Technologies, 1997