Enhancing explainability of social recommendation using 2D graphs and word cloud visualizations. - Saeed Amal; Mustafa Adam; Peter Brusilovsky; Einat Minkov; Tsvi Kuflik (IUI Companion, 2019)

Personalized Multifaceted Visualization of Scholars Profiles. - Saeed Amal; Mustafa Adam; Peter Brusilovsky; Einat Minkov; Tsvi Kuflik (AVI, 2020)

Demonstrating Personalized Multifaceted Visualization of People Recommendation to Conference Participants. - Saeed Amal; Mustafa Adam; Peter Brusilovsky; Einat Minkov; Zef Segal; Tsvi Kuflik (IUI Companion, 2020)

Visualizing Personalized Multifaceted ad-hoc Social Network. - Saeed Amal; Mustafa Adam; Peter Brusilovsky; Einat Minkov; Zef Segal; Tsvi Kuflik (UMAP (Adjunct Publication), 2020)

Probabilistic Modelling and Safety Assurance of an Agriculture Robot Providing Light-Treatment. - Mustafa Adam; Kangfeng Ye; David A. Anisi; Ana Cavalcanti 001; Jim Woodcock 001; Robert Morris (CASE, 2023)

Safety assurance of autonomous agricultural robots: from offline model-checking to runtime verification. - Mustafa Adam; Elias E. Hartmark; Tage Andersen; David A. Anisi; Ana Cavalcanti 001 (CASE, 2024)

A Verification Methodology for Safety Assurance of RAS. - Mustafa Adam; David A. Anisi; Pedro Ribeiro (TAROS, 2025)

A Verification Methodology for Safety Assurance of Robotic Autonomous Systems. - Mustafa Adam; David A. Anisi; Pedro Ribeiro (CoRR, 2025)