RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
 
Zhukovskaya, Aleksandra Olegovna

Statistics Math-Net.Ru
Total publications: 4
Scientific articles: 4

Number of views:
This page:95
Abstract pages:340
Full texts:133
References:63
E-mail:

http://www.mathnet.ru/eng/person100052
List of publications on Google Scholar
List of publications on ZentralBlatt

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

Organisations
 
Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2020