胡 振江  HU ZHENJIANG

PVLDB

巻: 15(2) ページ: 246-258

IEEE Transactions on Knowledge and Data Engineering (TKDE)

巻: 33(2) ページ: 489-505

Journal of Systems and Software

巻: 20 ページ: 2003-2022

IEEE Transactions on Knowledge and Data Engineering (TKDE)

巻: 33 ページ: 3141-3154

The VLDB Journal

巻: 29(4) ページ: 919-943

Journal of Systems and Software

巻: 170 ページ: 110742-110742

PVLDB

巻: 13(5) ページ: 726-739

New Generation Computing

巻: 38

IEEE Transactions on Knowledge and Data Engineering (TKDE)

巻: 31 号: 7 ページ: 1281-1295

10.1109/tkde.2018.2824328

120006636647

Proceedings of the VLDB Endowment

巻: 12.12(2019) ページ: 1866-1869

Parallel Computing

巻: 86 ページ: 45-56

IEEE Transactions on Parallel and Distributed Systems

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

10.1109/tpds.2017.2735400

International Journal of Secure Software Engineering

巻: 8 号: 3 ページ: 42-57

10.4018/ijsse.2017070103

JSSST Computer Software

巻: 印刷中

130005290614

International Journal of Parallel Programming (IJPP)

巻: 印刷中 号: 2 ページ: 320-339

10.1007/s10766-016-0418-5

Journal of Information Processing

巻: 24 号: 6 ページ: 928-936

10.2197/ipsjjip.24.928

130005282160

Software and Systems Modeling

巻: 未定 号: 3 ページ: 907-928

10.1007/s10270-014-0450-0

Bioinformatics

巻: 31(10) 号: 10 ページ: 1674-1676

10.1093/bioinformatics/btv033

Oxford Journal

巻: Volume2, Issue3 号: 3 ページ: 349-270

10.1093/nsr/nwv042

Science China Information Sciences

巻: Vol.58, No.11 号: 11 ページ: 1-14

10.1007/s11432-015-5368-9

Science China Information Sciences

巻: Vol.58, No. 5 号: 5 ページ: 1-21

10.1007/s11432-015-5316-8

Parallel Computing

巻: Volume 40, Issue 2 号: 4 ページ: 116-135

10.1007/s11390-014-1462-5

Mathematical Structures in Computer Science

巻: online 号: 4 ページ: 916-941

10.1017/s096012951300008x

Progress in Informatics

巻: Vol. 10 ページ: 131-148

Mathematical Structures in Computer Science (MSCS)

巻: Vol. 23

Comput. Geom.

巻: 46(8) 号: 8 ページ: 959-969

10.1016/j.comgeo.2013.04.005

Journal of Functional Programming

巻: Volume 23, Issue 5 号: 5 ページ: 515-551

10.1017/s0956796813000130

Frontiers of Computer Science

巻: Volume 7, Issue 2 号: 2 ページ: 257-271

10.1007/s11704-013-2047-0

Progress in Informatics

巻: Vol. 10 ページ: 89-130

Proceedings of the 2012 Joint FAW-AAIM Conference

巻: LNCS 7285 ページ: 291-302

10.1007/978-3-642-29700-7_27

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

巻: 29巻2号 ページ: 174-191

130004549266

https://www.jstage.jst.go.jp/article/jssst/29/2/29_2_174/_pdf

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

巻: (印刷中)(掲載確定)

130004549266

Electronic Communications of the EASST

巻: Volume 49 ページ: 1-17

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

巻: 29巻2号 ページ: 174-192

130004549266

Journal of Functional Programming

巻: Vol. 22, No. 3 号: 3 ページ: 275-299

10.1017/s0956796812000111

Science of Computer Programming

巻: 未定 号: 11 ページ: 2216-2242

10.1016/j.scico.2012.07.014

Software and Systems Modeling

巻: (Online First)

Journal of Systems and Software

巻: 84 ページ: 711-723

Journal of Systems and Software

巻: 84(掲載確定) ページ: 711-723

SIGMOD Record

巻: Vol.40, No.1 ページ: 35-39

Soft-ware and Systems Modeling

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

巻: 29巻2号 ページ: 74-191

130004549266

Software and Systems Modeling

ページ: 1-16

Proceedings of 19th European Symposium on Programming

巻: LNCS6012 ページ: 448-467

Technical Report GRACE-TR-2010-04

巻: 2010-04 ページ: 1-27

Technical Report

巻: 04 ページ: 1-27

http://grace-center.jp/downloads/GRACE-TR-2010-04.pdf

Journal of Systems and Software, Elsevier

巻: Volume 84, Issue 5, May 2011 ページ: 711-723

ACM SIGPLAN 2009 Workshop on Partial Evaluation and Program Manipulation (PEPM 2009)

