すべて 2024 2023 2022 2021 2020 2018 2017 2016 2015 2014 2013 2012 その他
すべて 雑誌論文 学会発表 図書 産業財産権
Proceedings of NDSS 2022
巻: -
10.14722/ndss.2024.23067
Artificial Intelligence
巻: 326 ページ: 104045-104045
10.1016/j.artint.2023.104045
第25回プログラミングおよびプログラミング言語ワークショップ(PPL2023)論文集
巻: ー
Proceedings of ACCV 2022
巻: 13847 ページ: 274-290
10.1007/978-3-031-26293-7_17
ACM Transactions on Embedded Computing Systems
巻: 22 号: 5s ページ: 1-26
10.1145/3609127
Automated Technology for Verification and Analysis. ATVA 2023
巻: 14215 ページ: 33-52
10.1007/978-3-031-45329-8_2
Logics in Artificial Intelligence: 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings
巻: - ページ: 681-696
10.1007/978-3-031-43619-2_46
34th International Conference on Computer-Aided Verification
巻: 13371 ページ: 447-468
10.1007/978-3-031-13185-1_22
Computer Aided Verification. CAV 2022. Lecture Notes in Computer Science.
巻: vol 13371 ページ: 235-256
10.1007/978-3-031-13185-1_12
New Generation Computing
巻: 40 号: 2 ページ: 507-540
10.1007/s00354-022-00167-1
IEEE Transactions on Intelligent Vehicles
巻: (to appear) 号: 4 ページ: 1-33
10.1109/tiv.2022.3169762
ACCV 2020
巻: 12624 ページ: 189-205
10.1007/978-3-030-69535-4_12
arXiv
巻: -
Proceedings of TACAS 2021, Springer LNCS
巻: 12652 ページ: 262-280
10.1007/978-3-030-72013-1_14
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning
巻: - ページ: 411-421
10.24963/kr.2021/39
Lecture Notes in Computer Science book series
巻: 12974 ページ: 100-120
10.1007/978-3-030-88494-9_6
Proceedings of ESOP 2020, Springer LNCS
巻: 12075 ページ: 684-714
10.1007/978-3-030-44914-8_25
120006879514
VMCAI 2020
巻: 11990 ページ: 293-313
10.1007/978-3-030-39322-9_14
Proc. MT-CPS 2018
巻: - ページ: 14-15
10.1109/mt-cps.2018.00014
Proc. APLAS 2017, Lecture Notes in Computer Science
巻: 10695 ページ: 491-513
10.1007/978-3-319-71237-6_24
Proc. FORMATS 2017, Lecture Notes in Computer Science
巻: 10419 ページ: 224-243
10.1007/978-3-319-65765-3_13
日本ソフトウェア科学会第33回大会論文集
40021053614
Electronic Proceedings in Theoretical Computer Science
巻: 174 ページ: 22-39
10.4204/eptcs.174.3
第17回プログラミングおよびプログラミング言語ワークショップ(PPL2015)論文集
巻: 1
Lecture Notes in Computer Science (Proceedings of Asian Symposium on Programming Languages and Systems)
巻: 8858 ページ: 58-77
10.1007/978-3-319-12736-1_4
計測と制御
巻: 53
Proc. POPL
巻: 40 ページ: 417-430
10.1145/2429069.2429120
Proc. Computer Aided Verification - 24th International Conference, Lecture Notes in Computer Science
巻: 7358 ページ: 462-478
10.1007/978-3-642-31424-7_34
Proc. of ACM OOPSLA
巻: 27 ページ: 1-20
10.1145/2384616.2384618