Efficient Construction of the Equation Automaton. - Faissal Ouardi; Zineb Lotfi; Bilal Elghadyry (Algorithms, 2021)

Efficient parallel derivation of short distinguishing sequences for nondeterministic finite state machines using MapReduce. - Bilal Elghadyry; Faissal Ouardi; Zineb Lotfi; Sébastien Vérel (J. Big Data, 2021)

Efficient Algebraic Method for Testing the Invertibility of Finite State Machines. - Zineb Lotfi; Hamid Khalifi; Faissal Ouardi (Comput., 2023)