Valery A. Sokolov

Publication Activity (10 Years)

Years Active: 1997-2021
Publications (10 Years): 8

Top Topics

Deterministic Automata

Specification Language

Division Multiple Access

Top Venues

Autom. Control. Comput. Sci.

Publications

Valery A. Sokolov
On the Existence Problem of Finite Bases of Identities in the Algebras of Recursive Functions. Autom. Control. Comput. Sci. 55 (7) (2021)
D. R. Filonov, D. Ju. Chalyy, Dmitriy Mikhailovich Murin, Valery G. Durnev, Valery A. Sokolov
A Question-Answering System for Applicant Support Using Modern Messaging Apps. Autom. Control. Comput. Sci. 53 (7) (2019)
Valery G. Durnev, Dmitriy Mikhailovich Murin, Valery A. Sokolov, D. Ju. Chalyy
On Some Approaches to the Solution of the "Useful Proof-of-Work for Blockchains" Task. Autom. Control. Comput. Sci. 52 (7) (2018)
D. A. Ryabukhin, E. V. Kuzmin, Valery A. Sokolov
Construction of CFC-Programs by LTL-Specification. Autom. Control. Comput. Sci. 51 (7) (2017)
S. V. Korsakov, Alexander V. Smirnov, Valery A. Sokolov
Principles of organizing the interoperability of equipollent nodes in a wireless mesh-network with time division multiple access. Autom. Control. Comput. Sci. 50 (6) (2016)
E. V. Kuzmin, D. A. Ryabukhin, Valery A. Sokolov
On the expressiveness of the approach to constructing PLC-programs by LTL-specification. Autom. Control. Comput. Sci. 50 (7) (2016)
Valery A. Sokolov, S. V. Korsakov, Alexander V. Smirnov, Vladimir A. Bashkin, E. S. Nikitin
Instrumental supporting system for developing and analysis of software-defined networks of mobile objects. Autom. Control. Comput. Sci. 50 (7) (2016)
E. V. Kuzmin, Valery A. Sokolov, D. A. Ryabukhin
Construction and verification of PLC-programs by LTL-specification. Autom. Control. Comput. Sci. 49 (7) (2015)
E. V. Kuzmin, Valery A. Sokolov, D. A. Ryabukhin
Construction and verification of PLC LD programs by the LTL specification. Autom. Control. Comput. Sci. 48 (7) (2014)
E. V. Kuzmin, Valery A. Sokolov
Modeling, specification and construction of PLC-programs. Autom. Control. Comput. Sci. 48 (7) (2014)
E. V. Kuzmin, D. A. Ryabukhin, Valery A. Sokolov
Modeling a consistent behavior of PLC-sensors. Autom. Control. Comput. Sci. 48 (7) (2014)
E. V. Kuzmin, Valery A. Sokolov
On construction and verification of PLC programs. Autom. Control. Comput. Sci. 47 (7) (2013)
E. V. Kuzmin, Valery A. Sokolov
The modeling of counter machines by two-head finite automata. Autom. Control. Comput. Sci. 47 (7) (2013)
E. V. Kuzmin, Valery A. Sokolov, D. Ju. Chalyy
Boundedness problems for Minsky counter machines. Program. Comput. Softw. 36 (1) (2010)
R. A. Vinogradov, Valery A. Sokolov
On a class of high-level finite-state automata. Autom. Control. Comput. Sci. 44 (7) (2010)
E. V. Kuzmin, Valery A. Sokolov, D. Ju. Chalyy
Application of the trace assertion method to the specification, design, and verification of automaton programs. Program. Comput. Softw. 35 (1) (2009)
E. V. Kuzmin, Valery A. Sokolov
Modeling, specification, and verification of automaton programs. Program. Comput. Softw. 34 (1) (2008)
Valery A. Sokolov, Eugeny A. Timofeev
An Approach to the Implementation of the Dynamical Priorities Method. PaCT (2005)
E. V. Kouzmin, Nikolay V. Shilov, Valery A. Sokolov
Model Checking mu-Calculus in Well-Structured Transition Systems. TIME (2004)
Dmitry J. Chaly, Valery A. Sokolov
An Extensible Coloured Petri Net Model of a Transport Protocol for Packet Switched Networks. PaCT (2003)
Igor V. Alekseev, Valery A. Sokolov
Modeling and traffic analysis of the adaptive rate transport protocol. Future Gener. Comput. Syst. 18 (6) (2002)
Valery A. Sokolov, Eugeny A. Timofeev
Dynamical Priorities without Time Measurement and Modification of the TCP. Ershov Memorial Conference (2001)
Igor V. Alekseev, Valery A. Sokolov
ARTCP: Efficient Algorithm for Transport Protocol for Packet Switched Networks. PaCT (2001)
Valery A. Sokolov, Ella E. Roubtsova, Serguei A. Roubtsov
On a Technology of Design and Analysis of Dataflow Programs. PaCT (1997)