| * | 2009 |
|---|
| 6 | EE | S. Asadollahi,
Vahid Rafe,
Reza Rafeh,
Adel Torkaman Rahmani:
Towards Automated Software Verification Using Model Checking Techniques.
TASE 2009: 305-306 |
| 5 | EE | Farzaneh Mahdian,
Vahid Rafe,
Reza Rafeh,
Adel Torkaman Rahmani:
Modeling Fault Tolerant Services in Service-Oriented Architecture.
TASE 2009: 319-320 |
| 2008 |
|---|
| 4 | EE | Reza Rafeh,
Kim Marriott,
Maria Garcia de la Banda,
Nicholas Nethercote,
Mark Wallace:
Adding Search to Zinc.
CP 2008: 624-629 |
| 3 | EE | Kim Marriott,
Nicholas Nethercote,
Reza Rafeh,
Peter J. Stuckey,
Maria Garcia de la Banda,
Mark Wallace:
The Design of the Zinc Modelling Language.
Constraints 13(3): 229-267 (2008) |
| 2007 |
|---|
| 2 | EE | Reza Rafeh,
Maria J. García de la Banda,
Kim Marriott,
Mark Wallace:
From Zinc to Design Model.
PADL 2007: 215-229 |
| 2006 |
|---|
| 1 | EE | Maria J. García de la Banda,
Kim Marriott,
Reza Rafeh,
Mark Wallace:
The Modelling Language Zinc.
CP 2006: 700-705 |
