Ahmed Saoudi - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 38 from 38

2022

Two-wavelet theory in Weinstein settingAhmed Saoudi. ijwmip, 20(5), 2022. [doi]

1995

Quadtree Algorithms for Template Matching on Mesh Connected ComputerHoucine Senoussi, Ahmed Saoudi. ijprai, 9(2):387-410, 1995.

1994

Context-Sensitivity of Puzzle GrammarsP. Laroche, Maurice Nivat, Ahmed Saoudi. ijprai, 8(2):525-542, 1994.

Efficient Parallel Shuffle RecognitionMaurice Nivat, G. D. S. Ramkumar, C. Pandu Rangan, Ahmed Saoudi, Ravi Sundaram. ppl, 4:455-463, 1994.

Parallel Algorithms for Multi-Dimensional Image Template MatchingAhmed Saoudi, Maurice Nivat. ijprai, 8(2):457-464, 1994.

A Quadtree Algorithm for Template Matching on a Pyramid ComputerHoucine Senoussi, Ahmed Saoudi. TCS, 136(2):387-417, 1994.

1993

Learning local and recognizable Ω-languages and monadic logic programsAhmed Saoudi, Takashi Yokomori. eurocolt 1994: 157-169

1992

Context-Sensitivity of Puzzle GrammarsP. Laroche, Maurice Nivat, Ahmed Saoudi. icpia 1992: 195-212

Alternating Automata, the Weak Monadic Theory of Trees and its ComplexityDavid E. Muller, Ahmed Saoudi, Paul E. Schupp. TCS, 97(2):233-244, 1992.

On the Decidability of the Linear Z-Temporal Logic and the Monadic Second Order TheoryDavid E. Muller, Paul E. Schupp, Ahmed Saoudi. icci 1992: 2-5

Parallel Recognition of High Dimensional ImagesMaurice Nivat, Ahmed Saoudi. ijprai, 6(2&3):285-291, 1992.

Parallel algorithms for 2D-image recognitionWojciech Rytter, Ahmed Saoudi. icpr 1992: 115-118 [doi]

On Parallel Recognition of Two Classes of 2-D Array PatternsWojciech Rytter, Ahmed Saoudi. ijprai, 6(2&3):293-299, 1992.

Optimal Parallel Algorithms for Multidimensional Image Template Matching and Pattern MatchingAhmed Saoudi, Maurice Nivat. icpia 1992: 240-246

Parallel Recognition of Multidimensional Images Using Regular Tree GrammarsAhmed Saoudi. icpia 1992: 231-239

Pushdown Automata on Infinite Trees and Nondeterministic Context-Free ProgramsAhmed Saoudi. ijfcs, 3(1):21-39, 1992.

Finite State Processes, Z-Temporal Logic and the Monadic Theory of the IntegersAhmed Saoudi, David E. Muller, Paul E. Schupp. ijfcs, 3(3):233-244, 1992.

Rational and recognizable infinite tree setsAhmed Saoudi. In Tree Automata and Languages. pages 225-234, 1992.

A Parallel Algorithm for Recognizing the Shuffle of Two StringsAhmed Saoudi, Maurice Nivat, C. Pandu Rangan, Ravi Sundaram, G. D. S. Ramkumar. ipps 1992: 112-115

Automata on infinite trees and rational controlAhmed Saoudi, Paola Bonizzoni. In Tree Automata and Languages. pages 189-200, 1992.

Basic Puzzle Grammars and Isosceles Right TrianglesK. G. Subramanian, Rani Siromoney, V. Rajkumar Dare, Ahmed Saoudi. ijprai, 6(5):799-816, 1992.

1991

Parallel Recognition of Two-Dimensional ImagesMaurice Nivat, Ahmed Saoudi. icpp 1991: 326-327

Puzzle Grammars and Context-Free Array GrammarsMaurice Nivat, Ahmed Saoudi, K. G. Subramanian, Rani Siromoney, V. Rajkumar Dare. ijprai, 5(5):663-676, 1991. [doi]

On the Complexity of the Recognition of Parallel 2D-Image LanguagesWojciech Rytter, Ahmed Saoudi. ipl, 38(5):225-229, 1991.

Generalized Automata on Infinite Trees and Muller-McNaughton s TheoremAhmed Saoudi. TCS, 84(2):165-177, 1991.

1990

Parallel generation of infinite imagesMaurice Nivat, Ahmed Saoudi, V. Rajkumar Dare. ijcm, 35(1-4):25-42, 1990. [doi]

On the Complexity of omega-Tree Sets and Nerode TheoremAhmed Saoudi, David E. Muller, Paul E. Schupp. ijfcs, 1(1):11-22, 1990.

1989

Automata on Infinite Objects and Their Applications to Logic and ProgrammingMaurice Nivat, Ahmed Saoudi. iandc, 83(1):41-64, October 1989.

Parallel Generation of Finite ImagesMaurice Nivat, Ahmed Saoudi, V. Rajkumar Dare. ijprai, 3(3-4):279-294, 1989. [doi]

Parallel Generation of Finite ImagesMaurice Nivat, Ahmed Saoudi, V. Rajkumar Dare. In Patrick S. P. Wang, editor, Array Grammars, Patterns and Recognizers. Volume 18 of World Scientific Series in Computer Science, pages 1-16, World Scientific, 1989. [doi]

Pushdown Automata on Infinite Trees and Omega-Kleene closure of Context-Free Tree SetsAhmed Saoudi. mfcs 1989: 445-457

Finite Images Generated by GL-SystemsAhmed Saoudi, K. Rangarajan, V. Rajkumar Dare. ijprai, 3(3-4):459-468, 1989. [doi]

Finite Images Generated by GL-SystemsAhmed Saoudi, K. Rangarajan, V. Rajkumar Dare. In Patrick S. P. Wang, editor, Array Grammars, Patterns and Recognizers. Volume 18 of World Scientific Series in Computer Science, pages 181-190, World Scientific, 1989. [doi]

1988

Weak Alternating Automata Give a Simple Explanation of Why Most Temporal and Dynamic Logics are Decidable in Exponential TimeDavid E. Muller, Ahmed Saoudi, Paul E. Schupp. lics 1988: 422-427

Automata on infinite trees and Kleene closure of regular tree setsMaurice Nivat, Ahmed Saoudi. eatcs, 36:131-136, 1988.

1986

Alternating Automata. The Weak Monadic Theory of the Tree, and its ComplexityDavid E. Muller, Ahmed Saoudi, Paul E. Schupp. icalp 1986: 275-283

Variétés d Automates Descendants d Arbres InfinisAhmed Saoudi. TCS, 43:315-335, 1986.

1984

Infinitary Tree Languages Recognized by omega-AutomataAhmed Saoudi. ipl, 18(1):15-19, 1984.

Sign in or sign up to see more results.

runs on WebDSL