Zineb Lotfi

According to our database, Zineb Lotfi authored at least 3 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2023

Efficient Algebraic Method for Testing the Invertibility of Finite State Machines.

Zineb Lotfi, Hamid Khalifi, Faissal Ouardi

Comput., June, 2023

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 Construction of the Equation Automaton.

Faissal Ouardi, Zineb Lotfi, Bilal Elghadyry

Algorithms, 2021