Items where authors include "Ismaili Alaoui, Ziad"

Article

Plump, Detlef orcid.org/0000-0002-1148-822X and Ismaili Alaoui, Ziad (2025) Rule-Based Graph Programs Matching the Time Complexity of Imperative Algorithms. Logical Methods in Computer Science. ISSN 1860-5974 (In Press)

Proceedings Paper

Plump, Detlef orcid.org/0000-0002-1148-822X, Ismaili Alaoui, Ziad and Wild, Sebastian (2026) Space-Efficient Hierholzer:Eulerian Cycles in O(m) Time and O(n) Space. In: Proc. SIAM Symposium on Simplicity in Algorithms (SOSA 26). UNSPECIFIED. Symposium on Simplicity in Algorithms . Society for Industrial and Applied Mathematics (SIAM) .

Ismaili Alaoui, Ziad and Plump, Detlef orcid.org/0000-0002-1148-822X (2025) Linear-Time Graph Programs without Preconditions. In: Proceedings 14th and 15th International Workshop on Graph Computation Models (GCM 2023 and GCM 2024). UNSPECIFIED. Electronic Proceedings in Theoretical Computer Science . Open Publishing Association , pp. 39-54.

Ismaili Alaoui, Ziad and Plump, Detlef orcid.org/0000-0002-1148-822X (2024) Linear-Time Graph Programs for Unbounded-Degree Graphs. In: Proceedings, 17th International Conference on Graph Transformation (ICGT 2024). International Conference on Graph Transformation, 10-11 Jul 2024. Lecture Notes in Computer Science . Springer , NLD , pp. 3-20.