Shabana Hanan

Публикации в базе данных Math-Net.Ru

1. Using SAT solvers for synchronization issues in non-deterministic automata
   
   Сиб. электрон. матем. изв., 15 (2018),  1426–1442
2. $D_2$-synchronization in nondeterministic automata
   
   Ural Math. J., 4:2 (2018),  99–110