• Neotype designation: Galkowski et al., 2017: 13.
• [Misspelled as nasula by Forel, 1909c: 105.]
• Forel, 1886h: 205 (q.); Ruzsky, 1903b: 304 (m.)
• Combination in Cataglyphis: Mayr, 1861: 45 (in key); Roger, 1863b: 12.
• Combination in Myrmecocystus: Emery & Forel, 1879: 449.
• Combination in Formica (Proformica): Ruzsky, 1902d: 13; Emery, 1909b: 200.
• Combination in Proformica: Emery, 1912f: 100; Ruzsky, 1915a: 433 (footnote); Bondroit, 1918: 40.
• Junior synonym of Cataglyphis cursor: Mayr, 1861: 45 (in key); Mayr, 1863a: 402; Roger, 1863b: 12; Dours, 1873: 166; André, 1874c: 202 (in list); Mayr, 1877a: 8; Mayr, 1880: 28.
• Status as species: Smith, 1858a: 6; Emery & Forel, 1879: 449; Emery, 1880: 390 (footnote); André, 1882c: 177 (in key); Forel, 1886h: 205; Nasonov, 1889: 21; Forel, 1892j: 307; Dalla Torre, 1893: 201; Ruzsky, 1896: 70; Ruzsky, 1902a: 232; Ruzsky, 1902d: 13; Ruzsky, 1903b: 304; Forel, 1904c: 384; Ruzsky, 1905b: 421; Forel, 1906c: 189; Emery, 1909b: 200; Forel, 1909c: 105; Karavaiev, 1912b: 588; Emery, 1912f: 100; Wheeler, 1913i: 543 (redescription); Bondroit, 1918: 40; Kuznetsov-Ugamsky, 1923b: 246; Emery, 1925d: 243; Santschi, 1925g: 353; Schkaff, 1925b: 276; Santschi, 1926f: 289; Karavaiev, 1927a: 303; Kuznetsov-Ugamsky, 1927b: 29 (in key); Kuznetsov-Ugamsky, 1928a: 18; Kuznetsov-Ugamsky, 1929b: 40; Stitz, 1930a: 238; Santschi, 1932e: 73; Arnol'di, 1933a: 604 (in key); Karavaiev, 1935b: 108; Schmitz, 1950: 14; Wellenius, 1955: 16; Ceballos, 1956: 319; Stumper, 1957b: 87; Bernard, 1967a: 284 (redescription); Collingwood & Yarrow, 1969: 86; Dlussky, 1969a: 224 (redescription); Báez & Ortega, 1978: 189; Collingwood, 1978: 93 (in key); Espadaler & Cagniant, 1987: 136; Agosti & Collingwood, 1987b: 288 (in key); Bolton, 1995b: 368; Espadaler, 1997g: 29; Collingwood & Prince, 1998: 27 (in key); Markó et al., 2006: 69; Petrov, 2006: 114 (in key); Gratiashvili & Barjadze, 2008: 134; Casevitz-Weulersse & Galkowski, 2009: 486; Lapeva-Gjonova et al., 2010: 56; Legakis, 2011: 36; Borowiec & Salata, 2012: 532; Guénard & Dunn, 2012: 38; Kiran & Karaman, 2012: 15; Borowiec, 2014: 151 (see note in bibliography); Lebas et al., 2016: 240; Galkowski et al., 2017: 13 (redescription); Arcos et al., 2022: 11.
• Senior synonym of Proformica aerea: Emery & Forel, 1879: 449; Emery, 1880: 390 (footnote); Dalla Torre, 1893: 201; Ruzsky, 1905b: 421; Wheeler, 1913i: 543; Emery, 1925d: 244; Agosti & Collingwood, 1987a: 61; Bolton, 1995b: 368.
• Senior synonym of Proformica depilis: Espadaler & Cagniant, 1987: 136; Bolton, 1995b: 368; Casevitz-Weulersse & Galkowski, 2009: 486; Galkowski et al., 2017: 13.

