On a Technology of Design and Analysis of Dataflow Programs. - Valery A. Sokolov; Ella E. Roubtsova; Serguei A. Roubtsov (PaCT, 1997)

Dynamical Priorities without Time Measurement and Modification of the TCP. - Valery A. Sokolov; Eugeny A. Timofeev (Ershov Memorial Conference, 2001)

ARTCP: Efficient Algorithm for Transport Protocol for Packet Switched Networks. - Igor V. Alekseev; Valery A. Sokolov (PaCT, 2001)

Modeling and traffic analysis of the adaptive rate transport protocol. - Igor V. Alekseev; Valery A. Sokolov (Future Gener. Comput. Syst., 2002)

An Extensible Coloured Petri Net Model of a Transport Protocol for Packet Switched Networks. - Dmitry J. Chaly; Valery A. Sokolov (PaCT, 2003)

Model Checking mu-Calculus in Well-Structured Transition Systems. - E. V. Kouzmin; Nikolay V. Shilov 002; Valery A. Sokolov (TIME, 2004)

An Approach to the Implementation of the Dynamical Priorities Method. - Valery A. Sokolov; Eugeny A. Timofeev (PaCT, 2005)

Modeling, specification, and verification of automaton programs. - E. V. Kuzmin 001; Valery A. Sokolov (Program. Comput. Softw., 2008)

Application of the trace assertion method to the specification, design, and verification of automaton programs. - E. V. Kuzmin 001; Valery A. Sokolov; D. Ju. Chalyy (Program. Comput. Softw., 2009)

On a class of high-level finite-state automata. - R. A. Vinogradov; Valery A. Sokolov (Autom. Control. Comput. Sci., 2010)

Boundedness problems for Minsky counter machines. - E. V. Kuzmin 001; Valery A. Sokolov; D. Ju. Chalyy (Program. Comput. Softw., 2010)

On construction and verification of PLC programs. - E. V. Kuzmin 001; Valery A. Sokolov (Autom. Control. Comput. Sci., 2013)

The modeling of counter machines by two-head finite automata. - E. V. Kuzmin 001; Valery A. Sokolov (Autom. Control. Comput. Sci., 2013)

Modeling a consistent behavior of PLC-sensors. - E. V. Kuzmin 001; D. A. Ryabukhin; Valery A. Sokolov (Autom. Control. Comput. Sci., 2014)

Modeling, specification and construction of PLC-programs. - E. V. Kuzmin 001; Valery A. Sokolov (Autom. Control. Comput. Sci., 2014)

Construction and verification of PLC LD programs by the LTL specification. - E. V. Kuzmin 001; Valery A. Sokolov; D. A. Ryabukhin (Autom. Control. Comput. Sci., 2014)

Construction and verification of PLC-programs by LTL-specification. - E. V. Kuzmin 001; Valery A. Sokolov; D. A. Ryabukhin (Autom. Control. Comput. Sci., 2015)

Principles of organizing the interoperability of equipollent nodes in a wireless mesh-network with time division multiple access. - S. V. Korsakov; Alexander V. Smirnov 002; Valery A. Sokolov (Autom. Control. Comput. Sci., 2016)

On the expressiveness of the approach to constructing PLC-programs by LTL-specification. - E. V. Kuzmin 001; D. A. Ryabukhin; Valery A. Sokolov (Autom. Control. Comput. Sci., 2016)

Instrumental supporting system for developing and analysis of software-defined networks of mobile objects. - Valery A. Sokolov; S. V. Korsakov; Alexander V. Smirnov 002; Vladimir A. Bashkin; Evgeny S. Nikitin (Autom. Control. Comput. Sci., 2016)

Construction of CFC-Programs by LTL-Specification. - D. A. Ryabukhin; E. V. Kuzmin 001; Valery A. Sokolov (Autom. Control. Comput. Sci., 2017)

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)

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)

On the Existence Problem of Finite Bases of Identities in the Algebras of Recursive Functions. - Valery A. Sokolov (Autom. Control. Comput. Sci., 2021)