Raphaël Cauderlier

19 papers B 2C 1Journal 5Unranked 10
YearRankTypeTitle / Venue / Authors
2023 J jnl
CoRR
Ali Assaf, Guillaume Burel, Raphaël Cauderlier, David Delahaye, Gilles Dowek, Catherine Dubois, Frédéric Gilbert, Pierre Halmagrand, Olivier Hermant, Ronan Saillard
2021 J jnl
CoRR
Bruno Bernardo, Raphaël Cauderlier, Guillaume Claret, Arvid Jakobsson, Basile Pesin, Julien Tesson
2020 conf
Financial Cryptography Workshops
Bruno Bernardo, Raphaël Cauderlier, Basile Pesin, Julien Tesson
2020 J jnl
CoRR
Bruno Bernardo, Raphaël Cauderlier, Basile Pesin, Julien Tesson
2020 J jnl
J. Autom. Reason.
Guillaume Burel, Guillaume Bury, Raphaël Cauderlier, David Delahaye, Pierre Halmagrand, Olivier Hermant
2020 conf
ISoLA (3)
Bruno Bernardo, Raphaël Cauderlier, Guillaume Claret, Arvid Jakobsson, Basile Pesin, Julien Tesson
2019 conf
FM Workshops (1)
Bruno Bernardo, Raphaël Cauderlier, Zhenlei Hu, Basile Pesin, Julien Tesson
2019 J jnl
CoRR
Bruno Bernardo, Raphaël Cauderlier, Zhenlei Hu, Basile Pesin, Julien Tesson
2018 conf
TACAS (1)
Raphaël Cauderlier, Mihaela Sighireanu
2018 B conf
ITP
Raphaël Cauderlier
2017 B conf
ITP
Raphaël Cauderlier, Catherine Dubois
2016 conf
LFMTP
Raphaël Cauderlier
2016 C conf
ICTAC
Raphaël Cauderlier, Catherine Dubois
2016
Raphaël Cauderlier
2015 conf
PxTP@CADE
Raphaël Cauderlier, Pierre Halmagrand
2015 conf
IWIL@LPAR
Guillaume Bury, Raphaël Cauderlier, Pierre Halmagrand
2015 conf
PxTP@CADE
Ali Assaf, Raphaël Cauderlier
2014 conf
TYPES
Raphaël Cauderlier, Catherine Dubois
2011 conf
FSTTCS
H. J. Sander Bruggink, Raphaël Cauderlier, Mathias Hülsbusch, Barbara König