by Burel, Guillaume, Bury, Guillaume, Cauderlier, Raphaël, Delahaye, David, Halmagrand, Pierre, Hermant, Olivier
Published in Journal of automated reasoning (01.08.2020)

by Cauderlier, Raphaël, Halmagrand, Pierre
Published in Electronic proceedings in theoretical computer science (30.07.2015)

by Cauderlier, Raphaël, Dubois, Catherine
Published in Interactive Theorem Proving (2017)

by Cauderlier, Raphaël
Published in Interactive Theorem Proving (2018)

by Assaf, Ali, Cauderlier, Raphaël
Published in Electronic proceedings in theoretical computer science (30.07.2015)

by Bernardo, Bruno, Cauderlier, Raphaël, Pesin, Basile, Tesson, Julien
Published in Financial Cryptography and Data Security (2020)

by Assaf, Ali, Burel, Guillaume, Cauderlier, Raphaël, Delahaye, David, Dowek, Gilles, Dubois, Catherine, Gilbert, Frédéric, Halmagrand, Pierre, Hermant, Olivier, Saillard, Ronan
Year of Publication 13.11.2023

by Assaf, Ali, Cauderlier, Raphaël
Published in arXiv.org (31.07.2015)

by Cauderlier, Raphaël, Halmagrand, Pierre
Published in arXiv.org (31.07.2015)

by Bernardo, Bruno, Cauderlier, Raphaël, Pesin, Basile, Tesson, Julien
Year of Publication 07.01.2020

by Bernardo, Bruno, Cauderlier, Raphaël, Claret, Guillaume, Jakobsson, Arvid, Basile Pesin, Tesson, Julien
Published in arXiv.org (24.06.2021)

by Bernardo, Bruno, Cauderlier, Raphaël, Hu, Zhenlei, Pesin, Basile, Tesson, Julien
Year of Publication 18.09.2019

by Assaf, Ali, Burel, Guillaume, Cauderlier, Raphaël, Delahaye, David, Dowek, Gilles, Dubois, Catherine, Gilbert, Frédéric, Halmagrand, Pierre, Hermant, Olivier, Saillard, Ronan
Published in arXiv.org (13.11.2023)

by Bernardo, Bruno, Cauderlier, Raphaël, Basile Pesin, Tesson, Julien
Published in arXiv.org (07.01.2020)

by Bernardo, Bruno, Cauderlier, Raphaël, Hu, Zhenlei, Basile Pesin, Tesson, Julien
Published in arXiv.org (18.09.2019)