Achatina sculpturata Neubert & Van Damme, 2012 † accepted as Arabicolaria sculpturata (Neubert & Van Damme, 2012) † (new combination reference)
Arabicolaria Harzhauser & Neubauer, 2016 † (original description)
Arabicolaria arabica Harzhauser & Neubauer, 2016 † (original description)
Arabicolaria omanensis (Neubert & Van Damme, 2012) † (basis of record)
Arabicolaria sculpturata (Neubert & Van Damme, 2012) † (basis of record)
Arabiella Kadolsky, Harzhauser & Neubauer, 2016 † (original description)
Arabiella arabica Kadolsky, Harzhauser & Neubauer, 2016 † (original description)
Bembridgia cincta (F. E. Edwards, 1852) † (basis of record)
Bembridgia elegantilites (Boubée, 1831) † (basis of record)
Carnevalea Harzhauser & Neubauer, 2016 † (original description)
Carnevalea thaytinitiensis (Neubert & Van Damme, 2012) † (basis of record)
Cerastus hyznyi Harzhauser & Neubauer, 2016 † (original description)
Cerastus miocenicus Verdcourt, 1963 † (basis of record)
Cerastus praeinsularis Neubert & Van Damme, 2012 † (additional source)
Cerastus pseudoena Neubert & Van Damme, 2012 † (additional source)
Cyclostoma coquandii Matheron, 1843 † accepted as Bembridgia elegantilites (Boubée, 1831) † (source of synonymy)
Cyclostoma excavatum de Serres, 1844 † accepted as Bembridgia elegantilites (Boubée, 1831) † (source of synonymy)
Cyclotopsis praecursor Neubert & Van Damme, 2012 † accepted as Omanitopsis praecursor (Neubert & Van Damme, 2012) † (new combination reference)
Cyclotus laevigatus F. Sandberger, 1870 † accepted as Procyclotopsis laevigata (F. Sandberger, 1870) † (new combination reference)
Eoquickia Harzhauser & Neubauer, 2016 † (original description)
Eoquickia omanensis (Neubert & Van Damme, 2012) † (basis of record)
Goniodomulus Harzhauser & Neubauer, 2016 † (original description)
Goniodomulus solaniformis Harzhauser & Neubauer, 2016 † (original description)
Lanistes thaytinitiensis Neubert & Van Damme, 2012 † accepted as Carnevalea thaytinitiensis (Neubert & Van Damme, 2012) † (new combination reference)
Lanistes tricarinatus Neubert & Van Damme, 2012 † (additional source)
Limicolaria omanensis Neubert & Van Damme, 2012 † accepted as Arabicolaria omanensis (Neubert & Van Damme, 2012) † (new combination reference)
Omanifera H. Nordsieck, 2016 † (original description)
Omanifera euclista H. Nordsieck, 2016 † (original description)
Omanillya H. Nordsieck, 2016 † (original description)
Omanillya costellata H. Nordsieck, 2016 † (original description)
Omanillya lunellifera H. Nordsieck, 2016 † (original description)
Omanitopsis Harzhauser & Neubauer, 2016 † (original description)
Omanitopsis praecursor (Neubert & Van Damme, 2012) † (basis of record)
Omanitopsis vandammei Harzhauser & Neubauer, 2016 † (original description)
Pacaudiella Harzhauser & Neubauer, 2016 † (original description)
Pacaudiella flammulata Harzhauser & Neubauer, 2016 † (original description)
Pacaudiella omanica Harzhauser & Neubauer, 2016 † (original description)
Palaeocyclotus P. Fischer, 1885 † (basis of record)
Palaeocyclotus exaratus (F. Sandberger, 1870) † (basis of record)
Palaeocyclotus kuehschelmi Harzhauser & Neubauer, 2016 † (original description)
Pila neuberti Harzhauser & Neubauer, 2016 † (original description)
Planorbarius choffati (Maillard, 1886) † (basis of record)
Procerastus vicentinus (Oppenheim, 1890) † (basis of record)
Procyclotopsis eocenica Harzhauser & Neubauer, 2016 † (original description)
Procyclotopsis galianae (Esu, 1984) † (basis of record)
Procyclotopsis obtusicosta (F. Sandberger, 1870) † (basis of record)
Pyrgulella Harzhauser, Neubauer & Kadolsky, 2016 † (original description)
Pyrgulella parva Harzhauser, Neubauer & Kadolsky, 2016 † (original description)
Sagdellina arabica (Neubert & Van Damme, 2012) † (basis of record)
Salalahia Kadolsky, Harzhauser & Neubauer, 2016 † (original description)
Salalahia thaytinitiensis Kadolsky, Harzhauser & Neubauer, 2016 † (original description)
Succinea omanensis Neubert & Van Damme, 2012 † accepted as Eoquickia omanensis (Neubert & Van Damme, 2012) † (new combination reference)
Trochozonites arabica Neubert & Van Damme, 2012 † accepted as Sagdellina arabica (Neubert & Van Damme, 2012) † (new combination reference)
Vicentinia gracilis Jodot, 1957 † (basis of record)
Vicentinia timhaditensis Jodot, 1957 † accepted as Maghrebiola acuta (Jodot, 1957) † (basis of record)