小林 直樹  Kobayashi Naoki

Proceedings of TACAS 2023, Springer LNCS

巻: 13993 ページ: 227-245

10.1007/978-3-031-30823-9_12

Proceedings of the ACM on Programming Languages, Issue POPL, ACM

巻: 7 号: POPL ページ: 154-184

10.1145/3571199

Proceedings of ESOP 2023, Springer LNCS

巻: 13990 ページ: 197-224

10.1007/978-3-031-30044-8_8

Proceedings of RP 2022, Springer LNCS

巻: 13608 ページ: 108-124

10.1007/978-3-031-19135-0_8

Proceedings of SAS 2022, Springer LNCS

巻: 13790 ページ: 397-421

10.1007/978-3-031-22308-2_18

Proceedings of FLOPS 2022, Springer LNCS

巻: 13215 ページ: 39-56

10.1007/978-3-030-99461-7_3

Proceedings of SAS 2021, Springer LNCS

巻: 12913 ページ: 405-428

10.1007/978-3-030-88806-0_20

Lecture Notes in Computer Science (SAS)

巻: 12913 ページ: 236-260

10.1007/978-3-030-88806-0_12

Proceedings of PEPM 2021, ACM Press

巻: - ページ: 44-57

10.1145/3441296.3441396

Proceedings of Machine Learning Research

巻: 153 ページ: 32-46

Proceedings of CONCUR 2021, LIPIcs

巻: 203

Logical Methods in Computer Science

巻: Volume 17, Issue 4 ページ: 1-36

10.46298/lmcs-17(4:15)2021

Proceedings of CONCUR 2021, LIPIcs

巻: 203

Proceedings of APLAS 2021, Springer LNCS

巻: 13008 ページ: 265-284

10.1007/978-3-030-89051-3_15

ACM Transactions on Programming Languages and Systems

巻: 43 号: 4 ページ: 1-54

10.1145/3462205

Electronic Proceedings in Theoretical Computer Science

巻: 344 ページ: 1-12

10.4204/eptcs.344.1

Proceedings of APLAS 2020, Springer LNCS

巻: 12470

Journal of Automated Reasoning

巻: 64 号: 7 ページ: 1393-1418

10.1007/s10817-020-09571-y

Proceedings of ESOP 2020, Springer LNCS

巻: 12075 ページ: 684-714

10.1007/978-3-030-44914-8_25

120006879514

Proceedings of TACAS 2020, Springer LNCS

巻: 12079 ページ: 195-214

10.1007/978-3-030-45237-7_12

Proceedings of FSCD 2020, LIPIcs

巻: 167

Proceedings of SAS 2020, Springer LNCS

巻: 12389

Proceedings of FSCD 2020, LIPIcs

巻: 167

Proceedings of ESOP 2020, Springer LNCS

巻: 12075 ページ: 484-514

10.1007/978-3-030-44914-8_18

Proceedings of DCC 2020, IEEE

巻: - ページ: 386-386

10.1109/dcc47342.2020.00093

Proceedings of FSCD 2020, LIPIcs

巻: 167

Proceedings of FSCD 2020, LIPIcs

巻: 167

Logical Methods in Computer Science

巻: 15

10.23638/LMCS-15(1:16)2019

Proceedings of the Prague Stringology Conference 2019 (PSC 2019)

巻: - ページ: 56-68

Proceedings of PEPM 2019

巻: - ページ: 22-34

10.1145/3294032.3294077

Proceedings of APLAS 2019, Springer LNCS

巻: 11893 ページ: 136-155

10.1007/978-3-030-34175-6_8

Proceedings of SAS 2019, Springer LNCS

巻: 11822 ページ: 437-458

10.1007/978-3-030-32304-2_21

Proceedings of LICS 2019

巻: - ページ: 1-14

10.1109/lics.2019.8785679

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 PEPM 2019

巻: - ページ: 47-53

10.1145/3294032.3294081

Proceedings of the 27th European Symposium on Programming

巻: 0 ページ: 711-738

10.1007/978-3-319-89884-1_25

Proceedings of APLAS 2018, Springer LNCS

巻: 11275 ページ: 146-156

10.1007/978-3-030-02768-1_8

