Alaa Ibrahim

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 3

Top Topics

Top Venues

Publications

Alaa Ibrahim, Bruno Salvy
Positivity Certificates for Linear Recurrences. SODA (2024)
Alaa Ibrahim, Bruno Salvy
Positivity certificates for linear recurrences. CoRR (2023)
Mohammed Shokr, Muhammed El-Tahan, Alaa Ibrahim, Allison Steiner, Nashaat Gad
Long-Term, High-Resolution Survey of Atmospheric Aerosols over Egypt with NASA's MODIS Data. Remote. Sens. 9 (10) (2017)
Mircea Badescu, Sergiu Stroescu, Stewart Sherrit, Jack B. Aldrich, Xiaoqi Bao, Yoseph Bar-Cohen, Zensheu Chang, Wilson Hernandez, Alaa Ibrahim
Rotary hammer ultrasonic/sonic drill system. ICRA (2008)
Alaa Ibrahim, Hany H. Ammar, Sherif M. Yacoub
A Fault Model for Fault Injection Analysis of Dynamic UML Dynamic Specifications. ISSRE (2001)
Hany H. Ammar, Vittorio Cortellessa, Alaa Ibrahim
Modeling Resources in a UML-Based Simulative Environment. AICCSA (2001)