| Modeling, Specification and Construction of PLC-programs EV Kuz'min, VA Sokolov Modelirovanie i Analiz Informatsionnykh Sistem 20 (2), 104-120, 2013 | 15 | 2013 |
| On Construction and Verification of PLC-programs EV Kuz'min, VA Sokolov Modelirovanie i Analiz Informatsionnykh Sistem 19 (4), 25-36, 2012 | 15 | 2012 |
| Model checking/spl mu/-calculus in well-structured transition systems EV Kouzmin, NV Shilov, VA Sokolov Proceedings. 11th International Symposium on Temporal Representation and …, 2004 | 14 | 2004 |
| On verification of PLC-programs written in the LD-language EV Kuz'min, VA Sokolov Modelirovanie i Analiz Informatsionnykh Sistem 19 (2), 138-144, 2012 | 13 | 2012 |
| ARTCP: Efficient algorithm for transport protocol for packet switched networks IV Alekseev, VA Sokolov International Conference on Parallel Computing Technologies, 159-174, 2001 | 12 | 2001 |
| DUBNA CYCLOTRONS–STATUS AND PLANS GG Gulbekyan, BN Gikal, SL Bogomolov, SN Dmitriev, MG Itkis, ... Exotic Nuclei Exon2004, 643-650, 2005 | 11 | 2005 |
| Compensation Mechanism for Adaptive Rate TCP IV Alekseev, VA Sokolov First IEEE/Popov workshop on Internet Technologies and Services,(October 25 …, 1999 | 11 | 1999 |
| Construction and verification of PLC programs by LTL specification EV Kuzmin, AA Shipov, DA Ryabukhin 2013 Tools & Methods of Program Analysis, 15-22, 2013 | 10 | 2013 |
| Construction and Verification of PLC LD-programs by LTL-specification EV Kuz'min, VA Sokolov, DA Ryabukhin Modelirovanie i Analiz Informatsionnykh Sistem 20 (6), 78-94, 2013 | 10 | 2013 |
| The problem of creating multi-tenant database clusters EA Boytsov, VA Sokolov Proceedings of the Spring/Summer Young Researchers’ Colloquium on Software …, 2012 | 10 | 2012 |
| An extensible coloured Petri net model of a transport protocol for packet switched networks DJ Chaly, VA Sokolov International Conference on Parallel Computing Technologies, 66-75, 2003 | 10 | 2003 |
| Communicating colouring automata EV Kouzmin, VA Sokolov Proc. Int. Workshop on Program Understanding (sat. of PSI’03), 40-46, 2003 | 10 | 2003 |
| Modeling and traffic analysis of the adaptive rate transport protocol IV Alekseev, VA Sokolov Future Generation Computer Systems 18 (6), 813-827, 2002 | 9 | 2002 |
| Modeling, specification and construction of PLC-programs EV Kuzmin, VA Sokolov Automatic Control and Computer Sciences 48 (7), 554-563, 2014 | 8 | 2014 |
| A network analytics system in the SDN V Sokolov, I Alekseev, D Mazilov, M Nikitinskiy 2014 International Science and Technology Conference (Modern Networking …, 2014 | 8 | 2014 |
| On the expressiveness of the approach to constructing PLC-programs by LTL-specification EV Kuzmin, DA Ryabukhin, VA Sokolov Automatic Control and Computer Sciences 50 (7), 510-519, 2016 | 7* | 2016 |
| Instrumental supporting system for developing and analysis of software-defined networks of mobile objects VA Sokolov, SV Korsakov, AV Smirnov, VA Bashkin, ES Nikitin Automatic Control and Computer Sciences 50 (7), 536-545, 2016 | 7 | 2016 |
| Construction of PLC IL-programs by LTL-specification DA Ryabukhin, EV Kuz'min, VA Sokolov Modelirovanie i Analiz Informatsionnykh Sistem 21 (2), 26-38, 2014 | 7 | 2014 |
| Modeling, specification, and verification of automaton programs EV Kuzmin, VA Sokolov Programming and Computer Software 34 (1), 27-43, 2008 | 7 | 2008 |
| Construction and Verification of PLC LD Programs by the LTL Specification EV Kuzmin, VA Sokolov, DA Ryabukhin Automatic Control and Computer Sciences 48 (7), 424-436, 2014 | 6 | 2014 |
