The Prismoid of Resources. - Delia Kesner; Fabien Renaud (MFCS, 2009)

A prismoid framework for languages with resources. - Delia Kesner; Fabien Renaud (Theor. Comput. Sci., 2011)

Les ressources explicites vues par la théorie de la réécriture. (Explicit resources from the rewriting point of view). - Fabien Renaud (2011)

Foundational Proof Certificates in First-Order Logic. - Zakaria Chihani; Dale Miller 001; Fabien Renaud (CADE, 2013)

Checking Foundational Proof Certificates for First-Order Logic (Extended Abstract). - Zakaria Chihani; Dale Miller 001; Fabien Renaud (PxTP@CADE, 2013)

A Semantic Framework for Proof Evidence. - Zakaria Chihani; Dale Miller 001; Fabien Renaud (J. Autom. Reason., 2017)