| Tripos hexacanthus var. contortus (Lemmerm.) F. Gómez, 2013 |
| Tripos hircus (Schröd.) F. Gómez, 2013 |
| Tripos horridus (Cleve) F. Gómez, 2013 |
| Tripos horridus f. buceros (Zacharias) F. Gómez, 2013 |
| Tripos horridus f. claviger (Kof.) F. Gómez, 2013 |
| Tripos horridus subsp. buceros (Zacharias) F. Gómez, 2013 |
| Tripos horridus var. buceros (Zacharias) F. Gómez, 2013 |
| Tripos horridus var. claviger (Kof.) F. Gómez, 2013 |
| Tripos horridus var. horridus (Cleve) F. Gómez, 2013 |
| Tripos horridus var. mollis (Kof.) F. Gómez, 2013 |
| Tripos horridus var. tenuis (Ostenf. & Johannes Schmidt) F. Gómez, 2013 |
| Tripos humilis (Jørg.) F. Gómez, 2013 |
| Tripos incisus (Karsten) F. Gómez, 2013 |
| Tripos inflatus (Kof.) F. Gómez, 2013 |
| Tripos intermedius (Jørg.) F. Gómez, 2013 |
| Tripos japonicus (Schröd.) F. Gómez, 2013 |
| Tripos karstenii (Pavill.) F. Gómez, 2013 |
| Tripos kofoidii (Jørg.) F. Gómez, 2013 |
| Tripos lamellicornis (Kof.) F. Gómez, 2013 |
| Tripos lanceolatus (Kof.) F. Gómez, 2013 |