Ahmed Saoudi

发表

Finite Images Generated by GL-Systems

V. Rajkumar Dare, Ahmed Saoudi, K. Rangarajan, 1989, Int. J. Pattern Recognit. Artif. Intell..

Alternating Automata. The Weak Monadic Theory of the Tree, and its Complexity

David E. Muller, Ahmed Saoudi, Paul E. Schupp, 1986, ICALP.

Rational and recognizable infinite tree sets

Ahmed Saoudi, 1992, Tree Automata and Languages.

Generalized Automata on Infinite Trees and Muller-McNaughton's Theorem

Ahmed Saoudi, 1991, Theor. Comput. Sci..

Learning local and recognizable Ω-languages and monadic logic programs

Ahmed Saoudi, Takashi Yokomori, T. Yokomori, 1994, EuroCOLT.

Efficient Parallel Shuffle Recognition

C. Pandu Rangan, Ahmed Saoudi, Maurice Nivat, 1994, Parallel Process. Lett..

Alternating Automata, the Weak Monadic Theory of Trees and its Complexity

David E. Muller, Ahmed Saoudi, Paul E. Schupp, 1992, Theor. Comput. Sci..

Automata on infinite trees and Kleene closure of regular tree sets

Ahmed Saoudi, Maurice Nivat, 1988, Bull. EATCS.

Quadtree algorithms for template matching on mesh connected computer

Ahmed Saoudi, Houcine Senoussi, 1993, 1993 Computer Architectures for Machine Perception.

Automata on Infinite Objects and Their Applications to Logic and Programming

Ahmed Saoudi, Maurice Nivat, 1989, Inf. Comput..

Context-Sensitivity of Puzzle Grammars

Ahmed Saoudi, Maurice Nivat, P. Laroche, 1992, Int. J. Pattern Recognit. Artif. Intell..

Parallel Generation of Finite Images

V. Rajkumar Dare, Ahmed Saoudi, Maurice Nivat, 1989, Int. J. Pattern Recognit. Artif. Intell..

On the Decidability of the Linear Z-Temporal Logic and the Monadic Second Order Theory

David E. Muller, Ahmed Saoudi, Paul E. Schupp, 1992, ICCI.

Parallel generation of infinite images

V. Rajkumar Dare, Ahmed Saoudi, Maurice Nivat, 1990, Int. J. Comput. Math..

Automata on infinite trees and rational control

Paola Bonizzoni, Ahmed Saoudi, P. Bonizzoni, 1992, Tree Automata and Languages.

Finite State Processes, Z-Temporal Logic and the Monadic Theory of the Integers

David E. Muller, Ahmed Saoudi, Paul E. Schupp, 1992, Int. J. Found. Comput. Sci..

Parallel Generation of Finite Images

V. Rajkumar Dare, Ahmed Saoudi, Maurice Nivat, 1989, Array Grammars, Patterns and Recognizers.

Contribution a la theorie des automates : automates d'arbres infinis et applications a la logique et a la programmation

Ahmed Saoudi, 1987 .

Parallel Image Analysis, Second International Conference, ICPIA '92, Ube, Japan, December 21-23, 1992, Proceedings

Katsushi Inoue, Ahmed Saoudi, Maurice Nivat, 1992 .

Pushdown Automata on Infinite Trees and Nondeterministic Context-Free Programs

Ahmed Saoudi, 1992, Int. J. Found. Comput. Sci..

A Quadtree Algorithm for Template Matching on a Pyramid Computer

Ahmed Saoudi, Houcine Senoussi, A. Saoudi, 1994, Theor. Comput. Sci..

Proceedings of the Second International Conference on Parallel Image Analysis

Katsushi Inoue, Akira Nakamura, Ahmed Saoudi, 1992 .

Parallel Recognition of High Dimensional Images

Ahmed Saoudi, Maurice Nivat, 1992, Int. J. Pattern Recognit. Artif. Intell..

Pushdown Automata on Infinite Trees and Omega-Kleene closure of Context-Free Tree Sets

Ahmed Saoudi, 1989, MFCS.

Context-Sensitivity of Puzzle Grammars

Ahmed Saoudi, Maurice Nivat, P. Laroche, 1994, Int. J. Pattern Recognit. Artif. Intell..

Parallel Recognition of Two-Dimensional Images

Ahmed Saoudi, Maurice Nivat, 1991, ICPP.

On Parallel Recognition of Two Classes of 2-D Array Patterns

Wojciech Rytter, Ahmed Saoudi, 1992, Int. J. Pattern Recognit. Artif. Intell..

On the Complexity of omega-Tree Sets and Nerode Theorem

David E. Muller, Ahmed Saoudi, Paul E. Schupp, 1990, Int. J. Found. Comput. Sci..

Parallel Recognition of Multidimensional Images Using Regular Tree Grammars

Ahmed Saoudi, A. Saoudi, 1992, ICPIA.

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, 1988, [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science.

Basic Puzzle Grammars and Isosceles Right Triangles

Rani Siromoney, K. G. Subramanian, V. Rajkumar Dare, 1992, Int. J. Pattern Recognit. Artif. Intell..

Parallel Algorithms for Multi-Dimensional Image Template Matching

Ahmed Saoudi, Maurice Nivat, 1994, Int. J. Pattern Recognit. Artif. Intell..

A parallel algorithm for recognizing the shuffle of two strings

C. Pandu Rangan, Ahmed Saoudi, Maurice Nivat, 1992, Proceedings Sixth International Parallel Processing Symposium.

Quadtree Algorithms for Template Matching on Mesh Connected Computer

Ahmed Saoudi, Houcine Senoussi, 1995, Int. J. Pattern Recognit. Artif. Intell..

Optimal Parallel Algorithms for Multidimensional Image Template Matching and Pattern Matching

Ahmed Saoudi, Maurice Nivat, 1992, ICPIA.

Finite Images Generated by GL-Systems

V. Rajkumar Dare, Ahmed Saoudi, K. Rangarajan, 1989, Array Grammars, Patterns and Recognizers.

Puzzle Grammars and Context-Free Array Grammars

Rani Siromoney, K. G. Subramanian, V. Rajkumar Dare, 1991, Int. J. Pattern Recognit. Artif. Intell..

Infinitary Tree Languages Recognized by omega-Automata

Ahmed Saoudi, 1984, Inf. Process. Lett..

Parallel Image Analysis

Katsushi Inoue, Akira Nakamura, Ahmed Saoudi, 1992, Lecture Notes in Computer Science.

On the Complexity of the Recognition of Parallel 2D-Image Languages

Wojciech Rytter, Ahmed Saoudi, W. Rytter, 1991, Inf. Process. Lett..

Variétés d'Automates Descendants d'Arbres Infinis

Ahmed Saoudi, 1986, Theor. Comput. Sci..