Persons RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB     Shabana, Hanan E-mail: https://www.mathnet.ru/eng/person143176 List of publications on Google Scholar Publications in Math-Net.Ru Citations 2018 1. H. Shabana, M. V. Volkov, “Using SAT solvers for synchronization issues in non-deterministic automata”, Sib. Èlektron. Mat. Izv., 15 (2018),  1426–1442     1 2. Hanan Shabana, “$D_2$-synchronization in nondeterministic automata”, Ural Math. J., 4:2 (2018),  99–110       3 Organisations Menoufia University Institute of Natural Sciences and Mathematics, Ural Federal University