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)

Composition of weighted finite transducers in MapReduce. - Bilal Elghadyry; Faissal Ouardi; Sébastien Vérel (J. Big Data, 2021)