| 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 |
| 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 |
| Communicating colouring automata EV Kouzmin, VA Sokolov Proc. Int. Workshop on Program Understanding (sat. of PSI’03), 40-46, 2003 | 10 | 2003 |
| Modeling, specification and construction of PLC-programs EV Kuzmin, VA Sokolov Automatic Control and Computer Sciences 48 (7), 554-563, 2014 | 8 | 2014 |
| About Data Filtration of the Defectogram Automatic Interpretation by Hardware and Software Complex VF Tarabrin, AV Zverev, OE Gorbunov, EV Kuzmin ASTRA””, NDT World 64 (2), 5-9, 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 |
| 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 |
| Modeling a consistent behavior of PLC-sensors EV Kuzmin, DA Ryabukhin, VA Sokolov Automatic Control and Computer Sciences 48 (7), 602-614, 2014 | 6 | 2014 |
| Decidability of boundedness problems for Minsky counter machines EV Kuzmin, DJ Chalyy Automatic Control and Computer Sciences 44 (7), 387-397, 2010 | 6 | 2010 |
| Automaton counter machines EV Kuzmin, VA Sokolov, DJ Chalyy Proc. Int. Workshop on Program Understanding, 1-4, 2009 | 6 | 2009 |
| A ultrasonic tomography of dynamic processes in shelf band of the sea with usage of aggregate signals VA Akulichev, VV Bezotvetnich, SI Kamenev, EV Kuzmin, YN Morgunov, ... Acoust. Rus 48 (1), 5-11, 2002 | 6 | 2002 |
| Strukturirovannye sistemy perekhodov EV Kuzmin, VA Sokolov Well-Structured Transition Systems), Moscow: Fizmatlit, 2006 | 5 | 2006 |
| On finding a threshold of useful signals in the analysis of magnetic and eddy current defectograms EV Kuz'min, OE Gorbunov, PO Plotnikov, VA Tyukin Modelirovanie i Analiz Informatsionnykh Sistem 24 (6), 760-771, 2017 | 4 | 2017 |
| Construction and verification of PLC-programs by LTL-specification EV Kuzmin, VA Sokolov, DA Ryabukhin Automatic Control and Computer Sciences 49 (7), 453-465, 2015 | 4 | 2015 |
