 | 2009 |
|---|
| 7 |       | Parvaz Mahdabi,
Mahdi Abadi,
Saeed Jalili:
A novel quantum-inspired evolutionary algorithm for solving combinatorial optimization problems.
GECCO 2009: 1807-1808 |
| 6 | | Sama Goliaei,
Saeed Jalili:
An Optical Wavelength-Based Solution to the 3-SAT Problem.
OSC 2009: 77-85 |
| 5 | | Narges Khakpour,
Saeed Jalili:
Verification of Distributed Firewalls Configuration vs. Security Policies Using ALCQI(d).
Applied Artificial Intelligence 23(10): 945-975 (2009) |
| 2008 |
|---|
| 4 | | Parvaz Mahdabi,
Saeed Jalili,
Mahdi Abadi:
A multi-start quantum-inspired evolutionary algorithm for solving combinatorial optimization problems.
GECCO 2008: 613-614 |
| 2007 |
|---|
| 3 | | 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 | | Saeed Jalili,
Somayeh Malakuti,
Khah Olun Abadi:
AECM: an Aspect Enabled Component Model.
APSEC 2005: 738-743 |
