All 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013 2011 Other
All Journal Article Presentation
Proceedings of the ACM on Programming Languages (POPL)
Volume: 8 Issue: POPL Pages: 115-147
10.1145/3633280
In Proceedings of the 50th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2023), PACMPL 7(POPL)
Volume: 7 Issue: POPL Pages: 2111-2140
10.1145/3571265
Proceedings of the ACM on Programming Languages
Volume: 7 Issue: POPL Pages: 604-631
10.1145/3571214
Volume: 7 Issue: POPL Pages: 2079-2110
10.1145/3571264
Volume: 6 Issue: POPL Pages: 1-29
10.1145/3498725
Lecture Notes in Computer Science (SAS)
Volume: 12913 Pages: 236-260
10.1007/978-3-030-88806-0_12
Proceedings of CAV 2021, Springer LNCS
Volume: 12759 Pages: 742-766
10.1007/978-3-030-81685-8_35
Volume: 12760 Pages: 75-98
10.1007/978-3-030-81688-9_4
Proceedings of the annual AAAI Conference on Artificial Intelligence (AAAI 2020)
Volume: 印刷中
Proceedings of the AAAI Conference on Artificial Intelligence
Volume: 34 Issue: 02 Pages: 1644-1651
10.1609/aaai.v34i02.5526
Volume: -
Computer Software
Volume: 37 Issue: 1 Pages: 1_39-1_52
10.11309/jssst.37.1_39
130007815024
In Proceedings of the 34th AAAI Conference on Artificial Intelligence (AAAI 2020)
Volume: AAAI 2020 Pages: 1644-1651
In Proceedings of the 26th International Symposium (SAS 2019), Lecture Notes in Computer Science
Volume: 11822 Pages: 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
Volume: 2 Issue: POPL Pages: 1-29
10.1145/3158100
Proceedings of LICS 2018
Volume: 印刷中 Pages: 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
Volume: 10981 Pages: 105-123
10.1007/978-3-319-96145-3_6
Proceedings of CAV 2017, Springer LNCS
Volume: 10427 Pages: 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
Volume: 51 (1) Pages: 57-68
10.1145/2837614.2837667
Proceedings of SAS 2015, LNCS
Volume: 9291 Pages: 199-216
10.1007/978-3-662-48288-9_12
Proceedings of CAV 2015, LNCS
Volume: 未定
Proceedings of TACAS 2015, LNCS
Volume: 9035 Pages: 149-163
10.1007/978-3-662-46681-0_10
Mathematical Structures in Computer Science
Volume: Volume 25, Special Issue 04 Issue: 4 Pages: 841-866
10.1017/s0960129513000054
Volume: 32 Issue: 1 Pages: 1_161-1_178
10.11309/jssst.32.1_161
130004892316
Volume: 9207 Pages: 287-303
10.1007/978-3-319-21668-3_17
Proceedings of ESOP 2015, LNCS
Volume: 9032 Pages: 610-633
10.1007/978-3-662-46669-8_25
Proceedings of APLAS 2015, LNCS
Volume: 9458 Pages: 295-312
10.1007/978-3-319-26529-2_16
第 16 回プログラミングおよびプログラミング言語ワークショップ予稿集
Volume: - Pages: 1-18
Proceedings of ESOP 2014, LNCS
Volume: 8410 Pages: 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
Volume: - Pages: 75-86
10.1145/2429069.2429081
120007136948
Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation (PEPM 2013)
Volume: - Pages: 56-62
10.1145/2426890.2426900
Proceedings of the 32^<nd> ACM SIGPLAN conference on Programming language design and implementation (PLDI 2011)
Pages: 222-233
10.1145/1993498.1993525
