All 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 Other
All Journal Article Presentation
35st Journees Francophones des Langages Applicatifs (JFLA 2024), Saint-Jacut-de-la-Mer, France, January 30--February 2
Volume: 1 Pages: 300-304
Computer Software
Volume: 41(2)
25th Workshop on Programming and Programming Languages (PPL2023)
Volume: 1 Pages: 1-15
arXiv
Volume: 2312 Pages: 1-38
12th ACM SIGPLAN Conference on Certified Programs and Proofs (CPP 2023)
Volume: 1 Pages: 3-16
10.1145/3573105.3575691
21st Asian Symposium on Programming Languages and Systems (APLAS 2023), Taipei, Taiwan, November 26--29, 2023, Lecture Notes in Computer Science, Springer
Volume: 14405 Pages: 182-202
10.1007/978-981-99-8311-7_9
The Coq Workshop 2023, Bialystok, Poland, July 31, 2023
Volume: 1
Journal of Automated Reasoning
Volume: 67(3) Issue: 3
10.1007/s10817-023-09671-5
The Workshop on Type-Driven Development (TyDe 2023), Seattle, Washington, United States, September 4, 2023
第24回プログラミングおよびプログラミング言語ワークショップ (PPL 2022)
Volume: －
Lecture Notes in Computer Science, 14th International Conference on Mathematics of Program Construction (MPC 2022)
Volume: 13544 Pages: 151-177
10.1007/978-3-031-16912-0_6
The Coq Workshop 2021, July 2, 2021, Jul 2021
Journal of Functional Programming
Volume: 31
10.1017/s0956796821000137
26th International Conference on Types for Proofs and Programs (TYPES 2020), Leibniz International Proceedings in Informatics (LIPIcs)
Volume: 188
13th Conference on Intelligent Computer Mathematics (CICM 2020), Bertinoro, Forli, Italy, July 26--31, 2020, Lecture Notes in Artificial Intelligence
Volume: 12236 Pages: 23-38
10.1007/978-3-030-53518-6_2
31st Journees Francophones des Langages Applicatifs (JFLA 2020)
Volume: 1 Pages: 23-30
Volume: 37(3) Pages: 79-95
130007906562
Volume: TBD Issue: 6 Pages: 1123-1164
10.1007/s10817-019-09538-8
10th International Joint Conference on Automated Reasoning (IJCAR 2020) LNAI
Volume: 12167
10th International Joint Conference on Automated Reasoning (IJCAR 2020), Paris, France, June 29--July 6, 2020, Lecture Notes in Artificial Intelligence
Volume: 12167 Pages: 3-20
10.1007/978-3-030-51054-1_1
13th Conference on Intelligent Computer Mathematics (CICM 2020) LNCS
Volume: TBD
21st Workshop on Programming and Programming Languages (PPL2019), Iwate-ken, Hanamaki-shi, March 6--8, 2019, JSSST
Volume: 1 Pages: 1-16
10th International Conference on Interactive Theorem Proving (ITP 2019)
Volume: N.A.
40022501257
International Symposium on Information Theory and Its Applications, Singapore, October 28--31, 2018, IEICE/IEEE Xplore
Volume: 1 Pages: 665-669
10.23919/isita.2018.8664276
Journal of Information Processing
Volume: 26 Issue: 0 Pages: 54-72
10.2197/ipsjjip.26.54
130006309263
Journal of Formalized Reasoning
Volume: 11 Pages: 43-76
10.6092/ISSN.1972-5787/8124
Volume: 34 Issue: 2 Pages: 2_64-2_74
10.11309/jssst.34.2_64
130006855229
Proceedings of the 18th JSSST Workshop on Programming and Programming Languages
Lecture Notes in Computer Science
Volume: 10009 Pages: 243-260
10.1007/978-3-319-47846-3_16
MI Lecture Note 研究集会 高信頼な理論と実装のための定理証明および定理証明器 (TPP2014), 九州大学, December 3--5, 2014
Volume: 61 Pages: 76-78
Springer LNCS
Volume: 9236 Pages: 17-33
10.1007/978-3-319-22102-1_2
日本応用数理学会２０１５年度年会予稿集（統合版）
Volume: 1 Pages: 306-307
Volume: 紙版、印刷中 Issue: 1 Pages: 63-103
10.1007/s10817-013-9298-1
Volume: 7(1) Pages: 63-104
10.6092/issn.1972-5787/4317
Proceeding of International Symposium on Information Theory and its Applications
Volume: 1 Pages: 201-205
情報処理
Volume: 55 Pages: 482-491
Innovations in Systems and Software Engineering
Volume: 9(2) Issue: 2 Pages: 59-77
10.1007/s11334-013-0195-x
Math-for-Industry Lecture
Volume: 44 Pages: 86-94
Proc. of the 3^<rd> Conference on Interactive Theorem Proving, Lecture Notes in Computer Science Springer
Volume: 7406巻 Pages: 16-16
http://staff.aist.go.jp/reynald.affeldt/bib.html
Science of Computer Programming
Volume: (印刷中)
3rd International Conference on Interactive Theorem Proving
Volume: (記載確定)
Volume: 7406 Pages: 233-249
10.1007/978-3-642-32347-8_16
27th ACM SIGAPP Symposium On Applied Computing
Volume: 2 Pages: 1326-1331
Science of Computer Programming Elsevier
Volume: 77巻, 10-11号 Issue: 10-11 Pages: 1058-1074
10.1016/j.scico.2011.07.003
Proc. of the 27th ACM SIGAPP Symposium On Applied Computing
Volume: 2巻 Pages: 1326-1331
10.1145/2245276.2231986
日本ソフトウェア科学会第28回大会講演論文集
Pages: 16-16
40020658563
日本応用数理学会2009年度年会講演予稿集
Pages: 377-378
Science of Computer Programming, Elsevier
第12回プログラミングおよびプログラミング言語ワークショップ論文集,日本ソフトウェア科学会
Pages: 1-15
Electronic Communications of the EASST 23
第12回プログラミングおよびプログラミング言語ワークショップ論文集
Electronic Communications of the EASST
Volume: 23巻 Pages: 15-15
http://journal.ub.tu-berlin.de/index.php/eceasst/article/view/316
Pages: 53-54
