RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
 
Kushik, Natal'ya Gennad'evna

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

Number of views:
This page:305
Abstract pages:996
Full texts:291
References:124
E-mail:

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

Publications in Math-Net.Ru
2018
1. H. Yenigun, N. V. Evtushenko, N. G. Kushik, J. López, “The effect of partiality and adaptivity on the complexity of FSM state identification problems”, Proceedings of ISP RAS, 30:1 (2018),  7–24  mathnet  elib
2017
2. N. G. Kushik, N. V. Yevtushenko, I. B. Burdonov, A. S. Kossatchev, “Deriving synchronizing and homing sequences for input/output automata”, Model. Anal. Inform. Sist., 24:6 (2017),  730–742  mathnet  elib
2015
3. N. Kushik, “Checking experiments with non-observable tree FSMs”, Proceedings of ISP RAS, 27:6 (2015),  441–450  mathnet  elib
2011
4. N. G. Kushik, A. Mammar, A. Cavalli, N. V. Evtushenko, W. Jimenez, E. Montes de Oca, “A SPIN-based approach for detecting vulnerabilities in  programs”, Model. Anal. Inform. Sist., 18:4 (2011),  131–143  mathnet
2008
5. Nataly G. Kushik, Mariya V. Reckun, “On Digital Circuit Optimization Using Automata Equations”, J. Sib. Fed. Univ. Math. Phys., 1:3 (2008),  290–295  mathnet

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