Hootan Nakhost

	2009
4		Hootan Nakhost, Martin Müller: Monte-Carlo Exploration for Deterministic Planning. IJCAI 2009: 1766-1771
	2007
3		Amirali Houshmandan, Gholamreza Ghassem-Sani, Hootan Nakhost: Integration of Symmetry and Macro-operators in Planning. MICAI 2007: 1056-1066
2		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		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)

Coauthor Index

1	Gholamreza Ghassem-Sani	[3]
2	Hossein Hojjat	[1] [2]
3	Amirali Houshmandan	[3]
4	Martin Müller	[4]
5	Marjan Sirjani	[1] [2]

Colors in the list of coauthors