ページ: 61-72

ACM SIGSOFT Symposium on the Foundations of Software Engineering(FSE)(ESEC/FSE 2009)

ページ: 315-324

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

ページ: 132-143

110007970896

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

10025982390

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

10025982390

ACM SIGPLAN 2009 Workshop on Partial Evaluation and Program Manipulation (PEPM 2009).

ページ: 61-72

International Journal on Software Tools for Technology Transfer. Vol.11

ページ: 453-468

International Journal on Software Tools for Technology Transfer Vol. 11

ページ: 453-468

ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) (ESEC/FSE 2009).

ページ: 315-324

ACM SIGSOFT Symposium on the Foundations of Software Engineering(FSE)(ESEC/FSE 2009)

ページ: 315-324

ACM SIGPLAN 2009 Workshop on Partial Evaluation and Program Manipulation(PEPM 2009)

ページ: 61-72

International Journal on Software Tools for Technology Transfer 11

ページ: 453-468

ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) (ESEC/FSE 2009)

ページ: 315-324

International Conference on Model Transformation (ICMT 2009)

情報処理学会論文誌, プログラミング Vol.2(2)

ページ: 132-143

110007970896

Higher-Order and Symbolic Computation. Vol.21

ページ: 89-118

情報処理学会論文誌 Vol.49,No.SIG3,PRO36

ページ: 16-27

110006684627

情報処理学会論文誌 Vol.49, No.SIG3, PRO36

ページ: 16-27

110006684627

情報処理学会誌「情報処理」 Vol.49,No.12

ページ: 1385-1394

情報処理学会誌「情報処理」 Vol. 49, No. 12

ページ: 1385-1394

22nd IEEE/ACM International Conference on Automated Software Engineering.

ページ: 164-173

Scalable Computing: Practice & Experience (SCPE) (掲載予定)

Higher-Order and Symbolic Computation 21

ページ: 89-118

Higher-Order and Symbolic Computation Vol. 21

ページ: 89-118

22nd IEEE/ACM International Conference on Automated Software Engineering November5-9,2007

ページ: 164-173

22nd IEEE/ACM International Conference on Automated Software Engineering

ページ: 164-173

Joint conference of the 9th Asia-Pacific Web Conference and the 8th International Conference on Web-Age Information Management June16-18,2007

ページ: 721-732

International Journal of Parallel Programming(UPP), Sprnger Volume35,Number6

ページ: 615-658

コンピュータソフトウェア 24(3)

ページ: 51-62

International Journal of Parallel Programming (IJPP) Volume 35, Number 6, Springer

ページ: 615-658

コンピュータソフトウエア 24(3)

ページ: 51-62

130004638880

Parallel Computing 32・7-8

ページ: 590-603

Parallel Computing Vol.32, No.7-8

ページ: 590-603

Parallel Computing (Elsevier) Vol.32, No.7-8

ページ: 590-603

Proc. 18th Annual ACM Symposium on Parallelism in Algorithlns and Architectures (SPAA 2006)

ページ: 39-48

Journal of Information Processing Society of Japan 47,PRO28(In press)

18^t^h ACM Symposium on Parallelism in Algorithms and Architectures (SPAA2006), Cambridge, MA, USA, July 30-August 2

ページ: 39-48

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

130004638880

Proc. 18th Annual ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2006)

ページ: 39-48

Proc. 1st International Conference on Scalable InformationSystems (InfoScale 2006)

Proc. 18 th Annual ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2006)

ページ: 39-48

Proc. First International Conference on Scalable Information Systems (InfoScale 2006)

European Conference on Parallel Computing(EuroPar2006), Drcsden, Germany, August 29-September 2, LNCS 4128, Springer 4128

ページ: 6051-614

Proc. lst International Conference on Scalable Information Systems (InfoScale 2006)

First International Conference on Scalable Information Systems(InfoScale2006), Hong Kong, May 29-June 1, 2006

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

130004892052

Parallel Computing Vol.32, No.7-8

ページ: 590-603

情報処理学会論文誌 47・PRO28(印刷中)

110004078714

情報処理学会論文誌 Vol.47, No.SIG 2 (PRO28)

ページ: 84-98

110004078714

Computer Software(in Japanese) Vol.22, No.3

ページ: 214-221

130005006607

情報処理学会論文誌 46(PRO ?)(予定)

110002769805

Parallel Processing Letters 15・3

ページ: 321-336

情報処理学会誌「情報処理」 46・10

ページ: 1158-1163

110002769761

ACM Symp. On Document Engineering (DocEng2005)

ページ: 42-51

データマイニングのアルゴリズム記述を容易にする拡張行列演算の提案 46・PRO26

110002769805

コンピュータソフトウエア Vol.22, No.3

ページ: 214-222

