2022
Careful synchronization of partial deterministic finite automata.
Acta Informatica, 2022

2020
Optimal synchronization of partial deterministic finite automata.
CoRR, 2020

2019
Using Sat Solvers for Synchronization Issues in Partial Deterministic Automata.
Proceedings of the Mathematical Optimization Theory and Operations Research, 2019

2018
Using Sat solvers for synchronization issues in non-deterministic automata.
CoRR, 2018

2015
Cartesian product of two symmetric starter vectors of orthogonal double covers.
AKCE Int. J. Graphs Comb., 2015