すべて 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2011 その他
すべて 雑誌論文 学会発表
Proceedings of the ACM on Programming Languages (POPL)
巻: 8 号: POPL ページ: 115-147
10.1145/3633280
In Proceedings of the 50th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2023), PACMPL 7(POPL)
巻: 7 号: POPL ページ: 2111-2140
10.1145/3571265
Proceedings of the ACM on Programming Languages
巻: 7 号: POPL ページ: 604-631
10.1145/3571214
巻: 7 号: POPL ページ: 2079-2110
10.1145/3571264
巻: 6 号: POPL ページ: 1-29
10.1145/3498725
Lecture Notes in Computer Science (SAS)
巻: 12913 ページ: 236-260
10.1007/978-3-030-88806-0_12
Proceedings of CAV 2021, Springer LNCS
巻: 12759 ページ: 742-766
10.1007/978-3-030-81685-8_35
巻: 12760 ページ: 75-98
10.1007/978-3-030-81688-9_4
Proceedings of the annual AAAI Conference on Artificial Intelligence (AAAI 2020)
巻: 印刷中
Proceedings of the AAAI Conference on Artificial Intelligence
巻: 34 号: 02 ページ: 1644-1651
10.1609/aaai.v34i02.5526
巻: -
コンピュータ ソフトウェア
巻: 37 号: 1 ページ: 1_39-1_52
10.11309/jssst.37.1_39
130007815024
In Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020)
巻: AAAI 2020 ページ: 1644-1651
In Proceedings of the 26th International Symposium (SAS 2019), Lecture Notes in Computer Science
巻: 11822 ページ: 413-436
10.1007/978-3-030-32304-2_20
Proceedings of the 45th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2018), PACMPL
巻: 2 号: POPL ページ: 1-29
10.1145/3158100
Proceedings of LICS 2018
巻: 印刷中 ページ: 759-768
10.1145/3209108.3209204
Proceedings of CAV 2018, LNCS
Proceedings of the 30th International Conference on Computer Aided Verification (CAV 2018), Lecture Notes in Computer Science, Springer
巻: 10981 ページ: 105-123
10.1007/978-3-319-96145-3_6
Proceedings of CAV 2017, Springer LNCS
巻: 10427 ページ: 571-591
10.1007/978-3-319-63390-9_30
Proceedings of CAV 2017, LNCS
In Proceedings of the 43rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2016), ACM SIGPLAN Notices
巻: 51 (1) ページ: 57-68
10.1145/2837614.2837667
Proceedings of SAS 2015, LNCS
巻: 9291 ページ: 199-216
10.1007/978-3-662-48288-9_12
Proceedings of CAV 2015, LNCS
巻: 未定
Proceedings of TACAS 2015, LNCS
巻: 9035 ページ: 149-163
10.1007/978-3-662-46681-0_10
Mathematical Structures in Computer Science
巻: Volume 25, Special Issue 04 号: 4 ページ: 841-866
10.1017/s0960129513000054
巻: 32 号: 1 ページ: 1_161-1_178
10.11309/jssst.32.1_161
130004892316
巻: 9207 ページ: 287-303
10.1007/978-3-319-21668-3_17
Proceedings of ESOP 2015, LNCS
巻: 9032 ページ: 610-633
10.1007/978-3-662-46669-8_25
Proceedings of APLAS 2015, LNCS
巻: 9458 ページ: 295-312
10.1007/978-3-319-26529-2_16
第 16 回プログラミングおよびプログラミング言語ワークショップ予稿集
巻: - ページ: 1-18
Proceedings of ESOP 2014, LNCS
巻: 8410 ページ: 392-411
10.1007/978-3-642-54833-8_21
Proceedings of The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13
巻: - ページ: 75-86
10.1145/2429069.2429081
120007136948
Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation (PEPM 2013)
巻: - ページ: 56-62
10.1145/2426890.2426900
Proceedings of the 32^<nd> ACM SIGPLAN conference on Programming language design and implementation (PLDI 2011)
ページ: 222-233
10.1145/1993498.1993525