Junior synonyms

• Proformica aerea (Roger, 1859)
  Obsolete combination(s): Formica aerea
• Proformica depilis (Santschi, 1925)
  Obsolete combination(s): Formica nasuta depilis

Obsolete combinations

• Formica nasuta

Citations

• Agosti, D.; Collingwood, C. A. 1987a. A provisional list of the Balkan ants (Hym. Formicidae) and a key to the worker caste. I. Synonymic list. Mitteilungen der Schweizerischen Entomologischen Gesellschaft 60:51-62. PDF
• Agosti, D.; Collingwood, C. A. 1987b. A provisional list of the Balkan ants (Hym. Formicidae) with a key to the worker caste. II. Key to the worker caste, including the European species without the Iberian. Mitteilungen der Schweizerischen Entomologischen Gesellschaft 60:261-293. PDF
• André, Ern. 1874c. Description des fourmis d'Europe pour servir à l'étude des insectes myrmécophiles. [part]. Revue et Magasin de Zoologie Pure et Appliquée (3)2:193-224.
• André, Ern. 1882c. Les fourmis [part]. Pp. 153-232 in: André, Edm. 1882. 1881-1886. Species des Hyménoptères d'Europe et d'Algérie. Tome Deuxième. Beaune: Edmond André, 919 + 48 pp. PDF
• Arcos, J.; Chaves, D.; Alarcón, P.; Rosado, Á. 2022. First record of Temnothorax convexus (Forel, 1894) in Portugal (Hymenoptera: Formicidae) with an updated checklist of the ants from the country. Sociobiology 69 (2): e7623:1-15. 10.13102/sociobiology.v69i2.7623 PDF
• Arnol'di, K. V. 1933a. Formicidae - ants. [In Russian.]. Pp. 594-605 in: Filip'ev, I. N.; Ogloblin, D. A. (eds.) 1933. Keys to insects. [In Russian.]. Moskva: Ogiz, viii + 820 pp.
• Báez, M.; Ortega, G. 1978. Lista preliminar de los Himenópteros de las Islas Canarias. Boletín de la Asociación Española de Entomologia 2:185-199.
• Bernard, F. 1967a ("1968"). Faune de l'Europe et du Bassin Méditerranéen. 3. Les fourmis (Hymenoptera Formicidae) d'Europe occidentale et septentrionale. Paris: Masson, 411 pp. PDF
• Bolton, B. 1995b. A new general catalogue of the ants of the world. Cambridge, Mass.: Harvard University Press, 504 pp.
• Bondroit, J. 1918. Les fourmis de France et de Belgique. Annales de la Société Entomologique de France 87:1-174. PDF
• Borowiec, L. 2014. Catalogue of ants of Europe, the Mediterranean Basin and adjacent regions (Hymenoptera: Formicidae). Genus (Wroclaw) 25 (1-2):1-340. PDF
• Borowiec, L.; Salata, S. 2012. Ants of Greece – checklist, comments and new faunistic data (Hymenoptera: Formicidae). Genus (Wroclaw) 23 (4):461-563. PDF
• Casevitz-Weulersse, J.; Galkowski, C. 2009. Liste actualisée des fourmis de France (Hymenoptera, Formicidae). Bulletin de la Société Entomologique de France 114:475-510. PDF
• Ceballos, G. 1956. Catálogo de los Himenópteros de España. Madrid: Instituto Español de Entomología, 554 pp.
• Collingwood, C. A. 1978. A provisional list of Iberian Formicidae with a key to the worker caste (Hym. Aculeata). EOS. Revista Española de Entomología 52:65-95. PDF
• Collingwood, C. A.; Yarrow, I. H. H. 1969. A survey of Iberian Formicidae (Hymenoptera). EOS. Revista Española de Entomología 44:53-101. PDF
• Collingwood, C.; Prince, A. 1998. A guide to ants of continental Portugal (Hymenoptera: Formicidae). Boletim da Sociedade Portuguesa de Entomologia. Suplemento 5:1-49.
• Dalla Torre, K. W. 1893. Catalogus Hymenopterorum hucusque descriptorum systematicus et synonymicus. Vol. 7. Formicidae (Heterogyna). Leipzig: W. Engelmann, 289 pp. PDF
• Dlussky, G. M. 1969a. Ants of the genus Proformica Ruzs. of the USSR and contiguous countries (Hymenoptera, Formicidae). [In Russian.]. Zoologicheskii Zhurnal 48:218-232. PDF
• Dours, J. A. 1873. Catalogue synonymique des Hyménoptères de France. Mémoires de la Société Linnéenne de Nord de la France 3:1-230. PDF
• Emery, C. 1880. Crociera del Violante, comandato dal capitano armatore Enrico d'Albertis, durante l'anno 1877. Formiche. Annali del Museo Civico di Storia Naturale 15:389-398. PDF
• Emery, C. 1909b. Beiträge zur Monographie der Formiciden des paläarktischen Faunengebietes. (Hym.) Teil VII. Deutsche Entomologische Zeitschrift 1909:179-204. PDF
• Emery, C. 1912f. Der Wanderzug der Steppen- und Wüstenameisen von Zentral-Asien nach Süd-Europa und Nord-Afrika. Zoologische Jahrbücher. Supplement 15("Erster Band"):95-104. PDF
• Emery, C. 1925d. Hymenoptera. Fam. Formicidae. Subfam. Formicinae. Genera Insectorum 183:1-302. PDF
• Emery, C.; Forel, A. 1879. Catalogue des Formicides d'Europe. Mitteilungen der Schweizerischen Entomologischen Gesellschaft 5:441-481. PDF
• Espadaler, X. 1997g. Catàleg de les formigues (Hymenoptera: Formicidae) dels països catalans. Sessió d'Entomologia ICHN-SCL 9:23-42. PDF
• Espadaler, X.; Cagniant, H. 1987. Contribution à la connaissance des fourmis marocaines. Description du mâle de Proformica theryi Santschi, 1936 (Hymenoptera, Formicidae). Nouvelle Revue d'Entomologie (n.s.)4:133-138. PDF
• Forel, A. 1886h. Études myrmécologiques en 1886. Annales de la Société Entomologique de Belgique 30:131-215. PDF
• Forel, A. 1892j. Die Ameisenfauna Bulgariens. (Nebst biologischen Beobachtungen.). Verhandlungen der Kaiserlich-Königlichen Zoologisch-Botanischen Gesellschaft in Wien 42:305-318. PDF
• Forel, A. 1904c ("1903"). Note sur les fourmis du Musée Zoologique de l'Académie Impériale des Sciences à St. Pétersbourg. Ezhegodnik Zoologicheskago Muzeya 8:368-388. PDF
• Forel, A. 1906c. Fourmis d'Asie mineure et de la Dobrudscha récoltées par M. le Dr. Oscar Vogt et Mme Cécile Vogt, Dr. méd. Annales de la Société Entomologique de Belgique 50:187-190. PDF
• Forel, A. 1909c. Fourmis d'Espagne récoltées par M. O. Vogt et Mme Cécile Vogt, Docteurs en médecine. Annales de la Société Entomologique de Belgique 53:103-106. PDF
• Galkowski, C.; Lebas, C.; Wegnez, P.; Lenoir, A.; Blatrix, R. 2017. Redescription of Proformica nasuta (Nylander, 1856) (Hymenoptera, Formicidae) using an integrative approach. European Journal of Taxonomy 290:1-40. 10.5852/ejt.2017.290 PDF
• Gratiashvili, N.; Barjadze, S. 2008. Checklist of the ants (Formicidae Latreille, 1809) of Georgia. Proceedings of the Institute of Zoology (Tbilisi) 23:130-146. PDF
• Guénard, B.; Dunn, R. R. 2012. A checklist of the ants of China. Zootaxa 3358:1-77. PDF
• Karavaiev, V. 1912b. Ameisen aus dem paläarktischen Faunengebiete. Russkoe Entomologicheskoe Obozrenie 12:581-596. PDF
• Karavaiev, V. 1927a ("1926"). Übersicht der Ameisenfauna der Krim nebst einigen Neubeschreibungen. Konowia 5:281-303. PDF
• Karavaiev, V. 1935b. Contribution to the ant fauna of Mariupols'kaya Province. [In Ukrainian.]. Zbirnyk Prats' Zoolohichnoho Muzeyu 16:107-111. PDF
• Kiran, K.; Karaman, C. 2012. First annotated checklist of the ant fauna of Turkey (Hymenoptera: Formicidae). Zootaxa 3548:1-38. PDF
• Kuznetsov-Ugamsky, N. N. 1923b. The ant fauna of Tashkent district. [In Russian.]. Trudy Turkestanskogo Nauchnogo Obshchestva 1:239-558. PDF
• Kuznetsov-Ugamsky, N. N. 1927b. Zur Kenntnis der Gattung Proformica Ruzsky. Societas Entomologica. Stuttgart 42:26-28. PDF
• Kuznetsov-Ugamsky, N. N. 1928a. Beiträge zur Ameisenfauna Mittelasiens. I. Die Gattung Proformica, Ruzsky 1903. Zoologischer Anzeiger 75:7-23. PDF
• Kuznetsov-Ugamsky, N. N. 1929b. Die Ameisenfauna Daghestans. Zoologischer Anzeiger 83:34-45. PDF
• Lapeva-Gjonova, A.; Antonova, V.; Radchenko, A. G.; Atanasova, M. 2010. Catalogue of the ants (Hymenoptera, Formicidae) of Bulgaria. ZooKeys 62:1-124. PDF
• Lebas, C.; Galkowski, C.; Blatrix, R.; Wegnez, P. 2016. Guide Delachaux: Fourmis d’Europe occidentale. Luçon: Delachaux et Niestlé, 415 pp.
• Legakis, A. 2011. Annotated list of the ants (Hymenoptera, Formicidae) of Greece. Hellenic Zoological Archives 7:1-55. PDF
• Markó, B.; Sipos, B.; Csősz, S.; Kiss, K.; Boros, I.; Gallé, L. 2006. A comprehensive list of the ants of Romania (Hymenoptera: Formicidae). Myrmecologische Nachrichten 9:65-76. PDF
• Mayr, G. 1861. Die europäischen Formiciden. Nach der analytischen Methode bearbeitet. Wien: C. Gerolds Sohn, 80 pp. PDF
• Mayr, G. 1863a. Formicidarum index synonymicus. Verhandlungen der Kaiserlich-Königlichen Zoologisch-Botanischen Gesellschaft in Wien 13:385-460. PDF
• Mayr, G. 1877a. Formicidae. [In Russian.]. In: Fedchenko, A. P. 1877. Travels in Turkestan. Vol. 2, Div. 5, No. 7. [In Russian.]. Izvestiya Imperatorskago Obshchestva Lyubitelei Estestvoznaniya Antropologii i Etnografii pri Imperatorskom Moskovskom Universitete 26:i-iii, 1-20 (+1).
• Mayr, G. 1880. Die Ameisen Turkestan's, gesammelt von A. Fedtschenko. Tijdschrift voor Entomologie 23:17-40. PDF
• Nasonov, N. V. 1889. Contribution to the natural history of the ants primarily of Russia. 1. Contribution to the ant fauna of Russia. [In Russian.]. Izvestiya Imperatorskago Obshchestva Lyubitelei Estestvoznaniya Antropologii i Etnografii pri Imperatorskom Moskovskom Universitete 58:1-78.
• Nylander, W. 1856b. Synopsis des Formicides de France et d'Algérie. Annales des Sciences Naturelles, Zoologie (4)5:51-109. PDF
• Petrov, I. 2006. The ants of Serbia and Montenegro. [In Serbian.]. Posebna Izdanja. Srpska Akademija Nauka i Umetnosti 656:1-136. PDF
• Radchenko, A. G. 2007. The ants (Hymenoptera, Formicidae) in the collection of William Nylander. Fragmenta Faunistica (Warsaw) 50:27-41. PDF
• Roger, J. 1863b. Verzeichniss der Formiciden-Gattungen und Arten. Berliner Entomologische Zeitschrift 7(Beilage):1-65. PDF
• Ruzsky, M. 1896. Verzeichniss der Ameisen des östlichen Russlands und des Uralgebirges. Berliner Entomologische Zeitschrift 41:67-74. PDF
• Ruzsky, M. 1902a. Contribution to the ant fauna of the Turgai region. [In Russian.]. Russkoe Entomologicheskoe Obozrenie 2:232-235. PDF
• Ruzsky, M. 1902d. Material on the ant fauna of the Caucasus and the Crimea. [In Russian.]. Protokoly Obshchestva Estestvoispytatelei pri Imperatorskom Kazanskom Universitete 206(suppl.):1-33. PDF
• Ruzsky, M. 1903b. Essay on the myrmecofauna of the Kirghiz steppe. [In Russian.]. Trudy Russkago Entomologicheskago Obshchestva 36:294-316. PDF
• Ruzsky, M. 1905b. The ants of Russia. (Formicariae Imperii Rossici). Systematics, geography and data on the biology of Russian ants. Part I. [In Russian.]. Trudy Obshchestva Estestvoispytatelei pri Imperatorskom Kazanskom Universitete 38(4-6):1-800.
• Ruzsky, M. 1915a. On the ants of Tibet and the southern Gobi. On material collected on the expedition of Colonel P. K. Kozlov. [In Russian.]. Ezhegodnik Zoologicheskago Muzeya 20:418-444. PDF
• Santschi, F. 1925g. Fourmis d'Espagne et autres espèces paléarctiques (Hymenopt.). EOS. Revista Española de Entomología 1:339-360. PDF
• Santschi, F. 1926f. Travaux scientifiques de l'Armée d'Orient (1916-1918). Fourmis. Bulletin du Muséum National d'Histoire Naturelle 32:286-293. PDF
• Santschi, F. 1932e. Liste de fourmis d'Espagne recueilliés par Mr. J. M. Dusmet. Boletín de la Sociedad Entomológica de España 15:69-74. PDF
• Schkaff, B. 1925b. Fourmis de Macédoine, récoltées par le Professeur J. Komarek. Bulletin de la Société Entomologique de France 1925:273-276. PDF
• Schmitz, H. 1950. Formicidae quaedam a cl. A. Stärcke determinatae, quas in Lusitania collegit. Brotéria. Serie Ciencias Naturais 19:12-16. PDF
• Smith, F. 1858a. Catalogue of hymenopterous insects in the collection of the British Museum. Part VI. Formicidae. London: British Museum, 216 pp. PDF
• Stitz, H. 1930a. Entomologische Ergebnisse der Deutsch-Russischen Alai-Pamir Expedition 1928 (1). 5. Hymenoptera III. Formicidae. Mitteilungen aus dem Zoologischen Museum in Berlin 16:238-240. PDF
• Stumper, R. 1957b ("1955"). Sur l'éthologie de la fourmi à miel Proformica nasuta Nyl. (Étude myrmécologique LXXVIII.). Bulletin de la Société des Naturalistes Luxembourgeois 60:87-97. PDF
• Wellenius, O. H. 1955. Entomologische Ergebnisse der finnländischen Kanaren-Expedition 1947-1951. No. 10. Formicidae Insularum Canariensium. Systematik, Ökologie und Verbreitung der Kanarischen Formiciden. Commentationes Biologicae 15(8):1-20. PDF
• Wheeler, W. M. 1913i. A revision of the ants of the genus Formica (Linné) Mayr. Bulletin of the Museum of Comparative Zoology 53:379-565. PDF