Ahmed Saoudi

39 papers A* 2B 1C 1Journal 23Unranked 7
YearRankTypeTitle / Venue / Authors
2022 J jnl
Two-wavelet theory in Weinstein setting.
Int. J. Wavelets Multiresolution Inf. Process.
Ahmed Saoudi
1995 J jnl
Quadtree Algorithms for Template Matching on Mesh Connected Computer.
Int. J. Pattern Recognit. Artif. Intell.
Houcine Senoussi, Ahmed Saoudi
1994 J jnl
A Quadtree Algorithm for Template Matching on a Pyramid Computer.
Theor. Comput. Sci.
Houcine Senoussi, Ahmed Saoudi
1994 J jnl
Context-Sensitivity of Puzzle Grammars.
Int. J. Pattern Recognit. Artif. Intell.
P. Laroche, Maurice Nivat, Ahmed Saoudi
1994 J jnl
Efficient Parallel Shuffle Recognition.
Parallel Process. Lett.
Maurice Nivat, G. D. S. Ramkumar, C. Pandu Rangan, Ahmed Saoudi, Ravi Sundaram
1994 J jnl
Parallel Algorithms for Multi-Dimensional Image Template Matching.
Int. J. Pattern Recognit. Artif. Intell.
Ahmed Saoudi, Maurice Nivat
1993 — conf
Learning local and recognizable Ω-languages and monadic logic programs.
EuroCOLT
Ahmed Saoudi, Takashi Yokomori
1992 — conf
A Parallel Algorithm for Recognizing the Shuffle of Two Strings.
IPPS
Ahmed Saoudi, Maurice Nivat, C. Pandu Rangan, Ravi Sundaram, G. D. S. Ramkumar
1992 J jnl
Alternating Automata, the Weak Monadic Theory of Trees and its Complexity.
Theor. Comput. Sci.
David E. Muller, Ahmed Saoudi, Paul E. Schupp
1992 — ch.
Automata on infinite trees and rational control.
Tree Automata and Languages
Ahmed Saoudi, Paola Bonizzoni
1992 J jnl
Basic Puzzle Grammars and Isosceles Right Triangles.
Int. J. Pattern Recognit. Artif. Intell.
K. G. Subramanian, Rani Siromoney, V. Rajkumar Dare, Ahmed Saoudi
1992 — conf
Context-Sensitivity of Puzzle Grammars.
ICPIA
P. Laroche, Maurice Nivat, Ahmed Saoudi
1992 J jnl
Finite State Processes, Z-Temporal Logic and the Monadic Theory of the Integers.
Int. J. Found. Comput. Sci.
Ahmed Saoudi, David E. Muller, Paul E. Schupp
1992 J jnl
On Parallel Recognition of Two Classes of 2-D Array Patterns.
Int. J. Pattern Recognit. Artif. Intell.
Wojciech Rytter, Ahmed Saoudi
1992 C conf
On the Decidability of the Linear Z-Temporal Logic and the Monadic Second Order Theory.
ICCI
David E. Muller, Paul E. Schupp, Ahmed Saoudi
1992 — conf
Optimal Parallel Algorithms for Multidimensional Image Template Matching and Pattern Matching.
ICPIA
Ahmed Saoudi, Maurice Nivat
1992 — ed.
Parallel Image Analysis, Second International Conference, ICPIA '92, Ube, Japan, December 21-23, 1992, Proceedings
ICPIA
Akira Nakamura, Maurice Nivat, Ahmed Saoudi, Patrick Shen-Pei Wang, Katsushi Inoue
1992 J jnl
Parallel Recognition of High Dimensional Images.
Int. J. Pattern Recognit. Artif. Intell.
Maurice Nivat, Ahmed Saoudi
1992 — conf
Parallel Recognition of Multidimensional Images Using Regular Tree Grammars.
ICPIA
Ahmed Saoudi
1992 — conf
Parallel algorithms for 2D-image recognition.
ICPR (4)
Wojciech Rytter, Ahmed Saoudi
1992 J jnl
Pushdown Automata on Infinite Trees and Nondeterministic Context-Free Programs.
Int. J. Found. Comput. Sci.
Ahmed Saoudi
1992 — ch.
Rational and recognizable infinite tree sets.
Tree Automata and Languages
Ahmed Saoudi
1991 J jnl
Generalized Automata on Infinite Trees and Muller-McNaughton's Theorem.
Theor. Comput. Sci.
Ahmed Saoudi
1991 J jnl
On the Complexity of the Recognition of Parallel 2D-Image Languages.
Inf. Process. Lett.
Wojciech Rytter, Ahmed Saoudi
1991 — conf
Parallel Recognition of Two-Dimensional Images.
ICPP (3)
Maurice Nivat, Ahmed Saoudi
1991 J jnl
Puzzle Grammars and Context-Free Array Grammars.
Int. J. Pattern Recognit. Artif. Intell.
Maurice Nivat, Ahmed Saoudi, K. G. Subramanian, Rani Siromoney, V. Rajkumar Dare
1990 J jnl
On the Complexity of omega-Tree Sets and Nerode Theorem.
Int. J. Found. Comput. Sci.
Ahmed Saoudi, David E. Muller, Paul E. Schupp
1990 J jnl
Parallel generation of infinite images.
Int. J. Comput. Math.
Maurice Nivat, Ahmed Saoudi, V. Rajkumar Dare
1989 J jnl
Automata on Infinite Objects and Their Applications to Logic and Programming
Inf. Comput.
Maurice Nivat, Ahmed Saoudi
1989 J jnl
Finite Images Generated by GL-Systems.
Int. J. Pattern Recognit. Artif. Intell.
Ahmed Saoudi, K. Rangarajan, V. Rajkumar Dare
1989 — ch.
Finite Images Generated by GL-Systems.
Array Grammars, Patterns and Recognizers
Ahmed Saoudi, K. Rangarajan, V. Rajkumar Dare
1989 J jnl
Parallel Generation of Finite Images.
Int. J. Pattern Recognit. Artif. Intell.
Maurice Nivat, Ahmed Saoudi, V. Rajkumar Dare
1989 — ch.
Parallel Generation of Finite Images.
Array Grammars, Patterns and Recognizers
Maurice Nivat, Ahmed Saoudi, V. Rajkumar Dare
1989 B conf
Pushdown Automata on Infinite Trees and Omega-Kleene closure of Context-Free Tree Sets.
MFCS
Ahmed Saoudi
1988 J jnl
Automata on infinite trees and Kleene closure of regular tree sets.
Bull. EATCS
Maurice Nivat, Ahmed Saoudi
1988 A* conf
Weak Alternating Automata Give a Simple Explanation of Why Most Temporal and Dynamic Logics are Decidable in Exponential Time
LICS
David E. Muller, Ahmed Saoudi, Paul E. Schupp
1986 A* conf
Alternating Automata. The Weak Monadic Theory of the Tree, and its Complexity.
ICALP
David E. Muller, Ahmed Saoudi, Paul E. Schupp
1986 J jnl
Variétés d'Automates Descendants d'Arbres Infinis.
Theor. Comput. Sci.
Ahmed Saoudi
1984 J jnl
Infinitary Tree Languages Recognized by omega-Automata.
Inf. Process. Lett.
Ahmed Saoudi