Alaa Ibrahim

According to our database, Alaa Ibrahim authored at least 7 papers between 2001 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Positivity proofs for linear recurrences through contracted cones.

Alaa Ibrahim, Bruno Salvy

J. Symb. Comput., 2026

2025

Positivity Proofs for Linear Recurrences with Several Dominant Eigenvalues.

Alaa Ibrahim

CoRR, March, 2025

2024

Positivity Certificates for Linear Recurrences.

Alaa Ibrahim, Bruno Salvy

Proceedings of the 2024 ACM-SIAM Symposium on Discrete Algorithms, 2024

2017

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

2008

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

Proceedings of the 2008 IEEE International Conference on Robotics and Automation, 2008

2001

A Fault Model for Fault Injection Analysis of Dynamic UML Dynamic Specifications.

Alaa Ibrahim, Hany H. Ammar, Sherif M. Yacoub

Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 2001

Modeling Resources in a UML-Based Simulative Environment.

Hany H. Ammar, Vittorio Cortellessa, Alaa Ibrahim

Proceedings of the 2001 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2001), 2001