Zineb Lotfi

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 3

Top Topics

Regular Expressions

Parallel Execution

Finite State Machines

Top Venues

Publications

Zineb Lotfi, Hamid Khalifi, Faissal Ouardi
Efficient Algebraic Method for Testing the Invertibility of Finite State Machines. Comput. 11 (7) (2023)
Bilal Elghadyry, Faissal Ouardi, Zineb Lotfi, Sébastien Vérel
Efficient parallel derivation of short distinguishing sequences for nondeterministic finite state machines using MapReduce. J. Big Data 8 (1) (2021)
Faissal Ouardi, Zineb Lotfi, Bilal Elghadyry
Efficient Construction of the Equation Automaton. Algorithms 14 (8) (2021)