佐藤 一誠  Satou Issei

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 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 APLAS 2021, Springer LNCS

巻: 13008 ページ: 265-284

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

Proceedings of SAS 2021, Springer LNCS

巻: 12913 ページ: 405-428

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

Proceedings of Machine Learning Research

巻: 153 ページ: 32-46

Lecture Notes in Computer Science (SAS)

巻: 12913 ページ: 236-260

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

Proceedings of CAV 2021, Springer LNCS

巻: 12760 ページ: 75-98

10.1007/978-3-030-81688-9_4

Proceedings of the 37th International Conference on Machine Learning

巻: 119 ページ: 9636-9647

Proceedings of Thirty-seventh International Conference on Machine Learning

巻: -

臨床放射線

巻: 62 ページ: 1237-1243

Proceedings of the 34th International Conference on Machine Learning

巻: 70 ページ: 3414-3423

Neurocomputing

巻: 121 ページ: 523-531

10.1016/j.neucom.2013.05.019

情報処理学会論文誌数理モデル化と応用（TOM）

巻: 6(3) ページ: 11-22

110009550158

報処理学会論文誌数理モデル化と応用(TOM)

巻: 6(3) ページ: 11-22

110009550158

Proceedings of the 29th International Conference on Machine Learning

巻: 2 ページ: 999-1006

Proceedings of the 16th ACM International Conference on Knowledge Discovery and Data Mining

巻: 1 ページ: 105-113

10.1145/2339530.2339550

情報処理学会論文誌

巻: 50 TOD 4 ページ: 52-60

40019597872

PAKDD2011, Springer Lecture Notes Artificial Intelligence (LNAI)6634,Part I.

ページ: 87-99

情報処理学会論文誌

巻: Vol.50 TOD4(2) ページ: 52-60

40019597872

日本データベース学会論文誌

巻: 9(2) ページ: 19-24

40017420150

日本データベース学会論文誌

巻: Vol.9,No.1 ページ: 76-81

130000337146

日本データベース学会論文誌

巻: Vol.9,No.1 ページ: 82-87

40017216480

http://www.cs.mcgill.ca/~uai2009/proceedings.html