|
|
Publications in Math-Net.Ru
-
On the development of reflexive approach to analysis of control decisions validity by cognitive mapping
UBS, 76 (2018), 26–68
-
Ideas of cognitive graphics to support verification of cognitive maps
UBS, 30.1 (2010), 411–430
-
Expert verification in formal cognitive map application. approaches and practices
UBS, 30.1 (2010), 371–410
-
Some validity criteria of models based on cognitive maps
Probl. Upr., 2008, no. 6, 23–33
-
On risk problem due to human factor in experimental methods and information technologies
Probl. Upr., 2007, no. 2, 11–21
-
On the risks related with experts' and analysts' mistakes
Probl. Upr., 2006, no. 6, 60–67
-
Logical approach to the identification validity analysis
Probl. Upr., 2005, no. 5, 77–82
-
Analysis of the external behavior of binary programs and selection schemas on the basis of local equivalent transformations
Avtomat. i Telemekh., 1995, no. 6, 127–147
-
On an approach to the construction of languages of functional correctness-oriented specifications
Avtomat. i Telemekh., 1995, no. 2, 164–189
-
A general approach to the analysis of the external behavior of objects represented by functional diagrams based on equivalent transformations. II
Avtomat. i Telemekh., 1993, no. 4, 167–181
-
A general approach to the analysis of the external behavior of objects represented by functional diagrams based on equivalent transformations. I
Avtomat. i Telemekh., 1993, no. 3, 115–134
-
Cognitive analysis and situation control: methodology, theory and practice problems
Probl. Upr., 2008, no. 3, 85–87
-
The 1${}^{st}$ Russian Conference on Cognitive Science
Probl. Upr., 2005, no. 3, 82–83
© , 2026