Towards formalization and monitoring of microscopic traffic parameters using temporal logic. - Mariam Nour; Mohamed H. Zaki (CoRR, 2021)

Lane Planning of Connected Autonomous Vehicles using a Graph Representation of Road Contents. - Mariam Nour; Yashar Zeiynali Farid; Lu Xu; Chunghan Lee; Kentaro Oguchi 001 (SM, 2024)

Towards Connected Smart Work Zones: Advancing Work Zone Management through Improved Connectivity. - Mariam Nour; Mohamed H. Zaki; Mohamed A. Abdel-Aty (CoRR, 2025)