Proceedings of APLAS 2018, Springer LNCS

巻: 11275 ページ: 223-241

10.1007/978-3-030-02768-1_13

Proceedings of TACAS 2018, Springer LNCS

巻: 10805 ページ: 365-384

10.1007/978-3-319-89960-2_20

Proceedings of the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science

巻: LIPIcs 122 ページ: 1-15

10.4230/LIPICS.FSTTCS.2018.14

Information and Computation

巻: 252 ページ: 48-70

10.1016/j.ic.2016.03.004

Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures

巻: 0 ページ: 53-68

10.1007/978-3-662-54458-7_4

Proceedings of ESOP 2017, Springer LNCS

巻: 10201 ページ: 831-854

10.1007/978-3-662-54434-1_31

Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction

巻: 0

10.4230/LIPIcs.FSCD.2017.32

Proceedings of POPL 2017

巻: - ページ: 246-259

10.1145/3009837.3009854

Science of Computer Programming

巻: 137 ページ: 2-62

10.1016/j.scico.2016.02.007

Proceedings of ICALP 2017, LIPIcs

巻: 80

10.4230/LIPIcs.ICALP.2017.97

Proceedings of PEPM 2017

巻: - ページ: 59-70

10.1145/3018882.3018886

Programming Languages and Systems

巻: 10017 of LNCS ページ: 335-353

10.1007/978-3-319-47958-3_18

Proceedings of APLAS 2014, LNCS

巻: 10017 ページ: 295-313

10.1007/978-3-319-47958-3_16

Proceedings of ICFP 2016

巻: - ページ: 243-255

10.1145/2951913.2951919

Proceedings of ICFP 2016

巻: - ページ: 146-157

10.1145/2951913.2951918

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 ATVA 2016, Springer LNCS

巻: 9938 ページ: 304-320

10.1007/978-3-319-46520-3_20

Proceedings of ICALP 2016

巻: -

10.4230/LIPIcs.ICALP.2016.111

Journal of Information Processing

巻: 23 号: 6 ページ: 827-834

10.2197/ipsjjip.23.827

130005109162

Proceedings of APLAS 2015, LNCS

巻: 9458 ページ: 313-331

10.1007/978-3-319-26529-2_17

Mathematical Structures in Computer Science

巻: Volume 25, Special Issue 04 号: 4 ページ: 841-866

10.1017/s0960129513000054

Proceedings of LICS 2015

巻: 未定

コンピュータ ソフトウェア

巻: 32 号: 1 ページ: 1_161-1_178

10.11309/jssst.32.1_161

130004892316

Proceedings of CAV 2015, LNCS

巻: 9207 ページ: 287-303

10.1007/978-3-319-21668-3_17

Proceedings of APLAS 2015, LNCS

巻: 9458 ページ: 295-312

10.1007/978-3-319-26529-2_16

Proceedings of PEPM 2015

巻: なし ページ: 61-72

10.1145/2678015.2682546

Proceedings of FoSSaCS 2014, LNCS

巻: 8412 ページ: 180-194

10.1007/978-3-642-54830-7_12

Proceedings of CONCUR 2014, LNCS

巻: 8704 ページ: 312-326

10.1007/978-3-662-44584-6_22

Proceedings of DCC 2014

巻: なし ページ: 434-434

10.1109/dcc.2014.63

110009820601

Proceedings of FoSSaCS 2014, LNCS

巻: 8412 ページ: 149-163

10.1007/978-3-642-54830-7_10

Proceedings of APLAS 2014, LNCS

巻: 8858 ページ: 354-371

10.1007/978-3-319-12736-1_19

Proceedings of CONCUR 2014, LNCS

巻: 8704 ページ: 63-77

10.1007/978-3-662-44584-6_6

Proceedings of ESOP 2014, LNCS

巻: 8410 ページ: 392-411

10.1007/978-3-642-54833-8_21

Proceedings of ESOP 2013, LNCS

巻: 7792 ページ: 431-450

10.1007/978-3-642-37036-6_24

Proceedings of CSL 2013, LIPIcs

巻: 23 ページ: 129-148

10.4230/LIPIcs.CSL.2013.129

