RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
 
Sokolov, Valery Anatolievich

Statistics Math-Net.Ru
Total publications: 26
Scientific articles: 20

Number of views:
This page:1328
Abstract pages:3564
Full texts:1106
References:453
Professor
Doctor of physico-mathematical sciences (2006)
Speciality: 01.01.09 (Discrete mathematics and mathematical cybernetics)
Birth date: 04.08.1944
Phone: +7 (4852) 45 72 09
E-mail:
Keywords: formal models, Petri nets, automata, transition systems, temporal logics, verification, distributed systems, parallel programs, semantics properties.

Subject:

Modeling and analysis of information systems.

   
Main publications:
  • Structured transition systems (book, co-author E. V. Kuzmin), Moscow, Fizmatlit, 2006.

http://www.mathnet.ru/eng/person35627
List of publications on Google Scholar
List of publications on ZentralBlatt
http://orcid.org/0000-0003-1427-4937

Publications in Math-Net.Ru
2019
1. S. Korsakov, V. Sokolov, “On the way to SD-WAN solution”, Model. Anal. Inform. Sist., 26:2 (2019),  203–212  mathnet
2. S. V. Morzhov, V. A. Sokolov, “An effective algorithm for collision resolution in security policy rules”, Model. Anal. Inform. Sist., 26:1 (2019),  75–89  mathnet  elib
2018
3. M. S. Karyaeva, P. I. Braslavski, V. A. Sokolov, “Word embedding for semantically relative words: an experimental study”, Model. Anal. Inform. Sist., 25:6 (2018),  726–733  mathnet
4. D. R. Filonov, D. Ju. Chalyy, D. M. Murin, V. G. Durnev, V. A. Sokolov, “Question answering system for applicant support by using modern messengers”, Model. Anal. Inform. Sist., 25:4 (2018),  411–420  mathnet  elib
5. V. G. Durnev, D. M. Murin, V. A. Sokolov, D. Ju. Chalyy, “On some approaches to the solution of the problem «Useful Proof-of-work for blockchains»”, Model. Anal. Inform. Sist., 25:4 (2018),  402–410  mathnet  elib
2016
6. D. A. Ryabukhin, E. V. Kuzmin, V. A. Sokolov, “Construction of CFC-programs by LTL-specification”, Model. Anal. Inform. Sist., 23:2 (2016),  173–184  mathnet  mathscinet  elib
2015
7. D. Ju. Chaly, E. S. Nikitin, E. Ju. Antoshina, V. A. Sokolov, “End-to-end information flow security model for software-defined networks”, Model. Anal. Inform. Sist., 22:6 (2015),  735–749  mathnet  mathscinet  elib
8. V. A. Sokolov, S. V. Korsakov, A. V. Smirnov, V. A. Bashkin, E. S. Nikitin, “Instrumental supporting system for developing and analysis of software-defined networks of mobile objects”, Model. Anal. Inform. Sist., 22:4 (2015),  546–562  mathnet  mathscinet  elib
9. E. V. Kuzmin, D. A. Ryabukhin, V. A. Sokolov, “On the expressiveness of the approach to constructing PLC-programs by LTL-specification”, Model. Anal. Inform. Sist., 22:4 (2015),  507–520  mathnet  mathscinet  elib
2014
10. E. V. Kuzmin, D. A. Ryabukhin, V. A. Sokolov, “Modeling a Consistent Behavior of PLC-Sensors”, Model. Anal. Inform. Sist., 21:4 (2014),  75–90  mathnet
11. D. A. Ryabukhin, E. V. Kuzmin, V. A. Sokolov, “Construction of PLC IL-Programs by LTL-Specification”, Model. Anal. Inform. Sist., 21:2 (2014),  26–38  mathnet
2013
12. E. V. Kuzmin, V. A. Sokolov, D. A. Ryabukhin, “Construction and Verification of PLC LD-programs by LTL-specification”, Model. Anal. Inform. Sist., 20:6 (2013),  78–94  mathnet
13. Vladimir N. Boikov, Vladimir E. Zakharov, Mariya S. Karyaeva, Valery A. Sokolov, “Domain-Specific Thesaurus as a Tool for Information Retrieval and Collection of Knowledge”, Model. Anal. Inform. Sist., 20:4 (2013),  125–135  mathnet
14. E. V. Kuzmin, V. A. Sokolov, D. A. Ryabukhin, “Construction and Verification of PLC-programs by LTL-specification”, Model. Anal. Inform. Sist., 20:4 (2013),  5–22  mathnet
15. E. V. Kuzmin, V. A. Sokolov, “Modeling, Specification and Construction of PLC-programs”, Model. Anal. Inform. Sist., 20:2 (2013),  104–120  mathnet
2012
16. E. V. Kuzmin, V. A. Sokolov, “The Modeling of Counter Machines by Two-Head Finite Automata”, Model. Anal. Inform. Sist., 19:5 (2012),  69–73  mathnet
17. E. V. Kuzmin, V. A. Sokolov, “On Construction and Verification of PLC-Programs”, Model. Anal. Inform. Sist., 19:4 (2012),  25–36  mathnet
18. E. V. Kuz'min, V. A. Sokolov, “On verification of PLC-programs written in the LD-language”, Model. Anal. Inform. Sist., 19:2 (2012),  138–144  mathnet
2008
19. R. A. Vinogradov, V. A. Sokolov, “On the one class of high-level finite automata”, Model. Anal. Inform. Sist., 15:3 (2008),  38–46  mathnet
2007
20. S. V. Kubasov, V. A. Sokolov, “Synchronous model of automaton program”, Model. Anal. Inform. Sist., 14:1 (2007),  11–18  mathnet

2019
21. V. A. Sokolov, “Editorial”, Model. Anal. Inform. Sist., 26:1 (2019),  5–6  mathnet
2014
22. V. A. Nepomnyashchii, V. A. Sokolov, “From the editors of the special issue”, Model. Anal. Inform. Sist., 21:6 (2014),  5–6  mathnet
2011
23. V. A. Nepomnyashchii, V. A. Sokolov, “From the editors of the special issue”, Model. Anal. Inform. Sist., 18:4 (2011),  5–6  mathnet
2010
24. V. A. Nepomnyashchii, V. A. Sokolov, “From the editors of the special issue”, Model. Anal. Inform. Sist., 17:4 (2010),  1–2  mathnet
2009
25. V. Sokolov, “Welcome from the Editor in Chief”, Model. Anal. Inform. Sist., 16:4 (2009),  1  mathnet

Organisations
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2019