Ahmed Saoudi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
6
Active years
1986–1992
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1992 | ICCI | On the Decidability of the Linear Z-Temporal Logic and the Monadic Second Order Theory. | David E. Muller, Paul E. Schupp, Ahmed Saoudi |
| 1992 | ICPR | Parallel algorithms for 2D-image recognition. | Wojciech Rytter, Ahmed Saoudi |
| 1991 | ICPP | Parallel Recognition of Two-Dimensional Images. | Maurice Nivat, Ahmed Saoudi |
| 1989 | MFCS | Pushdown Automata on Infinite Trees and Omega-Kleene closure of Context-Free Tree Sets. | Ahmed Saoudi |
| 1988 | LICS | Weak Alternating Automata Give a Simple Explanation of Why Most Temporal and Dynamic Logics are Decidable in Exponential Time | David E. Muller, Ahmed Saoudi, Paul E. Schupp |
| 1986 | ICALP | Alternating Automata. The Weak Monadic Theory of the Tree, and its Complexity. | David E. Muller, Ahmed Saoudi, Paul E. Schupp |