Ahmed Saoudi

Publication Activity (10 Years)

Years Active: 1984-2022
Publications (10 Years): 1

Top Topics

Top Venues

Int. J. Wavelets Multiresolution Inf. Process.

Publications

Ahmed Saoudi
Two-wavelet theory in Weinstein setting. Int. J. Wavelets Multiresolution Inf. Process. 20 (5) (2022)
Houcine Senoussi, Ahmed Saoudi
Quadtree Algorithms for Template Matching on Mesh Connected Computer. Int. J. Pattern Recognit. Artif. Intell. 9 (2) (1995)
Ahmed Saoudi, Maurice Nivat
Parallel Algorithms for Multi-Dimensional Image Template Matching. Int. J. Pattern Recognit. Artif. Intell. 8 (2) (1994)
Houcine Senoussi, Ahmed Saoudi
A Quadtree Algorithm for Template Matching on a Pyramid Computer. Theor. Comput. Sci. 136 (2) (1994)
P. Laroche, Maurice Nivat, Ahmed Saoudi
Context-Sensitivity of Puzzle Grammars. Int. J. Pattern Recognit. Artif. Intell. 8 (2) (1994)
Maurice Nivat, G. D. S. Ramkumar, C. Pandu Rangan, Ahmed Saoudi, Ravi Sundaram
Efficient Parallel Shuffle Recognition. Parallel Process. Lett. 4 (1994)
Ahmed Saoudi, Takashi Yokomori
Learning local and recognizable Ω-languages and monadic logic programs. EuroCOLT (1993)
Ahmed Saoudi, David E. Muller, Paul E. Schupp
Finite State Processes, Z-Temporal Logic and the Monadic Theory of the Integers. Int. J. Found. Comput. Sci. 3 (3) (1992)
Ahmed Saoudi
Parallel Recognition of Multidimensional Images Using Regular Tree Grammars. ICPIA (1992)
Wojciech Rytter, Ahmed Saoudi
On Parallel Recognition of Two Classes of 2-D Array Patterns. Int. J. Pattern Recognit. Artif. Intell. 6 (2&3) (1992)
David E. Muller, Paul E. Schupp, Ahmed Saoudi
On the Decidability of the Linear Z-Temporal Logic and the Monadic Second Order Theory. ICCI (1992)
Ahmed Saoudi, Maurice Nivat, C. Pandu Rangan, Ravi Sundaram, G. D. S. Ramkumar
A Parallel Algorithm for Recognizing the Shuffle of Two Strings. IPPS (1992)
Ahmed Saoudi, Maurice Nivat
Optimal Parallel Algorithms for Multidimensional Image Template Matching and Pattern Matching. ICPIA (1992)
Maurice Nivat, Ahmed Saoudi
Parallel Recognition of High Dimensional Images. Int. J. Pattern Recognit. Artif. Intell. 6 (2&3) (1992)
Wojciech Rytter, Ahmed Saoudi
Parallel algorithms for 2D-image recognition. ICPR (4) (1992)
P. Laroche, Maurice Nivat, Ahmed Saoudi
Context-Sensitivity of Puzzle Grammars. ICPIA (1992)
Ahmed Saoudi
Pushdown Automata on Infinite Trees and Nondeterministic Context-Free Programs. Int. J. Found. Comput. Sci. 3 (1) (1992)
K. G. Subramanian, Rani Siromoney, V. Rajkumar Dare, Ahmed Saoudi
Basic Puzzle Grammars and Isosceles Right Triangles. Int. J. Pattern Recognit. Artif. Intell. 6 (5) (1992)
David E. Muller, Ahmed Saoudi, Paul E. Schupp
Alternating Automata, the Weak Monadic Theory of Trees and its Complexity. Theor. Comput. Sci. 97 (2) (1992)
Wojciech Rytter, Ahmed Saoudi
On the Complexity of the Recognition of Parallel 2D-Image Languages. Inf. Process. Lett. 38 (5) (1991)
Ahmed Saoudi
Generalized Automata on Infinite Trees and Muller-McNaughton's Theorem. Theor. Comput. Sci. 84 (2) (1991)
Maurice Nivat, Ahmed Saoudi
Parallel Recognition of Two-Dimensional Images. ICPP (3) (1991)
Maurice Nivat, Ahmed Saoudi, K. G. Subramanian, Rani Siromoney, V. Rajkumar Dare
Puzzle Grammars and Context-Free Array Grammars. Int. J. Pattern Recognit. Artif. Intell. 5 (5) (1991)
Ahmed Saoudi, David E. Muller, Paul E. Schupp
On the Complexity of omega-Tree Sets and Nerode Theorem. Int. J. Found. Comput. Sci. 1 (1) (1990)
Maurice Nivat, Ahmed Saoudi, V. Rajkumar Dare
Parallel generation of infinite images. Int. J. Comput. Math. 35 (1-4) (1990)
Maurice Nivat, Ahmed Saoudi, V. Rajkumar Dare
Parallel Generation of Finite Images. Int. J. Pattern Recognit. Artif. Intell. 3 (3-4) (1989)
Ahmed Saoudi
Pushdown Automata on Infinite Trees and Omega-Kleene closure of Context-Free Tree Sets. MFCS (1989)
Ahmed Saoudi, K. Rangarajan, V. Rajkumar Dare
Finite Images Generated by GL-Systems. Int. J. Pattern Recognit. Artif. Intell. 3 (3-4) (1989)
Maurice Nivat, Ahmed Saoudi
Automata on Infinite Objects and Their Applications to Logic and Programming Inf. Comput. 83 (1) (1989)
David E. Muller, Ahmed Saoudi, Paul E. Schupp
Weak Alternating Automata Give a Simple Explanation of Why Most Temporal and Dynamic Logics are Decidable in Exponential Time LICS (1988)
Maurice Nivat, Ahmed Saoudi
Automata on infinite trees and Kleene closure of regular tree sets. Bull. EATCS 36 (1988)
Ahmed Saoudi
Variétés d'Automates Descendants d'Arbres Infinis. Theor. Comput. Sci. 43 (1986)
David E. Muller, Ahmed Saoudi, Paul E. Schupp
Alternating Automata. The Weak Monadic Theory of the Tree, and its Complexity. ICALP (1986)
Ahmed Saoudi
Infinitary Tree Languages Recognized by omega-Automata. Inf. Process. Lett. 18 (1) (1984)