Linear-Time Graph Programs for Unbounded-Degree Graphs. - Ziad Ismaili Alaoui; Detlef Plump (ICGT, 2024)

Linear-Time Graph Programs without Preconditions. - Ziad Ismaili Alaoui; Detlef Plump (GCM, 2024)

Rule-Based Graph Programs Matching the Time Complexity of Imperative Algorithms. - Ziad Ismaili Alaoui; Detlef Plump (CoRR, 2025)

Hardness of Finding Kings and Strong Kings. - Ziad Ismaili Alaoui; Nikhil S. Mande (CoRR, 2025)

Succinct Preferential Attachment Graphs. - Ziad Ismaili Alaoui; Namrata; Sebastian Wild (CoRR, 2025)