Clment Fumex
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2010–2017
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | CAV | A Three-Tier Strategy for Reasoning About Floating-Point Numbers in SMT. | Sylvain Conchon, Mohamed Iguernelala, Kailiang Ji, Guillaume Melquiond, Clment Fumex |
| 2011 | CALCO | Indexed Induction and Coinduction, Fibrationally. | Clment Fumex, Neil Ghani, Patricia Johann |
| 2010 | CSL | Fibrational Induction Rules for Initial Algebras. | Neil Ghani, Patricia Johann, Clment Fumex |