石川 冬樹  ISHIKAWA Fuyuki

電子情報通信学会論文誌D 情報・システム

巻: J106-D 号: 4 ページ: 244-256

10.14923/transinfj.2022PDP0019

Formal Aspects of Computing

巻: Vol. 33 No. 6 号: 6 ページ: 1009-1036

10.1007/s00165-021-00567-y

IEICE Transactions on Information and Systems

巻: E102.D 号: 8 ページ: 1462-1477

10.1587/transinf.2018FOP0006

130007686433

IEEE Transactions on Services Computing

巻: 12 号: 4 ページ: 550-563

10.1109/tsc.2016.2616868

情報処理学会論文誌コンシューマ・デバイス＆システム

巻: 9 ページ: 22-31

170000150067

IEICE Transactions on Information and Systems

巻: To Appear

130007686433

Formal Aspects of Compupting

巻: Preprint 号: 3 ページ: 287-320

10.1007/s00165-019-00478-z

IEEE Transactions on Parallel and Distributed Systems

巻: 28 (12) 号: 12 ページ: 3401-3412

10.1109/tpds.2017.2735400

International Journal of Web and Grid Services (IJWGS)

巻: 10 (4) 号: 4 ページ: 297-318

10.1504/ijwgs.2014.064913

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

巻: 31 号: 1 ページ: 1_60-1_74

10.11309/jssst.31.1_60

130004549335

Journal of Systems and Software

巻: 96 ページ: 194-201

10.1016/j.jss.2014.06.027

IEEE Transactions on Services Computing

巻: 7 (3) 号: 3 ページ: 452-464

10.1109/tsc.2013.2

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

巻: 31 号: 1 ページ: 1_49-1_59

10.11309/jssst.31.1_49

130004549334

IEEE Transactions on Services Computing

巻: to appear

電子情報通信学会論文誌

巻: J96-D(8) ページ: 1878-1891

電子情報通信学会技術研究報告（サービスコンピューティング第4回研究会）

巻: Vol.112 No.497 ページ: 1-6

The 6th International Workshop on Juris-informatics (JURISIN 2012)

巻: 1 ページ: 143-156

情報処理学会論文誌 Vol.52 No.1

ページ: 220-232

110007891072

情報処理学会論文誌

巻: Vol.52 No.1 ページ: 220-232

110007891072

The 8th International Conference on Service-Oriented Computing (ICSOC 2010)

ページ: 182-196

The 7th International Conference on Services Computing (SCC 2010)

巻: 全一巻 ページ: 635-636

The 8th International Conference on Service-Oriented Computing (ICSOC 2010)

ページ: 579-586

The 7th International Conference on Service-Oriented Computing (ICSOC 2009)

ページ: 253-268

The ACM International Conference on Pervasive Services (ICPS 2009)

ページ: 133-140

Proceeding of The 7th International Conference on Service-Oriented Computillg(ICSOC 2009)

ページ: 253-268

The 3rd International Workshop on Web Service Composition and Adaptation (WSCA-2009)

ページ: 392-399

Proceeding of The ACM International Conference on Pervasive Services(ICPS 2009)

ページ: 133-140

Proceeding of The 2009 IEEE Congress on Services, Part I(SERVICES I 2009)

ページ: 392-399

研究会推薦博士論文速報, 情報処理学会論文誌 Vol. 49, No. 6

ページ: 678-678

日本ソフトウェア科学会コンピュータソフトウェア「エージェント」特集 Vol.25, No.4

ページ: 133-144

日本ソフトウェア科学会 Vol. 25, No. 4

ページ: 133-144

The 2008 IEEE International Conference on Services Computing (SCC2008) vol.2

ページ: 231-238

日本ソフトウェア科学会 Vol. 25, No. 4

ページ: 11-19

110006990882

電子情報通信学会論文誌 Vol.90-D,No.9

ページ: 2349-2364

110007380865

情報処理学会論文誌 Vol.48,No.4

ページ: 1785-1798

110006251451