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