The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Ahmed Saoudi: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. David E. Muller, Ahmed Saoudi, Paul E. Schupp
    Alternating Automata. The Weak Monadic Theory of the Tree, and its Complexity. [Citation Graph (0, 0)][DBLP]
    ICALP, 1986, pp:275-283 [Conf]
  2. David E. Muller, Paul E. Schupp, Ahmed Saoudi
    On the Decidability of the Linear Z-Temporal Logic and the Monadic Second Order Theory. [Citation Graph (0, 0)][DBLP]
    ICCI, 1992, pp:2-5 [Conf]
  3. P. Laroche, Maurice Nivat, Ahmed Saoudi
    Context-Sensitivity of Puzzle Grammars. [Citation Graph (0, 0)][DBLP]
    ICPIA, 1992, pp:195-212 [Conf]
  4. Ahmed Saoudi
    Parallel Recognition of Multidimensional Images Using Regular Tree Grammars. [Citation Graph (0, 0)][DBLP]
    ICPIA, 1992, pp:231-239 [Conf]
  5. Ahmed Saoudi, Maurice Nivat
    Optimal Parallel Algorithms for Multidimensional Image Template Matching and Pattern Matching. [Citation Graph (0, 0)][DBLP]
    ICPIA, 1992, pp:240-246 [Conf]
  6. Maurice Nivat, Ahmed Saoudi
    Parallel Recognition of Two-Dimensional Images. [Citation Graph (0, 0)][DBLP]
    ICPP (3), 1991, pp:326-327 [Conf]
  7. Ahmed Saoudi, Maurice Nivat, C. Pandu Rangan, Ravi Sundaram, G. D. S. Ramkumar
    A Parallel Algorithm for Recognizing the Shuffle of Two Strings. [Citation Graph (0, 0)][DBLP]
    IPPS, 1992, pp:112-115 [Conf]
  8. 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 [Citation Graph (0, 0)][DBLP]
    LICS, 1988, pp:422-427 [Conf]
  9. Ahmed Saoudi
    Pushdown Automata on Infinite Trees and Omega-Kleene closure of Context-Free Tree Sets. [Citation Graph (0, 0)][DBLP]
    MFCS, 1989, pp:445-457 [Conf]
  10. Maurice Nivat, Ahmed Saoudi
    Automata on infinite trees and Kleene closure of regular tree sets. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1988, v:36, n:, pp:131-136 [Journal]
  11. Maurice Nivat, Ahmed Saoudi
    Automata on Infinite Objects and Their Applications to Logic and Programming [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1989, v:83, n:1, pp:41-64 [Journal]
  12. Ahmed Saoudi
    Pushdown Automata on Infinite Trees and Nondeterministic Context-Free Programs. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 1992, v:3, n:1, pp:21-39 [Journal]
  13. Ahmed Saoudi, David E. Muller, Paul E. Schupp
    On the Complexity of omega-Tree Sets and Nerode Theorem. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 1990, v:1, n:1, pp:11-22 [Journal]
  14. Ahmed Saoudi, David E. Muller, Paul E. Schupp
    Finite State Processes, Z-Temporal Logic and the Monadic Theory of the Integers. [Citation Graph (0, 0)][DBLP]
    Int. J. Found. Comput. Sci., 1992, v:3, n:3, pp:233-244 [Journal]
  15. P. Laroche, Maurice Nivat, Ahmed Saoudi
    Context-Sensitivity of Puzzle Grammars. [Citation Graph (0, 0)][DBLP]
    IJPRAI, 1994, v:8, n:2, pp:525-542 [Journal]
  16. Maurice Nivat, Ahmed Saoudi
    Parallel Recognition of High Dimensional Images. [Citation Graph (0, 0)][DBLP]
    IJPRAI, 1992, v:6, n:2&3, pp:285-291 [Journal]
  17. Houcine Senoussi, Ahmed Saoudi
    Quadtree Algorithms for Template Matching on Mesh Connected Computer. [Citation Graph (0, 0)][DBLP]
    IJPRAI, 1995, v:9, n:2, pp:387-410 [Journal]
  18. Ahmed Saoudi, Maurice Nivat
    Parallel Algorithms for Multi-Dimensional Image Template Matching. [Citation Graph (0, 0)][DBLP]
    IJPRAI, 1994, v:8, n:2, pp:457-464 [Journal]
  19. Wojciech Rytter, Ahmed Saoudi
    On Parallel Recognition of Two Classes of 2-D Array Patterns. [Citation Graph (0, 0)][DBLP]
    IJPRAI, 1992, v:6, n:2&3, pp:293-299 [Journal]
  20. K. G. Subramanian, Rani Siromoney, V. Rajkumar Dare, Ahmed Saoudi
    Basic Puzzle Grammars and Isosceles Right Triangles. [Citation Graph (0, 0)][DBLP]
    IJPRAI, 1992, v:6, n:5, pp:799-816 [Journal]
  21. Wojciech Rytter, Ahmed Saoudi
    On the Complexity of the Recognition of Parallel 2D-Image Languages. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1991, v:38, n:5, pp:225-229 [Journal]
  22. Ahmed Saoudi
    Infinitary Tree Languages Recognized by omega-Automata. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1984, v:18, n:1, pp:15-19 [Journal]
  23. Maurice Nivat, G. D. S. Ramkumar, C. Pandu Rangan, Ahmed Saoudi, Ravi Sundaram
    Efficient Parallel Shuffle Recognition. [Citation Graph (0, 0)][DBLP]
    Parallel Processing Letters, 1994, v:4, n:, pp:455-463 [Journal]
  24. David E. Muller, Ahmed Saoudi, Paul E. Schupp
    Alternating Automata, the Weak Monadic Theory of Trees and its Complexity. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1992, v:97, n:2, pp:233-244 [Journal]
  25. Ahmed Saoudi
    Variétés d'Automates Descendants d'Arbres Infinis. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1986, v:43, n:, pp:315-335 [Journal]
  26. Ahmed Saoudi
    Generalized Automata on Infinite Trees and Muller-McNaughton's Theorem. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:84, n:2, pp:165-177 [Journal]
  27. Houcine Senoussi, Ahmed Saoudi
    A Quadtree Algorithm for Template Matching on a Pyramid Computer. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:136, n:2, pp:387-417 [Journal]

Search in 0.002secs, Finished in 0.301secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002