Reynald Affeldt
发表
Jacques Garrigue,
Reynald Affeldt,
David Nowak,
2020,
Journal of Functional Programming.
Reynald Affeldt,
Yutaka Oiwa,
David Nowak,
2012
.
Reynald Affeldt,
2012,
SAC '12.
Akira Tanaka,
Jacques Garrigue,
Reynald Affeldt,
2018,
J. Inf. Process..
Reynald Affeldt,
Kiyoshi Yamada,
2011
.
Akinori Yonezawa,
Reynald Affeldt,
Nicolas Marti,
2005
.
Akinori Yonezawa,
Reynald Affeldt,
Nicolas Marti,
2006,
ICFEM.
Reynald Affeldt,
Yutaka Oiwa,
David Nowak,
2012,
PLPV '12.
Jacques Garrigue,
Reynald Affeldt,
Xuanrui Qi,
2019,
ITP.
Reynald Affeldt,
Takafumi Saikawa,
David Nowak,
2019,
MPC.
Reynald Affeldt,
Nicolas Marti,
Reynald Affeldt,
2013,
PLPV.
Reynald Affeldt,
2013
.
Reynald Affeldt,
David Nowak,
2020,
ArXiv.
Jacques Garrigue,
Reynald Affeldt,
萩原 学,
2015
.
Reynald Affeldt,
2012,
SAC.
Reynald Affeldt,
Cyril Cohen,
2017,
CPP.
Jacques Garrigue,
Reynald Affeldt,
Takafumi Saikawa,
2020,
CICM.
Jacques Garrigue,
Reynald Affeldt,
Takafumi Saikawa,
2018,
2018 International Symposium on Information Theory and Its Applications (ISITA).
Reynald Affeldt,
David Nowak,
Kiyoshi Yamada,
2012,
Sci. Comput. Program..
Reynald Affeldt,
Kazuhiko Sakaguchi,
Reynald Affeldt,
2014,
J. Formaliz. Reason..
Manabu Hagiwara,
Reynald Affeldt,
Reynald Affeldt,
2012,
ITP.
Jacques Garrigue,
Reynald Affeldt,
Takafumi Saikawa,
2016,
2016 International Symposium on Information Theory and Its Applications (ISITA).
Naoki Kobayashi,
Reynald Affeldt,
N. Kobayashi,
2008,
LFM@IJCAR.
Reynald Affeldt,
Nicolas Marti,
2009
.
Reynald Affeldt,
David Nowak,
Kiyoshi Yamada,
2009,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Reynald Affeldt,
Assia Mahboubi,
Cyril Cohen,
2020
.
Naoki Kobayashi,
Reynald Affeldt,
2004,
EXPRESS.
Reynald Affeldt,
Cyril Cohen,
Damien Rouhling,
2018,
J. Formaliz. Reason..
Reynald Affeldt,
2001
.
Reynald Affeldt,
Assia Mahboubi,
Cyril Cohen,
2020,
IJCAR.
Jacques Garrigue,
Reynald Affeldt,
2015,
ITP.
Reynald Affeldt,
Jean-Pierre Briot,
Frédéric Peschanski,
2004,
Obj. Logiciel Base données Réseaux.
Reynald Affeldt,
Nicolas Marti,
Miki Tanaka,
2007,
ProvSec.
Akira Tanaka,
Jacques Garrigue,
Reynald Affeldt,
2016,
ICFEM.
Akinori Yonezawa,
Hidehiko Masuhara,
Reynald Affeldt,
2002,
ASIA-PEPM '02.
Reynald Affeldt,
David Nowak,
2018
.
Reynald Affeldt,
Nicolas Marti,
2006,
ASIAN.
Akinori Yonezawa,
Naoki Kobayashi,
Reynald Affeldt,
2005
.
Hubert Comon-Lundh,
Reynald Affeldt,
2009,
Formal to Practical Security.
Naoki Kobayashi,
Reynald Affeldt,
N. Kobayashi,
2002,
ISSS.
Manabu Hagiwara,
Reynald Affeldt,
Jonas Sénizergues,
2014,
Journal of Automated Reasoning.
Reynald Affeldt,
Yoichi Hirai,
2014,
JFLA.
Manabu Hagiwara,
Reynald Affeldt,
Ryosuke Obi,
2014,
2014 International Symposium on Information Theory and its Applications.
Jacques Garrigue,
Reynald Affeldt,
Takafumi Saikawa,
2020,
Journal of Automated Reasoning.
Reynald Affeldt,
Reynald Affeldt,
Kiyoshi Yamada,
2012
.
Jacques Garrigue,
Reynald Affeldt,
Takafumi Saikawa,
2020,
CICM.
Hubert Comon-Lundh,
Reynald Affeldt,
Reynald Affeldt,
2008
.