| |
| 2008 | ||
|---|---|---|
| 4 | EE | Parvaz Mahdabi, Saeed Jalili, Mahdi Abadi: A multi-start quantum-inspired evolutionary algorithm for solving combinatorial optimization problems. GECCO 2008: 613-614 |
| 2007 | ||
| 3 | EE | Saeed Jalili, Mehdi MirzaAghaei: RVERL: Run-time Verification of Real-time and Reactive Programs using Event-based Real-Time Logic Approach. SERA 2007: 550-557 |
| 2 | Saeed Jalili, Mehdi MirzaAghaei: RVRTL: Run-Time Verification of Real-Time and Reactive Programs with Real-Time Logic Approach. Software Engineering Research and Practice 2007: 371-377 | |
| 2005 | ||
| 1 | EE | Saeed Jalili, Somayeh Malakuti, Khah Olun Abadi: AECM: an Aspect Enabled Component Model. APSEC 2005: 738-743 |
| 1 | Khah Olun Abadi | [1] |
| 2 | Mahdi Abadi | [4] |
| 3 | Parvaz Mahdabi | [4] |
| 4 | Somayeh Malakuti | [1] |
| 5 | Mehdi MirzaAghaei | [2] [3] |