Follow Automaton versus Equation Automaton. - Jean-Marc Champarnaud; Faissal Ouardi; Djelloul Ziadi (DCFS, 2004)

From Regular Weighted Expressions To Finite Automata. - Jean-Marc Champarnaud; Éric Laugerotte; Faissal Ouardi; Djelloul Ziadi (Int. J. Found. Comput. Sci., 2004)

An Efficient Computation of the Equation K-Automaton of a Regular K-Expression. - Jean-Marc Champarnaud; Faissal Ouardi; Djelloul Ziadi (Developments in Language Theory, 2007)

Normalized Expressions and Finite Automata. - Jean-Marc Champarnaud; Faissal Ouardi; Djelloul Ziadi (Int. J. Algebra Comput., 2007)

Relevant Representations for the Inference of Rational Stochastic Tree Languages. - François Denis; Édouard Gilbert; Amaury Habrard; Faissal Ouardi; Marc Tommasi (ICGI, 2008)

Efficient weighted expressions conversion. - Faissal Ouardi; Djelloul Ziadi (RAIRO Theor. Informatics Appl., 2008)

Fast equation automaton computation. - Ahmed Khorsi; Faissal Ouardi; Djelloul Ziadi (J. Discrete Algorithms, 2008)

An Efficient Computation of the Equation K-automaton of a Regular K-expression. - Jean-Marc Champarnaud; Faissal Ouardi; Djelloul Ziadi (Fundam. Informaticae, 2009)

Extended to multi-tilde-bar regular expressions and efficient finite automata constructions. - Faissal Ouardi; Jean-Marc Champarnaud; Djelloul Ziadi (J. Discrete Algorithms, 2015)

Assist and Architecture Requirements for SRAM using a 28nm Silicon Test Vehicle. - Kenza Charafeddine; Faissal Ouardi (BDIoT, 2019)

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)

New Linear-time Algorithm for SubTree Kernel Computation based on Root-Weighted Tree Automata. - Ludovic Mignot; Faissal Ouardi; Djelloul Ziadi (CoRR, 2023)

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