Proceedings of APLAS 2013, LNCS

巻: 8301 ページ: 17-32

10.1007/978-3-319-03542-0_2

Journal of the ACM

巻: 60(3) 号: 3 ページ: 1-62

10.1145/2487241.2487246

Proceedings of The 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '13

巻: - ページ: 75-86

10.1145/2429069.2429081

120007136948

2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science

巻: - ページ: 398-407

10.1109/lics.2013.46

Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation (PEPM 2013)

巻: - ページ: 56-62

10.1145/2426890.2426900

Proceedings of IFIP-TCS 2012, LNCS

巻: 7604 ページ: 357-371

10.1007/978-3-642-33475-7_25

PEPM 2012

巻: - ページ: 121-130

10.1145/2103746.2103770

Proceedings of FLOPS 2012, LNCS

巻: 7294 ページ: 275-289

10.1007/978-3-642-29822-6_22

Jornal of Information Processing

巻: Vol.52 ページ: 1-14

Proceedings of the 14th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2011)

Logical Methods in Computer Science

巻: 7(4)

10.2168/lmcs-7(4:9)2011

Proceedings of the 32^<nd> ACM SIGPLAN conference on Programming language design and implementation (PLDI 2011)

ページ: 222-233

10.1145/1993498.1993525

ACM Transactions on Programming Languages and Systems (TOPLAS)

巻: Vol.33

Proceedings of the 37^<th> ACM SIGPLAN-SIGACT Symposium on principles of Programming Languages (POPL 2010)

ページ: 495-508

Proceedings of the 8th Asian Symposium on Programming Languages and Systems (APLAS2010), Springer LNCS

ページ: 312-327

roceedings of the 37th ACM SIGPLAN-SIGACT Symposium on principles of Programming Languages (POPL 2010)

ページ: 495-508

情報処理学会論文誌:プログラミング

巻: Vol.3 ページ: 27-42

110007970954

