- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c9 |      | Hootan Nakhost, Jörg Hoffmann, Martin Müller: Resource-Constrained Planning: A Monte Carlo Random Walk Approach. ICAPS 2012 |
| c8 | | |
| c7 | | Richard Anthony Valenzano, Hootan Nakhost, Martin Müller, Jonathan Schaeffer, Nathan R. Sturtevant: ArvandHerd: Parallel Planning with a Portfolio. ECAI 2012: 786-791 |
| c6 | | |
| 2011 | ||
| c5 | | Fan Xie, Hootan Nakhost, Martin Müller: A Local Monte Carlo Tree Search Approach in Deterministic Planning. AAAI 2011 |
| 2010 | ||
| c4 | | Hootan Nakhost, Martin Müller: Action Elimination and Plan Neighborhood Graph Search: Two Algorithms for Plan Improvement. ICAPS 2010: 121-128 |
| c3 | | Hootan Nakhost, Jörg Hoffmann, Martin Müller: Improving Local Search for Resource-Constrained Planning. SOCS 2010 |
| 2009 | ||
| c2 | | Hootan Nakhost, Martin Müller: Monte-Carlo Exploration for Deterministic Planning. IJCAI 2009: 1766-1771 |
| 2007 | ||
| j2 | | 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) |
| c1 | | Amirali Houshmandan, Gholamreza Ghassem-Sani, Hootan Nakhost: Integration of Symmetry and Macro-operators in Planning. MICAI 2007: 1056-1066 |
| 2006 | ||
| j1 | | 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 | |
| 2 | Jörg Hoffmann | |
| 3 | Hossein Hojjat | |
| 4 | Amirali Houshmandan | |
| 5 | Martin Müller 0003 | |
| 6 | Jonathan Schaeffer | |
| 7 | Marjan Sirjani | |
| 8 | Nathan R. Sturtevant | |
| 9 | Richard Anthony Valenzano | |
| 10 | Fan Xie 0001 |
Colors in the list of coauthors
Last update Tue May 21 00:24:16 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page