Species list for Himalmartensus
| Taxon | Author | Action | Last updated |
|---|---|---|---|
| 1. Himalmartensus ausobskyi | Wang & Zhu, 2008 | Catalog | - - |
| 2. Himalmartensus martensi * | Wang & Zhu, 2008 | Catalog | - - |
| 3. Himalmartensus mussooriensis | (Biswas & Roy, 2008) | Catalog | 2015-03-30 |
| 4. Himalmartensus nandadevi | Quasin, Siliwal & Uniyal, 2015 | Catalog | 2015-10-08 |
| 5. Himalmartensus nepalensis | Wang & Zhu, 2008 | Catalog | - - |