| |
| 2008 | ||
|---|---|---|
| 2 | EE | Abdesslem Layeb, Djamel-Eddine Saidouni: A New Quantum Evolutionary Local Search Algorithm for MAX 3-SAT Problem. HAIS 2008: 172-179 |
| 2005 | ||
| 1 | EE | Djamel-Eddine Saidouni, Nabil Belala: Using Maximality-Based Labeled Transition System Model for Concurrency Logic Verification. Int. Arab J. Inf. Technol. 2(3): 199-205 (2005) |
| 1 | Nabil Belala | [1] |
| 2 | Abdesslem Layeb | [2] |