| Tripos muelleri subsp. atlanticus (Ostenf.) F. Gómez, 2013 |
| Tripos muelleri subsp. tripodioides (Jørg.) F. Gómez, 2013 |
| Tripos muelleri var. atlanticus (Ostenf., 1903) F. Gómez, 2013 |
| Tripos muelleri var. horridus (Cleve) F. Gómez, 2013 |
| Tripos muelleri var. indicus (Böhm) F. Gómez, 2013 |
| Tripos muelleri var. muelleri Bory, 1825 |
| Tripos muelleri var. ponticus (Jørg.) F. Gómez, 2013 |
| Tripos muelleri var. porrectus (G. Karst.) F. Gómez, 2013 |
| Tripos muelleri var. pulchellus (Schröd.) F. Gómez, 2013 |
| Tripos muelleri var. tripodioides (Jørg.) F. Gómez, 2013 |
| Tripos palmatus (Schröd.) F. Gómez, 2013 |
| Tripos paradoxides (Cleve) F. Gómez, 2013 |
| Tripos pavillardii (Jørg.) F. Gómez, 2013 |
| Tripos pentagonus (Gourret) F. Gómez, 2013 |
| Tripos pentagonus f. robustus (Cleve) F. Gómez, 2013 |
| Tripos pentagonus f. tenerus (Jørg.) F. Gómez, 2013 |
| Tripos pentagonus subsp. robustus (Cleve) F. Gómez, 2013 |
| Tripos pentagonus subsp. subrobustus (N. Peters) F. Gómez, 2013 |
| Tripos pentagonus subsp. tenerus (Jørg.) F. Gómez, 2013 |
| Tripos pentagonus var. pentagonus (Gourret) F. Gómez, 2013 |