Infinitary Tree Languages Recognized by omega-Automata. - Ahmed Saoudi (Inf. Process. Lett., 1984)

Alternating Automata. The Weak Monadic Theory of the Tree, and its Complexity. - David E. Muller; Ahmed Saoudi; Paul E. Schupp (ICALP, 1986)

Variétés d'Automates Descendants d'Arbres Infinis. - Ahmed Saoudi (Theor. Comput. Sci., 1986)

Weak Alternating Automata Give a Simple Explanation of Why Most Temporal and Dynamic Logics are Decidable in Exponential Time - David E. Muller; Ahmed Saoudi; Paul E. Schupp (LICS, 1988)

Automata on infinite trees and Kleene closure of regular tree sets. - Maurice Nivat; Ahmed Saoudi (Bull. EATCS, 1988)

Pushdown Automata on Infinite Trees and Omega-Kleene closure of Context-Free Tree Sets. - Ahmed Saoudi (MFCS, 1989)

Parallel Generation of Finite Images. - Maurice Nivat; Ahmed Saoudi; V. Rajkumar Dare (Int. J. Pattern Recognit. Artif. Intell., 1989)

Finite Images Generated by GL-Systems. - Ahmed Saoudi; K. Rangarajan; V. Rajkumar Dare (Int. J. Pattern Recognit. Artif. Intell., 1989)

Parallel Generation of Finite Images. - Maurice Nivat; Ahmed Saoudi; V. Rajkumar Dare (Array Grammars, Patterns and Recognizers, 1989)

Finite Images Generated by GL-Systems. - Ahmed Saoudi; K. Rangarajan; V. Rajkumar Dare (Array Grammars, Patterns and Recognizers, 1989)

Automata on Infinite Objects and Their Applications to Logic and Programming - Maurice Nivat; Ahmed Saoudi (Inf. Comput., 1989)

Parallel generation of infinite images. - Maurice Nivat; Ahmed Saoudi; V. Rajkumar Dare (Int. J. Comput. Math., 1990)

On the Complexity of omega-Tree Sets and Nerode Theorem. - Ahmed Saoudi; David E. Muller; Paul E. Schupp (Int. J. Found. Comput. Sci., 1990)

Parallel Recognition of Two-Dimensional Images. - Maurice Nivat; Ahmed Saoudi (ICPP (3), 1991)

Puzzle Grammars and Context-Free Array Grammars. - Maurice Nivat; Ahmed Saoudi; K. G. Subramanian 001; Rani Siromoney; V. Rajkumar Dare (Int. J. Pattern Recognit. Artif. Intell., 1991)

On the Complexity of the Recognition of Parallel 2D-Image Languages. - Wojciech Rytter; Ahmed Saoudi (Inf. Process. Lett., 1991)

Generalized Automata on Infinite Trees and Muller-McNaughton's Theorem. - Ahmed Saoudi (Theor. Comput. Sci., 1991)

Rational and recognizable infinite tree sets. - Ahmed Saoudi (Tree Automata and Languages, 1992)

Automata on infinite trees and rational control. - Ahmed Saoudi; Paola Bonizzoni (Tree Automata and Languages, 1992)

On the Decidability of the Linear Z-Temporal Logic and the Monadic Second Order Theory. - David E. Muller; Paul E. Schupp; Ahmed Saoudi (ICCI, 1992)

Parallel Recognition of Multidimensional Images Using Regular Tree Grammars. - Ahmed Saoudi (ICPIA, 1992)

Optimal Parallel Algorithms for Multidimensional Image Template Matching and Pattern Matching. - Ahmed Saoudi; Maurice Nivat (ICPIA, 1992)

Parallel algorithms for 2D-image recognition. - Wojciech Rytter; Ahmed Saoudi (ICPR (4), 1992)

A Parallel Algorithm for Recognizing the Shuffle of Two Strings. - Ahmed Saoudi; Maurice Nivat; C. Pandu Rangan; Ravi Sundaram; G. D. S. Ramkumar (IPPS, 1992)

Pushdown Automata on Infinite Trees and Nondeterministic Context-Free Programs. - Ahmed Saoudi (Int. J. Found. Comput. Sci., 1992)

Finite State Processes, Z-Temporal Logic and the Monadic Theory of the Integers. - Ahmed Saoudi; David E. Muller; Paul E. Schupp (Int. J. Found. Comput. Sci., 1992)

Parallel Recognition of High Dimensional Images. - Maurice Nivat; Ahmed Saoudi (Int. J. Pattern Recognit. Artif. Intell., 1992)

On Parallel Recognition of Two Classes of 2-D Array Patterns. - Wojciech Rytter; Ahmed Saoudi (Int. J. Pattern Recognit. Artif. Intell., 1992)

Basic Puzzle Grammars and Isosceles Right Triangles. - K. G. Subramanian 001; Rani Siromoney; V. Rajkumar Dare; Ahmed Saoudi (Int. J. Pattern Recognit. Artif. Intell., 1992)

Alternating Automata, the Weak Monadic Theory of Trees and its Complexity. - David E. Muller; Ahmed Saoudi; Paul E. Schupp (Theor. Comput. Sci., 1992)

Learning local and recognizable Ω-languages and monadic logic programs. - Ahmed Saoudi; Takashi Yokomori (EuroCOLT, 1993)

Context-Sensitivity of Puzzle Grammars. - P. Laroche; Maurice Nivat; Ahmed Saoudi (Int. J. Pattern Recognit. Artif. Intell., 1994)

Parallel Algorithms for Multi-Dimensional Image Template Matching. - Ahmed Saoudi; Maurice Nivat (Int. J. Pattern Recognit. Artif. Intell., 1994)

Efficient Parallel Shuffle Recognition. - Maurice Nivat; G. D. S. Ramkumar; C. Pandu Rangan; Ahmed Saoudi; Ravi Sundaram (Parallel Process. Lett., 1994)

A Quadtree Algorithm for Template Matching on a Pyramid Computer. - Houcine Senoussi; Ahmed Saoudi (Theor. Comput. Sci., 1994)

Quadtree Algorithms for Template Matching on Mesh Connected Computer. - Houcine Senoussi; Ahmed Saoudi (Int. J. Pattern Recognit. Artif. Intell., 1995)

Two-wavelet theory in Weinstein setting. - Ahmed Saoudi (Int. J. Wavelets Multiresolution Inf. Process., 2022)