作　　者：Nicolas Marti ;Reynald Affeldt

出　　处：Information and Media Technologies. 2009 ;4(2):304-316.doi:10.11185/imt.4.304

出 版 社：Information and Media Technologies Editorial Board

文 章 ID：103885631

作　　者：Reynald Affeldt ;David Nowak ;Kiyoshi Yamada

出　　处：Electronic Communications of the EASST. 2009 ;23.

出 版 社：European Association of Software Science and Technology (EASST)

文 章 ID：100465787

作　　者：Reynald Affeldt ;Kazuhiko Sakaguchi

出　　处：Journal of Formalized Reasoning. 2014 ;7(1):63-104.doi:10.6092/issn.1972-5787/4317

出 版 社：Alma Mater Studiorum - University of Bologna

文 章 ID：100489237

作　　者：Nicolas MARTI ;Reynald AFFELDT

出　　处：コンピュータ ソフトウェア. 2008 ;25(3):3_135-3_147.doi:10.11309/jssst.25.3_135

出 版 社：Japan Society for Software Science and Technology

文 章 ID：104502737

作　　者：Reynald Affeldt ;Jacques Garrigue ;Xuanrui Qi 等

出　　处：LIPIcs : Leibniz International Proceedings in Informatics. 2019 ;141:1-19.doi:10.4230/LIPIcs.ITP.2019.5

出 版 社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

文 章 ID：240116662

作　　者：Reynald Affeldt ;Naoki Kobayashi ;Akinori Yonezawa

出　　处：IPSJ Digital Courier. 2005 ;1:117-127.doi:10.2197/ipsjdc.1.117

出 版 社：Information Processing Society of Japan

文 章 ID：194151026

作　　者：Reynald Affeldt ;Cyril Cohen ;Damien Rouhling

出　　处：Journal of Formalized Reasoning. 2018 ;11(1):43-76.doi:10.6092/issn.1972-5787/8124

出 版 社：Alma Mater Studiorum - University of Bologna

文 章 ID：231643973