| 2006 |
|---|
| 5 | EE | Jihad Mohamad Jaam,
Mohamed Larbi Rebaiaia,
Ahmad Hasnah:
A Fingerprint Minutiae Recognition System Based on Genetic Algorithms.
Int. Arab J. Inf. Technol. 3(3): 242-248 (2006) |
| 2004 |
|---|
| 4 | EE | Mohamed Larbi Rebaiaia,
Jihad Mohamad Jaam:
VALID-2: A Practical Modeling, Simulation and Verification Software for Distributed Systems.
IPDPS 2004 |
| 2003 |
|---|
| 3 | | Mohamed Larbi Rebaiaia,
Jihad Mohamad Jaam,
Ahmad Hasnah:
A Decision Support System Based on Ranking Methods.
IKE 2003: 591-597 |
| 2 | | Mohamed Larbi Rebaiaia,
Mohamed Benmohamed,
Jihad Mohamad Jaam,
Ahmad Hasnah:
A Toolset for the Specification and Verification of Embedded Systems.
PDPTA 2003: 1539-1545 |
| 1 | | Mohamed Larbi Rebaiaia,
Mohamed Benmohamed,
Jihad Mohamad Jaam,
Ahmad Hasnah:
A Rewriting Logic-Based Computation and Deduction Approach to Avoid Reactive System Malfunctions.
PDPTA 2003: 573-579 |
