Bythinia brusinai Halaváts, 1902 † accepted as Bithynia brusinai Halaváts, 1902 † (redescription)
Congeria balatonica var. crassitesta T. Fuchs, 1870 † accepted as Trigonipraxis ungulacaprae (Münster, 1837) † (source of synonymy)
Congeria solitaria Brusina, 1902 † accepted as Andrusoviconcha neumayri (Andrusov, 1897) † (source of synonymy)
Galba halavatsi Wenz, 1922 † (additional source)
Helix bakonicus Halaváts, 1902 † accepted as Megalotachea neumayri (Brusina, 1878) † (redescription)
Helix fuchsi Halaváts, 1902 † accepted as Vallonia lepida (Reuss, 1849) † (redescription)
Limnaea kenesense Halaváts, 1902 † accepted as Galba kenesensis (Halaváts, 1902) † (redescription)
Limnaea minima Halaváts, 1902 † accepted as Galba halavatsi Wenz, 1922 † (redescription)
Lithoglyphus decipiens Brusina, 1885 † (additional source)
Melanopsis boettgeri Halaváts, 1902 † accepted as Melanopsis bouei sturii T. Fuchs, 1873 † (redescription)
Planorbis bakonicus Halaváts, 1902 † accepted as Gyraulus (Gyraulus) bakonicus (Halaváts, 1902) † represented as Gyraulus bakonicus (Halaváts, 1902) † (redescription)
Planorbis grandis Halaváts, 1902 † accepted as Planorbarius halavatsi Neubauer, Harzhauser, Kroh, Georgopoulou & Mandic, 2014 † (redescription)
Planorbis krambergeri Halaváts, 1902 † accepted as Anisus (Anisus) krambergeri (Halaváts, 1902) † represented as Anisus krambergeri (Halaváts, 1902) † (redescription)
Planorbis subptychophorus Halaváts, 1902 † accepted as Armiger subptychophorus (Halaváts, 1902) † (redescription)
Pupa berthae Halaváts, 1902 † accepted as Carychium berthae (Halaváts, 1902) † (redescription)
Pupa ocsensis Halaváts, 1902 † accepted as Vertigo ocsensis (Halaváts, 1902) † (redescription)
Vivipara loczyi Halaváts, 1902 † accepted as Viviparus loczyi Halaváts, 1902 † (redescription)
Vivipara semseyi Halaváts, 1902 † accepted as Viviparus semseyi Halaváts, 1902 † (redescription)