|
|
Publications in Math-Net.Ru |
Citations |
|
2017 |
1. |
A. O. Zhukovskaja, V. N. Trenkaev, “Identification method for invertible finite state machine with known output function”, Prikl. Diskr. Mat. Suppl., 2017, no. 10, 140–142 |
|
2016 |
2. |
A. O. Zhukovskaja, V. N. Trenkaev, “About simple conditional experiments identifying invertible automata of a certain class”, Prikl. Diskr. Mat. Suppl., 2016, no. 9, 115 |
1
|
|
2015 |
3. |
A. O. Zhukovskaja, D. A. Stefantsov, “Operational semantics for LYaPAS”, Prikl. Diskr. Mat. Suppl., 2015, no. 8, 131–132 |
1
|
|
2014 |
4. |
A. O. Zhukovskaya, D. A. Stefantsov, “Development of automated means for proving programs properties”, Prikl. Diskr. Mat. Suppl., 2014, no. 7, 148–150 |
|
Organisations |
|
|