Adeone Michelin, 1847 † accepted as Adeona Lamouroux, 1812 (original description)
Adeone lamellosa Michelin, 1847 † (original description)
Adeone reteporiformis Michelin, 1847 † (original description)
Agaricia apennina Michelin, 1842 † accepted as Comoseris apennina (Michelin, 1842) † (original description)
Agaricia circularis Michelin, 1847 † accepted as Meandrastrea circularis (Michelin, 1847) † (original description)
Agaricia elegans Michelin, 1843 † (original description)
Agaricia graciosa Michelin, 1843 † accepted as Comoseris graciosa (Michelin, 1843) † (original description)
Agaricia infundibuliformis (Blainville, 1834) † accepted as Cyathoseris infundibuliformis (Blainville, 1834) † (new combination reference)
Agaricia ludoviciana Michelin, 1845 † accepted as Dimorphastrea ludoviciana (Michelin, 1845) † (original description)
Agaricia ramulosa Michelin, 1845 † accepted as Comoseris ramulosa (Michelin, 1845) † (original description)
Alecto parvula Michelin, 1847 † accepted as Stomatopora parvula (Michelin, 1847) † (original description)
Alecto vesiculosa Michelin, 1847 † accepted as Pyripora vesiculosa (Michelin, 1847) † (original description)
Alveolites parisiensis Michelin, 1844 † accepted as Axopora parisiensis (Michelin, 1844) † (original description)
Alveopora elegans (Leymerie, 1846) † accepted as Goniopora elegans (Leymerie, 1846) † (new combination reference)
Alveopora incrustata Michelin, 1843 † accepted as Thamnasteria incrustata (Michelin, 1843) † (original description)
Alveopora massiliensis Michelin, 1847 † accepted as Crinopora massiliensis (Michelin, 1847) † (original description)
Alveopora microsolena Michelin, 1845 † accepted as Microsolena porosa Lamouroux, 1821 † (original description)
Alveopora racemosa Michelin, 1843 † accepted as Microsolena racemosa (Michelin, 1843) † (original description)
Alveopora tuberosa Michelin, 1843 † accepted as Microsolena tuberosa (Michelin, 1843) † (original description)
Anthophyllum braunii Michelin, 1847 † accepted as Rhizangia brauni (Michelin, 1847) † (original description)
Anthophyllum distortum Michelin, 1844 † accepted as Trochoseris distorta (Michelin, 1844) † (original description)
Anthophyllum inaequale Michelin, 1845 † accepted as Paramontlivaltia inaequalis (Michelin, 1845) † (original description)
Anthophyllum patellatum Michelin, 1845 † accepted as Neothecoseris patellata (Michelin, 1845) † (original description)
Anthophyllum sulcatum Michelin, 1845 † (original description)
Aplophyllia orbignyi Michelin, 1843 † (original description)
Astraea argus Michelin, 1842 † (original description)
Astraea cribraria Michelin, 1840 † (original description)
Astraea delcrosiana Michelin, 1841 † (original description)
Astraea diversiformis Michelin, 1842 † accepted as Diploastrea diversiformis (Michelin, 1842) † (original description)
Astraea guettardi Michelin, 1842 † accepted as Montastraea guettardi (Michelin, 1842) † (original description)
Astraea multilateralis Michelin, 1842 † accepted as Ellasmoastraea multilateralis (Michelin, 1842) † (original description)
Astraea sulcatolamellosa Michelin, 1841 † accepted as Plesiastrea sulcatolamellosa (Michelin, 1841) † (original description)
Astraea terminaria Michelin, 1841 † (original description)
Astraea turonensis Michelin, 1847 † accepted as Solenastrea turonensis (Michelin, 1847) † (original description)
Astraea varians Michelin, 1840 † (original description)
Astraea vesparia Michelin, 1841 † (original description)
Astrea bacciformis Michelin, 1845 † accepted as Stylina bacciformis (Michelin, 1845) † (original description)
Astrea bertrandiana Michelin, 1847 † accepted as Siderastrea bertrandiana (Michelin, 1847) † (original description)
Astrea castellum Michelin, 1843 † accepted as Adelocoenia castellum (Michelin, 1843) † (original description)
Astrea compressa Michelin, 1847 † accepted as Phyllocoenia compressa (Michelin, 1847) † (original description)
Astrea coniformis Michelin, 1844 † accepted as Goniastrea coniformis (Michelin, 1844) † (original description)
Astrea crassoramosa Michelin, 1840 † accepted as Enallocoenia crassoramosa (Michelin, 1840) † (original description)
Astrea decaphylla Michelin, 1847 † accepted as Stelidioseris decaphylla (Michelin, 1847) † (original description)
Astrea decipiens Michelin, 1845 † accepted as Astraeofungia decipiens (Michelin, 1845) † (original description)
Astrea defranciana Michelin, 1840 † accepted as Thamnasteria defranciana (Michelin, 1840) † (original description)
Astrea dissimilis Michelin, 1846 † accepted as Dendrastrea dissimilis (Michelin, 1846) † (original description)
Astrea doublieri Michelin, 1847 † accepted as Phyllocoenia doublieri (Michelin, 1847) † (original description)
Astrea dumasiana Michelin, 1847 † accepted as Heliastraea pediculata (Deshayes, 1831) † (original description)
Astrea firmasiana Michelin, 1847 † accepted as Thamnasteria firmasiana (Michelin, 1847) † (original description)
Astrea hirtolamellata Michelin, 1844 † accepted as Stephanocoenia marylandica (Conrad, 1841) † (original description)
Astrea irregularis Defrance, 1826 † accepted as Favites irregularis (Defrance, 1826) † (additional source)
Astrea labatorotundata Michelin, 1842 † accepted as Stylocoenia labatorotundata (Michelin, 1842) † (original description)
Astrea lamellosissima Michelin, 1841 † accepted as Isastrea lamellosissima (Michelin, 1841) † (original description)
Astrea lifoliana Michelin, 1843 † accepted as Heliastraea lifolensis (Michelin, 1843) † (original description)
Astrea limitata Lamouroux, 1845 † accepted as Isastrea limitata (Lamouroux, 1845) † (original description)
Astrea octolamellosa Michelin, 1847 † accepted as Astrocoenia reticulata (Goldfuss, 1826) † (original description)
Astrea ornata (Michelloti, 1838) † accepted as Astrocoenia ornata (Michelotti, 1838) † accepted as Madracis ornata (Michelotti, 1838) † (new combination reference)
Astrea pediculata Deshayes, 1831 † accepted as Heliastraea pediculata (Deshayes, 1831) † (additional source)
Astrea polygonalis Michelin, 1840 † accepted as Isastrea polygonalis (Michelin, 1840) † (original description)
Astrea pseudomaeandrina Michelin, 1841 † accepted as Meandrastrea pseudomeandrina (Michelin, 1841) † (original description)
Astrea ramosa Michelin, 1847 † accepted as Astrocoenia ramosa (Michelin, 1847) † (original description)
Astrea rochettina Michelin, 1842 † accepted as Heliastraea rochetteana (Michelin, 1842) † (original description)
Astrea rotularis Michelin, 1843 † accepted as Stylina deluci (Defrance, 1826) † (original description)
Astrea sculpta Michelin, 1847 † accepted as Phyllocoenia sculpta (Michelin, 1847) † (original description)
Astrea sparsa Michelin, 1847 † accepted as Phyllocoenia sculpta (Michelin, 1847) † (original description)
Astrea trochiformis Michelin, 1847 † (original description)
Astrea tubiformis Michelin, 1847 † accepted as Cladangia semispherica (Defrance, 1826) † (original description)
Astrea tumularis Michelin, 1844 † accepted as Stylina tumularis (Michelin, 1844) † (original description)
Astrea vallisclausae Michelin, 1841 † accepted as Phyllocoenia vallisclausae (Michelin, 1841) † (original description)
Astrea variolaris Michelin, 1847 † accepted as Columastrea variolaris (Michelin, 1847) † (original description)
Astrea versatilis Michelin, 1843 † accepted as Stylina deluci (Defrance, 1826) † (original description)
Astrocoenia sanctimihieli Michelin, 1843 † (original description)
Caryophyllia cenomana Michelin, 1845 † accepted as Lophosmilia cenomana (Michelin, 1845) † (original description)
Caryophyllia dilatata Michelin, 1843 † accepted as Montlivaltia dilitata (Michelin, 1843) † (original description)
Caryophyllia extinctorium Michelin, 1840 † accepted as Axosmilia extinctorium (Michelin, 1840) † (original description)
Caryophyllia globosa Michelin, 1841 † accepted as Trochosmilia globosa (Michelin, 1841) † (original description)
Caryophyllia italica Michelin, 1841 accepted as Balanophyllia (Balanophyllia) italica (Michelin, 1841) (original description)
Caryophyllia pedemontana Michelin, 1841 † accepted as Paracyathus pedemontanus (Michelin, 1841) † (original description)
Caryophyllia pseudoturbinolia Michelin, 1841 accepted as Caryophyllia (Caryophyllia) smithii Stokes & Broderip, 1828 (original description)
Caryophyllia truncata (Goldfuss, 1826) † accepted as Circophyllia truncata (Goldfuss, 1826) † (new combination reference)
Cellepora concentrica Michelin, 1843 † (original description)
Cellepora cucullina Michelin, 1847 † accepted as Dentiporella dupliciter (Canu & Lecointre, 1930) † (original description)
Cellepora echinata Michelin, 1843 † (original description)
Cellepora foliacea Michelin, 1847 † accepted as Celleporaria foliacea (Michelin, 1847) † (original description)
Cellepora ornata Michelin, 1843 † (original description)
Cellepora palmata Michelin, 1847 † accepted as Celleporaria palmata (Michelin, 1847) † (original description)
Cellepora parasitica Michelin, 1847 † accepted as Hippoporidra parasitica (Michelin, 1847) † (original description)
Cellepora supergiana Michelin, 1843 † (original description)
Ceriopora avellana Michelin, 1846 † accepted as Reptomulticava avellana (Michelin, 1846) † (original description)
Ceriopora dumetosa (Lamouroux, 1821) † accepted as Crescis dumetosa (Lamouroux, 1821) † (basis of record)
Ceriopora formosa Michelin, 1846 † accepted as Radiopora formosa (Michelin, 1846) † (original description)
Ceriopora globosa Michelin, 1846 † accepted as Reptonodicava globosa (Michelin, 1846) † (original description)
Ceriopora goldfussi Michelin, 1846 † accepted as Fistulipora goldfussi (Michelin, 1846) † (original description)
Ceriopora huotiana Michelin, 1846 † accepted as Radiopora huotiana (Michelin, 1846) † (original description)
Ceriopora labyrinthica Michelin, 1846 † accepted as Cellulipora labyrinthica (Michelin, 1846) † (original description)
Ceriopora landrioti Michelin, 1841 † accepted as Semimulticavea landrioti (Michelin, 1841) † (original description)
Ceriopora licheniformis Michelin, 1846 † accepted as Cellulipora licheniformis (Michelin, 1846) † (original description)
Ceriopora licheniformis Michelin, 1847 † accepted as Ceriopora lichenula Michelin, 1847 † (original description)
Ceriopora papularia Michelin, 1846 † accepted as Reptomulticlausa papularia (Michelin, 1844) † (original description)
Ceriopora papularia Michelin, 1844 † accepted as Reptomulticlausa papularia (Michelin, 1844) † (original description)