All 2023 2022 2021 2020 2018 2017 2016 2015 2014 2013 2012 Other
All Journal Article Presentation Patent
第25回プログラミングおよびプログラミング言語ワークショップ(PPL2023)論文集
Volume: ー
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
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