すべて 2019 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2004 2003 その他
すべて 雑誌論文 学会発表 図書
IEEE Transactions on Parallel and Distributed Systems
巻: 28 (12) ページ: 3401-3412
10.1109/tpds.2017.2735400
International Journal of Parallel Programming
巻: 印刷中 ページ: 320-339
10.1007/s10766-016-0418-5
International Journal of Secure Software Engineering
巻: 8 ページ: 42-57
10.4018/ijsse.2017070103
JSSST Computer Software
巻: 印刷中
130005290614
Journal of Information Processing
巻: 24 号: 6 ページ: 928-936
10.2197/ipsjjip.24.928
130005282160
Software and Systems Modeling
巻: 未定
10.1007/s10270-014-0450-0
Bioinformatics
巻: 31(10)
10.1093/bioinformatics/btv033
Oxford Journal
巻: Volume2, Issue3 ページ: 349-270
10.1093/nsr/nwv042
Science China Information Sciences
巻: Vol.58, No.11 ページ: 1-14
10.1007/s11432-015-5368-9
Mathematical tructures in Computer Science
巻: online ページ: 916-941
10.1017/s096012951300008x
巻: Vol.58, No. 5 ページ: 1-21
10.1007/s11432-015-5316-8
Journal of Computer Science and Technology (JCST)
巻: Volume 40, Issue 2 ページ: 116-135
10.1007/s11390-014-1462-5
Progress in Informatics
巻: Vol. 10 ページ: 131-148
Mathematical Structures in Computer Science (MSCS)
巻: Vol. 23
Comput. Geom.
巻: 46(8) ページ: 959-969
10.1016/j.comgeo.2013.04.005
Journal of Functional Programming
巻: Volume 23, Issue 5 ページ: 515-551
10.1017/s0956796813000130
Frontiers of Computer Science
巻: Volume 7, Issue 2 ページ: 257-271
10.1007/s11704-013-2047-0
巻: 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
巻: (印刷中)(掲載確定)
Electronic Communications of the EASST
巻: Volume 49 ページ: 1-17
コンピュータソフトウエア
巻: 29巻2号 ページ: 174-192
巻: Vol. 22, No. 3 ページ: 275-299
10.1017/s0956796812000111
Science of Computer Programming
10.1016/j.scico.2012.07.014
巻: (Online First)
Journal of Systems and Software
巻: 84 ページ: 711-723
巻: 84(掲載確定) ページ: 711-723
SIGMOD Record
巻: Vol.40, No.1 ページ: 35-39
Soft-ware and Systems Modeling
巻: 29巻2号 ページ: 74-191
ページ: 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巻
ACM SIGPLAN 2009 Workshop on Partial Evaluation and Program Manipulation (PEPM 2009).
International Journal on Software Tools for Technology Transfer. Vol.11
ページ: 453-468
International Journal on Software Tools for Technology Transfer Vol. 11
ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) (ESEC/FSE 2009).
ACM SIGPLAN 2009 Workshop on Partial Evaluation and Program Manipulation(PEPM 2009)
International Journal on Software Tools for Technology Transfer 11
ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE) (ESEC/FSE 2009)
International Conference on Model Transformation (ICMT 2009)
情報処理学会論文誌, プログラミング Vol.2(2)
Higher-Order and Symbolic Computation. Vol.21
ページ: 89-118
情報処理学会論文誌 Vol.49,No.SIG3,PRO36
ページ: 16-27
110006684627
情報処理学会論文誌 Vol.49, No.SIG3, PRO36
情報処理学会誌「情報処理」 Vol.49,No.12
ページ: 1385-1394
情報処理学会誌「情報処理」 Vol. 49, No. 12
22nd IEEE/ACM International Conference on Automated Software Engineering.
ページ: 164-173
Scalable Computing: Practice & Experience (SCPE) (掲載予定)
Higher-Order and Symbolic Computation 21
Higher-Order and Symbolic Computation Vol. 21
22nd IEEE/ACM International Conference on Automated Software Engineering November5-9,2007
22nd IEEE/ACM International Conference on Automated Software Engineering
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
コンピュータソフトウエア 24(3)
130004638880
Parallel Computing 32・7-8
ページ: 590-603
Parallel Computing Vol.32, No.7-8
Parallel Computing (Elsevier) Vol.32, No.7-8
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
Proc. 18th Annual ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2006)
Proc. 1st International Conference on Scalable InformationSystems (InfoScale 2006)
Proc. 18 th Annual ACM Symposium on Parallelism in Algorithms and Architectures (SPAA 2006)
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
情報処理学会論文誌 47・PRO28(印刷中)
110004078714
情報処理学会論文誌 Vol.47, No.SIG 2 (PRO28)
ページ: 84-98
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
コンピュータソフトウエア Vol.22, No.3
ページ: 214-222
ACM Symposium on Document Engineering (DocEng 2005), Bristol, United Kingdom, 2-4 November 2005
Parallel Processing Letters Vol.15, No.3
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
日本ソフトウェア科学会第22回大会,東北大学青葉山キャンパス, 2005年9月13日(火)〜15日(木)
The 3^<rd> International Conf. on Education and Information Systems, Technologies and Applications(EISTA2005)
情報処理学会誌「情報処理」 Vol.46,No.10
日本ソフトウェア科学会第22回大会講演論文集 CD-ROM
コンピュータソフトウエア 22・3
Proc.ACM Symposium on Document Engineering(DocEng 2005)
コンピュータソフトウェア 22・3
コンピュータソフトウェア (to appear)
ACM Symp.On Document Engineering (DocEng2005)
情報処理 46・10
ページ: 1158-1162
コンピュータソフトウェア to appear
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
Proc.2nd ASIAN Symposium on Programming Languages and Systems(APLAS2004)
ページ: 197-212
コンピュータソフトウェア 21・3
ページ: 71-76
130004638774
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
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
Proc.4th International Workshop on Constructive Methods for Parallel Programming(CMPP2004)
International Journal of Parallel Programming 32
ACM SIGPLAN 2004 Symposium on Partial Evaluation and Program Manipulation (PEPM'04), Verona, Italy, August 24-25,2004(ACM Press)
コンピュータソフトウエア 21・5
Seventh International Conference on Mathematics of Program Construction (MPC 2004), Stirling, Scotland, UK, 12-14 July, 2004. LNCS 3125(Springer Verlag) 3125
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
Proc. SNPD'03 Conference
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)
