
安 杰
Jie An
更新日: 2024/12/29
基本情報
- 所属
- 国立情報学研究所 アーキテクチャ科学研究系 特任研究員
- 学位
-
博士(2020年7月 同済大学)修士(2015年3月 同済大学)学士(2012年6月 同済大学)
- 研究者番号
- 40987541
- ORCID iD
https://orcid.org/0000-0001-9260-9697
- J-GLOBAL ID
- 202301018485548348
- researchmap会員ID
- R000052841
- 外部リンク
研究キーワード
6経歴
4-
2022年10月 - 現在
-
2015年4月 - 2015年8月
学歴
3-
2015年9月 - 2020年6月
-
2012年9月 - 2015年3月
-
2008年9月 - 2012年6月
受賞
2論文
19-
CoRR abs/2408.06983 2024年
-
Formal Methods - 26th International Symposium 620-637 2024年
-
Formal Methods - 26th International Symposium 286-304 2024年
-
Computer Aided Verification - 36th International Conference 282-306 2024年
-
CoRR abs/2208.00412 2022年
-
ATVA 249-265 2022年
-
ATVA 233-248 2022年
-
ACM Transactions on Embedded Computing Systems 20(5s) 99-26 2021年
-
Formal Aspects of Computing 33(3) 385-406 2021年
-
Science China Information Sciences 64(9) 2021年
-
Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software 444-462 2020年
-
Formal Methods and Software Engineering - 22nd International Conference on Formal Engineering Methods(ICFEM) 129-146 2020年
-
SCIENCE CHINA Information Sciences 63(7) 2020年
-
CoRR abs/1910.10680 2019年
-
CoRR abs/1905.11625 2019年
-
31st IEEE International Conference on Tools with Artificial Intelligence(ICTAI) 840-847 2019年
-
Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction(CADE) 178-196 2019年
-
Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)(HSCC) 81-90 2018年
-
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 37(11) 2845-2856 2018年