Ignat'ev Mikhail Borisovich

Publications in Math-Net.Ru

1. The Redundant Variables Method for Checking and Correction of Computing Processes in Real Time. Part 2
   
   Tr. SPIIRAN, 33 (2014),  60–78
2. The redundant variables method for checking and correction of computing processes in real time
   
   Tr. SPIIRAN, 26 (2013),  234–252
3. Theory of complex systems and cybernetic picture of the world
   
   Inform. Primen., 5:2 (2011),  58–68
4. Generalized parametric model for implementation of locally recursive structures in three-dimensional integrated circuits
   
   Dokl. Akad. Nauk SSSR, 320:5 (1991),  1058–1062
5. Increasing the reliability of parallel computations by the method of redundant variables
   
   Dokl. Akad. Nauk SSSR, 306:6 (1989),  1311–1315
6. Recursive model of multilevel automated systems for experimental investigations
   
   Dokl. Akad. Nauk SSSR, 289:4 (1986),  806–808


7. On the centenary of Academician Avenir Arkad'evich Voronov
   
   Avtomat. i Telemekh., 2010, no. 10,  169–171