Indonesian Species Checklist
Platythomisus jucundus Thorell, 1894 | local distribution: Java | WSC
Platythomisus octomaculatus (C. L. Koch, 1845) | local distribution: Sumatra, Java, Kalimantan*, Lesser Sunda* | WSC
Platythomisus quadrimaculatus van Hasselt, 1882 | local distribution: Sumatra | WSC
Platythomisus octomaculatus: female from Bogor, West Java
