Cartesian product of two symmetric starter vectors of orthogonal double covers. - Ramadan A. El-Shanawany; Mahmoud Shibl Higazy; Hanan Shabana; Ahmed Ibrahim El-Mesady (AKCE Int. J. Graphs Comb., 2015)

Using Sat solvers for synchronization issues in non-deterministic automata. - Hanan Shabana; Mikhail V. Volkov 001 (CoRR, 2018)

Using Sat Solvers for Synchronization Issues in Partial Deterministic Automata. - Hanan Shabana; Mikhail V. Volkov 001 (MOTOR (2), 2019)

Optimal synchronization of partial deterministic finite automata. - Hanan Shabana; Mikhail V. Volkov 001 (CoRR, 2020)

Careful synchronization of partial deterministic finite automata. - Hanan Shabana; Mikhail V. Volkov 001 (Acta Informatica, 2022)