130005006607

ACM Symposium on Document Engineering (DocEng 2005), Bristol, United Kingdom, 2-4 November 2005

ページ: 42-51

Parallel Processing Letters Vol.15, No.3

ページ: 321-336

The 3^<rd> International Conf.on Education and Information Systems, Technologies and Applications (EISTA2005)

ページ: 14-17

日本ソフトウェア科学会 第22回大会論文集

130004638879

Parallel Processing Letters Vol. 15, No. 3

ページ: 321-336

日本ソフトウェア科学会第22回大会,東北大学青葉山キャンパス, 2005年9月13日(火)〜15日(木)

130004638879

The 3^<rd> International Conf. on Education and Information Systems, Technologies and Applications(EISTA2005)

ページ: 14-17

情報処理学会誌「情報処理」 Vol.46,No.10

ページ: 1158-1163

110002769761

日本ソフトウェア科学会第22回大会講演論文集 CD-ROM

コンピュータソフトウエア 22・3

ページ: 214-222

40022143270

Parallel Processing Letters 15・3

ページ: 321-336

Parallel Processing Letters 15・3

ページ: 321-336

The 3^<rd> International Conf. on Education and Information Systems, Technologies and Applications(EISTA2005)

ページ: 14-17

データマイニングのアルゴリズム記述を容易にする拡張行列演算の提案 46・PRO26

110002769805

日本ソフトウェア科学会第22回大会,東北大学青葉山キャンパス, 2005年9月13日(火)〜15日(木)

130004638880

Proc.ACM Symposium on Document Engineering(DocEng 2005)

ページ: 42-51

情報処理学会誌「情報処理」 46・10

ページ: 1158-1163

110002769761

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

ページ: 214-221

130005006607

コンピュータソフトウェア (to appear)

130005006607

ACM Symp.On Document Engineering (DocEng2005)

ページ: 42-51

情報処理 46・10

ページ: 1158-1162

110002769761

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

ページ: 214-222

130005006607

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

130005006607

International Journal of Parallel Programming 32・5

ページ: 389-414

Proc. Annual European Conference on parallel Processing (Euro-Par2004), Lecture Notes in Computer Science 3149

ページ: 644-653

Proc.Annual European Conference on Parallel Processing(Euro-Par2004), Lecture Notes in Computer Science 3149

ページ: 644-653

Proc.2nd ASIAN Symposium on Programming Languages and Systems(APLAS2004)

ページ: 197-212

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

ページ: 71-76

130004549029

International Workshop on New Approaches to Software Construction(WNASC2004)

ページ: 3-22

The 2nd Asian Symposium on Programming Languages and Systems(APLAS52004)

ページ: 2-20

Information Processing Letters 89・6

ページ: 309-314

Partial Evaluation and Semantics-Based Program Manipulation (PEPM'04), ACM Press

ページ: 178-189

International Journal of Parallel Programming 32・5

ページ: 389-414

Mathematics for Programming Construction(MPC2004), Springer LNCS3125

ページ: 289-313

Proc. 4th International workshop on Constructive Methods for Parallel Programming (CMPP2004)

ページ: 109-123

International Journal of Parallel Programming Vol.32, No.5

ページ: 389-414

Proc.4th International Workshop on Constructive Methods for Parallel Programming(CMPP2004)

ページ: 109-123

International Journal of Parallel Programming 32

ページ: 389-414

Proc.4th International Workshop on Constructive Methods for Parallel Programming(CMPP2004)

ページ: 109-123

ACM SIGPLAN 2004 Symposium on Partial Evaluation and Program Manipulation (PEPM'04), Verona, Italy, August 24-25,2004(ACM Press)

ページ: 178-189

コンピュータソフトウエア 21・5

ページ: 71-76

130004549029

Seventh International Conference on Mathematics of Program Construction (MPC 2004), Stirling, Scotland, UK, 12-14 July, 2004. LNCS 3125(Springer Verlag) 3125

ページ: 289-313

Information Processing Letters 89・6

ページ: 309-314

Proc.4th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing(SNPD'03)

ページ: 250-259

Proc.Annual European Conference on Parallel Processing(Euro-Par2003), Lecture Notes in Computer Science 2790

ページ: 789-798

Proc. Annual European Conference on Parallel Processing (Euro-Par2003), Lecture Notes in Computer Science 2790

ページ: 789-798

Proc. SNPD'03 Conference

ページ: 250-259

Proc. 22 nd Meeting of JSSST (in Japanese)

Mathematical Structures in Computer Science (MSCS), Cambridge University Press

巻: (掲載確定)

19th European Symposium on Programming (ESOP), LNCS6012 2010

ページ: 448-467

International Conference on Model Transformation (ICMT 2009).

Computer Software (to appear)

130005006607