×
Author ID: saoudi.ahmed.1 Recent zbMATH articles by "Saoudi, Ahmed"
Published as: Saoudi, A.; Saoudi, Ahmed
Documents Indexed: 19 Publications since 1984, including 1 Additional arXiv Preprint
3 Contributions as Editor
Biographic References: 1 Publication
Co-Authors: 8 Co-Authors with 14 Joint Publications
282 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

13 Publications have been cited 52 times in 44 Documents Cited by Year
Alternating automata, the weak monadic theory of the tree, and its complexity. Zbl 0617.03020
Muller, David E.; Saoudi, Ahmed; Schupp, Paul E.
11
1986
Alternating automata, the weak monadic theory of trees and its complexity. Zbl 0776.03017
Muller, David E.; Saoudi, Ahmed; Schupp, Paul E.
10
1992
A quadtree algorithm for template matching on a pyramid computer. Zbl 0874.68131
Senoussi, H.; Saoudi, A.
8
1994
Finite state processes, \(Z\)-temporal logic and the monadic theory of the integers. Zbl 0771.68076
Saoudi, A.; Muller, D. E.; Schupp, P. E.
5
1992
Automata on infinite objects and their applications to logic and programming. Zbl 0691.68068
Nivat, M.; Saoudi, A.
4
1989
Parallel generation of infinite images. Zbl 0699.68103
Nivat, M.; Saoudi, A.; Dare, V. R.
3
1990
Infinitary tree languages recognized by \(\omega\)-automata. Zbl 0539.68072
Saoudi, A.
3
1984
On the complexity of the recognition of parallel 2D-image languages. Zbl 0731.68068
Rytter, W.; Saoudi, A.
2
1991
Automata on infinite trees and Kleene closure of regular tree sets. Zbl 0669.68039
Nivat, M.; Saoudi, A.
2
1988
Variétés d’automates descendants d’arbres infinis. Zbl 0597.68061
Saoudi, A.
1
1986
Pushdown automata on infinite trees and nondeterministic context-free programs. Zbl 0769.68099
Saoudi, A.
1
1992
Rational and recognizable infinite tree sets. Zbl 0798.68109
Saoudi, A.
1
1992
Parallel image processing. Zbl 0995.68549
1
1992
A quadtree algorithm for template matching on a pyramid computer. Zbl 0874.68131
Senoussi, H.; Saoudi, A.
8
1994
Alternating automata, the weak monadic theory of trees and its complexity. Zbl 0776.03017
Muller, David E.; Saoudi, Ahmed; Schupp, Paul E.
10
1992
Finite state processes, \(Z\)-temporal logic and the monadic theory of the integers. Zbl 0771.68076
Saoudi, A.; Muller, D. E.; Schupp, P. E.
5
1992
Pushdown automata on infinite trees and nondeterministic context-free programs. Zbl 0769.68099
Saoudi, A.
1
1992
Rational and recognizable infinite tree sets. Zbl 0798.68109
Saoudi, A.
1
1992
Parallel image processing. Zbl 0995.68549
1
1992
On the complexity of the recognition of parallel 2D-image languages. Zbl 0731.68068
Rytter, W.; Saoudi, A.
2
1991
Parallel generation of infinite images. Zbl 0699.68103
Nivat, M.; Saoudi, A.; Dare, V. R.
3
1990
Automata on infinite objects and their applications to logic and programming. Zbl 0691.68068
Nivat, M.; Saoudi, A.
4
1989
Automata on infinite trees and Kleene closure of regular tree sets. Zbl 0669.68039
Nivat, M.; Saoudi, A.
2
1988
Alternating automata, the weak monadic theory of the tree, and its complexity. Zbl 0617.03020
Muller, David E.; Saoudi, Ahmed; Schupp, Paul E.
11
1986
Variétés d’automates descendants d’arbres infinis. Zbl 0597.68061
Saoudi, A.
1
1986
Infinitary tree languages recognized by \(\omega\)-automata. Zbl 0539.68072
Saoudi, A.
3
1984

Citations by Year