dblp.uni-trier.dewww.uni-trier.de

Hootan Nakhost

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
3EEAmirali Houshmandan, Gholamreza Ghassem-Sani, Hootan Nakhost: Integration of Symmetry and Macro-operators in Planning. MICAI 2007: 1056-1066
2EEHossein 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
1EEHossein 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

1Gholamreza Ghassem-Sani [3]
2Hossein Hojjat [1] [2]
3Amirali Houshmandan [3]
4Marjan Sirjani [1] [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)