Tibet

Aphaenogaster

 * Aphaenogaster tibetana Donisthorpe, 1929

Anochetus

 * Anochetus subcoecus Forel, 1912

Cardiocondyla

 * Cardiocondyla tibetana Seifert, 2003

Cerapachys

 * Cerapachys xizangensis Tang & Li, 1982

Formica

 * Formica forsslundi Lohmander, 1949
 * Formica sentschuensis Ruzsky, 1915

Lasius

 * Lasius obscuratus Stitz, 1930
 * Lasius przewalskii Ruzsky, 1915
 * Lasius schaeferi Seifert, 1992

Myrmica

 * Myrmica bactriana Ruzsky, 1915
 * Myrmica kozlovi Ruzsky, 1915
 * Myrmica tibetana Mayr, 1889

Paratopula

 * Paratopula zhengi Xu & Xu, 2011

Polyrhachis

 * Polyrhachis lama Kohout, 1994

Protanilla

 * Protanilla tibeta Xu, 2012

Stenamma

 * Stenamma yaluzangbum

Vombisidris

 * Vombisidris tibeta Xu & Yu, 2012

Uncertain species
The following species was described from Tibet but its true identity is currently unknown.
 * Myrmica khamensis Ruzsky, 1915