Genus: Himalayasaurus YOUNG & DONG, 1972
Etymology: In reference to the Himalayas, where the specimen was found, Greek, sauros, “lizard”: Himalayan lizard..

Species: tibetensis YOUNG & DONG, 1972
Etymology: In reference to Tibet, the country of origin.

Holotype: IVPP V 4003-5

Locality: Nyalam, Tunlong, Tibet.

Horizon:

Biostratigraphy:

Age: Norian Stage, Late Triassic Epoch, Late Triassic.

Material: Fragmentary skull missing the posterior portion, scapula, coracoid and 11 vertebrae.

Brake-down per MONTAI, MANABE & DONG, 1999

IVPP V4003-1: A slab with a partial skull and vertebrae.

IVPP V4003-2: Fin element.

IVPP V 4003-3, IVPP V 4003-4 : Caudal vertebrae?

IVPP V 4003-5: Radius.