| |
| 2007 | ||
|---|---|---|
| 3 | EE | Amirali Houshmandan, Gholamreza Ghassem-Sani, Hootan Nakhost: Integration of Symmetry and Macro-operators in Planning. MICAI 2007: 1056-1066 |
| 2 | EE | Hossein Hojjat, Hootan Nakhost, Marjan Sirjani: Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP). J. UCS 13(13): 2076-2104 (2007) |
| 2006 | ||
| 1 | EE | Hossein Hojjat, Hootan Nakhost, Marjan Sirjani: Formal Verification of the IEEE 802.1D Spanning Tree Protocol Using Extended Rebeca. Electr. Notes Theor. Comput. Sci. 159: 139-154 (2006) |
| 1 | Gholamreza Ghassem-Sani | [3] |
| 2 | Hossein Hojjat | [1] [2] |
| 3 | Amirali Houshmandan | [3] |
| 4 | Marjan Sirjani | [1] [2] |