山田 晃久
ヤマダ アキヒサ (Akihisa Yamada)
更新日: 07/09
基本情報
- 所属
- 国立研究開発法人産業技術総合研究所 主任研究員
- 学位
-
博士(2014年9月 名古屋大学)
- J-GLOBAL ID
- 201701012856653403
- researchmap会員ID
- B000283665
- 外部リンク
経歴
5-
2020年4月 - 現在
-
2017年11月 - 2020年3月
-
2015年4月 - 2017年10月
-
2014年4月 - 2015年3月
-
2008年4月 - 2011年3月
学歴
3-
2011年4月 - 2014年9月
-
2006年4月 - 2008年3月
-
2002年4月 - 2006年3月
委員歴
19-
2020年 - 現在
-
2022年 - 2023年
-
2021年 - 2022年
受賞
3主要な論文
55-
14th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2025) 272-282 2025年1月10日
-
ATVA (2) 117-136 2024年
-
9th International Conference on Formal Structures for Computation and Deduction (FSCD 2024) 27-17 2024年
-
IEEE Transactions on Intelligent Vehicles 8(4) 3040-3072 2023年4月 査読有り
-
ITP 2023 34:1-34:13 2023年 査読有り
-
Journal of Automated Reasoning 2022年11月 査読有り招待有り
-
IJCAR 248-267 2022年 査読有り
-
Logical Methods in Computer Science 18(1) 2022年 査読有り
-
28th International Conference on Automated Deduction (CADE-28) 273-290 2021年 査読有り
-
15th International Conference on Tests and Proofs (TAP@STAF) 22-38 2021年 査読有り
-
5th International Conference on Formal Structures for Computation and Deduction (FSCD 2020) 4-20 2020年 招待有り
-
J. Autom. Reason. 64(5) 827-856 2020年 査読有り招待有り
-
J. Autom. Reason. 64(4) 699-735 2020年 査読有り
-
J. Autom. Reason. 64(3) 363-389 2020年 査読有り
-
Proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2020) 191-208 2020年 査読有り
-
Sci. Comput. Program. 185 132-148 2020年 査読有り招待有り
-
TACAS 2019 262-278 2019年 査読有り
-
TACAS 2019 156-166 2019年
-
10th International Conference on Interactive Theorem Proving (ITP 2019) 30-16 2019年 査読有り
-
FLOPS 2018 132-148 2018年 査読有り
-
ITP 2018 160-177 2018年 査読有り
-
7th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2018) 2018- 2-13 2018年 招待有り
-
J. Autom. Reason. 58(3) 391-411 2017年3月 査読有り
-
SAFECOMP 2017, LNCS 10488 230-241 2017年 査読有り
-
CADE-26, LNCS 10395 454-471 2017年 査読有り
-
CPP 2017 17-29 2017年 査読有り
-
CSL 2016 LIPIcs 62 2016年8月1日 査読有り
-
THEORY AND PRACTICE OF LOGIC PROGRAMMING 16 163-188 2016年3月 査読有り招待有り筆頭著者
-
ISSRE 2016 93-104 2016年 査読有り
-
ITP 2016 9807 391-408 2016年 査読有り
-
CPP 2016 88-99 2016年 査読有り
-
ASE 2016 614-624 2016年 査読有り
-
SCIENCE OF COMPUTER PROGRAMMING 111 110-134 2015年11月 査読有り招待有り筆頭著者責任著者
-
CADE-25 LNCS 9195 163-178 2015年 査読有り
-
QRS 2015 141-150 2015年 査読有り
-
2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST) 2015年 査読有り
-
39TH ANNUAL IEEE COMPUTERS, SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC 2015), VOL 2 242-247 2015年 査読有り
-
RTA-TLCA 2014 LNCS 8560 466-475 2014年 査読有り
-
FLOPS 2014 LNCS 8475 319-335 2014年 査読有り
-
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013 181-192 2013年 査読有り
-
IPSJ Online Transactions 5(1) 96-104 2012年 査読有り
主要な講演・口頭発表等
15-
第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024) 2024年3月6日 招待有り
-
形式検証とセキュリティワークショップ (FWS2023 ＠ CSS2023) 2023年11月2日 招待有り
-
8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023) 2023年7月6日 招待有り
-
9th International Workshop on Rewriting Techniques for Program Transformations and Evaluation (WPTE 2022) 2022年7月31日 招待有り
-
IFIP Working Group 1.6 on Term Rewriting 2020年6月30日 招待有り
-
WST 2018 2018年7月
-
WST 2018 2018年7月 招待有り
-
PPL サマースクール 2017 2017年9月18日 招待有り