Valery A. Sokolov

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