Proceedings of the 13th International Conference on Foundations of Software Science and Computational Structures (FOSSACS'10) 6014

ページ: 343-357

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'10)

ページ: 495-508

ACM Transactions on Programming Languages and Systems (TOPLAS) Article Number 16

ページ: 49-49

ACM Transactions on Programming Languages and Systems (TOPLAS)

巻: 16 ページ: 49-49

Proceedings of the 36^<th> ACM SIGPLAN-SIGACT Symposium on principles of Programming Languages (POPL 2009)

ページ: 416-428

Information and Computation 207(7)

ページ: 812-819

Information and Computation 207(7)巻

ページ: 812-819

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages(POPL2009)

ページ: 416-428

Proceedings of the 36th Internatilonal Collogquium on Automata, Languages and Programming(ICALP'09) 5556(2)

ページ: 223-234

Information and Computation

巻: 207(7)巻 ページ: 812-819

Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming(PPDP'09)

ページ: 25-36

Proceedings of the 36th ACM SIGPLAN-SIGACT Symposium on principles of Programming Languages (POPL 2009)

ページ: 416-428

Proceedings of the 11th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming(PPDP'09)

ページ: 277-288

情報処理学会論文誌プログラム(PRO) Vol.1-1

ページ: 1-14

110007970840

Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science(LICS'09)

ページ: 179-188

Proceedings of the 20th International Conference on Computer Aided Verification(CAV'08) 5123

ページ: 80-93

Journal of Functional Programming (出版決定)

Proceedings of the 9th International Symposium on Functional and Logic Programming(FLOPS'08) 4989

ページ: 81-96

Proceedings of the 19th International Conference on Rewriting Techniques and Applications(RTA'08) 5117

ページ: 291-305

New Generation Computing 26(2)

ページ: 125-170

130004548967

Proceedings of Trustworthy Global Computing 2007(TGC'07), Springer Lecture Notes in Computer Science 4912

ページ: 140-155

Proceedings of the 20th International Conference on Computer Aided Verification(CAV'08) 5123

ページ: 80-93

Proceedings of the 17th European Symposium on Programming(ESOP'08) 4960

ページ: 224-238

Proceedings of the 34th International Colloquium on Automata, Languages and Programming(ICALP'07) 4596

ページ: 740-751

IPSJ Transactions on Programming 48(SIG 4(PRO 32))

ページ: 48-61

110006242945

IPSJ Transactions on Programming 48(SIG 10(PRO 33))

ページ: 101-113

110006291060

情報処理学会論文誌:プログラミング 48(SIG10(PRO33))

ページ: 101-113

110006291060

Proceedings of the 16th European Symposium on Programming(ESOP'07) 4421

ページ: 490-504

PPL2007 論文集

ページ: 218-218

Proceedings of the 5th Asian Symposium on Programming Languages and Systems(APLAS'07), Springer Lecture Notes in Computer Science 4807

ページ: 191-205

Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science(LICS'07)

ページ: 293-302

Proceedings of the 5th ASIAN Symposium on Programming Languages and Systems(APLAS'07) 4807

ページ: 191-205

Proceedings of the 34th International Colloquium on Automata, Languages and Programming(ICALP'07) 4596

ページ: 740-751

情報処理学会プログラミング研究会論文誌 48・SIG4

ページ: 48-61

Proceedings of IEEE Symposium on Logic in Computer Science (LICS 2007) (出版決定)

情報処理学会プログラミング研究会論文誌 48・SIG4

ページ: 48-61

Proceedings of 16th European Symposium on Programming (ESOP'07), Springer Lecture Notes in Computer Science 4421

ページ: 490-504

Proceedings of Trustworthy Global Computing(TGC'07) 4912

ページ: 140-155

情報処理学会論文誌:プログラミング 48(SIG4(PRO32))

ページ: 48-61

Verification, Model Checking, and Abstract Interpretation (Proceedings of UMCAI' 06) 3855

ページ: 298-312

Logical Methods in Computer Science 22・2:3

ページ: 1-42

Verification, Model Checking, and Abstract Interpretation (Proceedings of VMCAI'06) 3855

ページ: 298-312

Proceedings of CONCUR 2006, Springer Lecture Notes in Computer Science 4137

ページ: 233-247

Proceedings of ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation (PEPM 2006)

ページ: 38-47

Proceedings of ACM SIGPLAN Workshop on Programming Languages and Analysis for Security(PLAS'06)

ページ: 17-26

Proceedings of ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2006)

ページ: 17-26

Proceedings of ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation(PEPM'06)

ページ: 38-47

Proceedings of ACM SIGPLAN 2006 Workshop on Partial Evaluation and Program Manipulation (PEPM 2006)

ページ: 38-47

Proceedings of the 17th International Conference on Concurrency Theory(CONCUR'06) 4137

ページ: 233-247

Proceedings of LOPSTER 2005 3901

ページ: 98-114

Proceedings of CONCUR 2006, Springer Lecture Notes in Computer Science 4137

ページ: 233-247

Proceedings of the 7th International Conference on Verification, Model Checking, and Abstract Interpretation(VMCAI'06) 3855

ページ: 298-312

Proceedings of the 17th International Conference on Concurrency Theory(CONCUR'06) 4137

ページ: 233-247

Proceedings of ACM SIGPLAN Workshop on Programming Languages and Analysis for Security (PLAS 2006)

ページ: 17-26

Logical Methods in Computer Science 2(3:4)

ページ: 1-42

ACM Transactions on Programming Languages and Systems 27・2(出版予定)

IPSJ Transactions on Programming 46・SIG1

ページ: 110-120

130000022400

Acta Informatica 42(4-5)

ページ: 291-347

第7回プログラミングおよびプログラミング言語ワークショップ(PPL2005)論文集 (印刷中)

Acta Informatica 42(4-5)

ページ: 291-347

Acta Informatica 41・4-5

ページ: 291-347

ACM TOPLAS 27・2(出版予定)

Proceedings of LFM 2004

ページ: 66-83

Proceedings of APLAS'04 (Springer LNCS) 3302

ページ: 41-56

Proceedings of APLAS' 04, Springer LNCS 3302

ページ: 229-245

130004638815

Theoretical Computer Science (Elsevier Science Publishers) 311(1-3)

ページ: 121-163

Proceedings of 11^<th> International Workshop on Expressiveness in Concurrency (EXPRESS 2004)

ページ: 113-127