Modeling Resources in a UML-Based Simulative Environment. - Hany H. Ammar; Vittorio Cortellessa; Alaa Ibrahim (AICCSA, 2001)

A Fault Model for Fault Injection Analysis of Dynamic UML Dynamic Specifications. - Alaa Ibrahim; Hany H. Ammar; Sherif M. Yacoub (ISSRE, 2001)

Rotary hammer ultrasonic/sonic drill system. - Mircea Badescu; Sergiu Stroescu; Stewart Sherrit; Jack B. Aldrich; Xiaoqi Bao; Yoseph Bar-Cohen; Zensheu Chang; Wilson Hernandez; Alaa Ibrahim (ICRA, 2008)

Long-Term, High-Resolution Survey of Atmospheric Aerosols over Egypt with NASA's MODIS Data. - Mohammed Shokr; Muhammed El-Tahan; Alaa Ibrahim; Allison Steiner; Nashaat Gad (Remote. Sens., 2017)

Positivity Certificates for Linear Recurrences. - Alaa Ibrahim; Bruno Salvy (SODA, 2024)

Positivity Proofs for Linear Recurrences with Several Dominant Eigenvalues. - Alaa Ibrahim (CoRR, 2025)

Positivity proofs for linear recurrences through contracted cones. - Alaa Ibrahim; Bruno Salvy (J. Symb. Comput., 2026)