|
|
|
Publications in Math-Net.Ru |
Citations |
|
2023 |
| 1. |
I. B. Burdonov, N. V. Evtushenko, A. S. Kosachev, N. G. Kushik, “On preset homing and synchronizing sequences for observable input/output automata”, Avtomat. i Telemekh., 2023, no. 6, 67–78  ; Autom. Remote Control, 84:6 (2023), 606–611 |
|
2018 |
| 2. |
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  |
6
|
|
2017 |
| 3. |
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 |
|
2015 |
| 4. |
N. Kushik, “Checking experiments with non-observable tree FSMs”, Proceedings of ISP RAS, 27:6 (2015), 441–450 |
|
2011 |
| 5. |
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 |
|
2008 |
| 6. |
Nataly G. Kushik, Mariya V. Reckun, “On Digital Circuit Optimization Using Automata Equations”, J. Sib. Fed. Univ. Math. Phys., 1:3 (2008), 290–295 |
|
| Organisations |
|
|
