日高 宗一郎  HIDAKA Soichiro

Software Foundations for Data Interoperability. SFDI 2021. Communications in Computer and Information Science

巻: 1457 ページ: 62-75

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

170000185581

Communications in Computer and Information Science

巻: 1457 ページ: 13-51

10.1007/978-3-030-93849-9_2

Companion Proceedings of the 20th IEEE International Conference on Software Quality, Reliability and Security (QRS2020)

巻: - ページ: 87-90

10.1109/qrs-c51114.2020.00025

2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems

巻: - ページ: 23-33

10.1109/models.2017.21

GRACE Technical Reports

巻: 2016-04 ページ: 1-15

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

巻: 33 ページ: 56-77

130005158815

Software and Systems Modeling

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

10.1007/s10270-014-0450-0

GRACE Technical Reports (GRACE-TR-2015-04)

巻: 2015(4) ページ: 1-20

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

巻: 32(2) ページ: 63-78

130005086347

GRACE TECHNICAL REPORTS

巻: 2015 ページ: 1-41

GRACE Technical Reports (GRACE-TR-2015-02)

巻: 2015(2) ページ: 1-23

CEUR Workshop Proceedings

巻: 1396 ページ: 51-65

GRACE Technical Reports (GRACE-TR-2015-03)

巻: 2015(3) ページ: 1-12

Communications in Computer and Information Science

巻: 未定

GRACE TECHNICAL REPORTS, National Institute of Informatics

巻: 2014(1) ページ: 1-16

GRACE Technical Reports (GRACE-TR-2014-01)

巻: 2014(1) ページ: 1-16

Second International Workshop on Bidirectional Transformations, ECEASST

巻: Vol.57

http://journal.ub.tu-berlin.de/eceasst/article/view/866/861

Mathematical Structures in Computer Science

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

10.1017/s096012951300008x

National Institute of Informatics

巻: 2014(1) ページ: 1-16

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

巻: 31 号: 2 ページ: 2_44-2_56

10.11309/jssst.31.2_44

130004892295

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

巻: 30 号: 3 ページ: 3_25-3_44

10.11309/jssst.30.3_25

10031178228

PVLDB

巻: Vol.7, No.4 ページ: 241-252

http://www.vldb.org/pvldb/vol7/p241-onizuka.pdf

Progress in Informatics

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

Mathematical Structures in Computer Science (MSCS)

巻: Vol. 23

Mathematical Structures in Computer Science

巻: 未定

Progress in Informatics

巻: No.10 号: 10 ページ: 131-148

10.2201/niipi.2013.10.7

Proceedings of the VLDB Endowment (PVLDB)

巻: 7(4) ページ: 241-252

GRACE Technical Report

巻: (GRACE-TR 2012-06 ページ: 1-31

40020580368

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

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

130004549266

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

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

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

130004549266

GRACE　Technical Report (GRACE-TR 2012-06)

巻: 6 ページ: 1-31

GRACE Technical Report (GRACE-TR-2012-07)

巻: 10 ページ: 1-21

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

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

130004549266

In Selected/revised papers from 21st International Symposium Logic-Based Program Synthesis and Transformation

巻: Vol.7225 ページ: 123-138

10.1007/978-3-642-32211-2_9

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

巻: 29巻2号

Logic-Based Program Synthesis and Transformation, 21st International Symposium, LOPSTR 2011, Odense, Denmark, Revised Selected Papers, Lecture Notes in Computer Science

巻: 7225 ページ: 123-138

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

巻: 29 号: 2 ページ: 2_174-2_192

10.11309/jssst.29.2_174

130004549266

Technical Report

巻: GRACE-TR-2011-07 ページ: 1-24

GRACE Technical Report (GRACE-TR-2011-06)

巻: 2011-06 ページ: 1-24

GRACE　Technical Report (GRACE-TR-2011-02)

巻: 2011-02 ページ: 1-22

GRACE Technical Report (GRACE-TR-2011-07)

巻: 2011-07 ページ: 1-24

GRACE Technical Report (GRACE-TR-2011-01)

巻: 2011-01 ページ: 1-22

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

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

130004549266

Technical Reports at the Centre for Research in Computing, Faculty of Mathematics, Computing and Technology, The Open University

巻: 2011(9) ページ: 1-13

Technical Reports at the Centre for Research in Computing, Faculty of Mathematics, Computing and Technology, The Open University

巻: 2011(9) ページ: 1-13

GRACE　Technical Report (GRACE-TR-2011-05)

巻: 2011-05 ページ: 1-10

Technical Report GRACE-TR-2010-04

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

GRACE Technical Report,(GRACE-TR-2010-06)

ページ: 1-17

GRACE Technical Report (GRACE-TR-2010-07)

巻: 2010-07 ページ: 1-21

GRACE Technical Report (GRACE-TR-2010-06)

巻: 2010-06 ページ: 1-17

GRACE Technical Report (GRACE-TR-2010-04)

ページ: 1-27

Technical Report

巻: 04 ページ: 1-27

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

GRACE Technical Report (GRACE-TR-2010-07)

ページ: 1-21

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

ページ: 15-15

40022028445

31^<st> International Conference on Software Engineering Companion Volume

ページ: 235-238

Webとデータベースに関するフォーラム(WebDB Forum 2009)論文集

ページ: 8-8

GRACE TECHNICAL REPORTS (GRACE-TR-2009-03)

ページ: 41-41

40022028583

31st International Conference on Software Engineering, 巻Companion Volume

ページ: 235-238

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

40022028583

Proceedings of the 2009 ACM symposium on Applied Computing

ページ: 468-475

40022047007

GRACE TECHNICAL REPORTS(GRACE-TR-2009-04)

ページ: 28-28

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

ページ: 18-18

40022028583

Proceedings of the 2009 ACM symposium on Applied Computing (CD-ROM)

ページ: 468-475

40022047007

GRACE TECHNICAL REPORTS(GRACE-TR 2009-03) 2009

40022028583

GRACE TECHNICAL REPORTS 2008

ページ: 14-14

GRACE TECHNICAL REPORTS (GRACE-TR-2008-02)

ページ: 37-37

GRACE TECHNICAL REPORTS (GRACE-TR-2008-01)

ページ: 14-14

電子情報通信学会論文誌 J91-D

ページ: 873-888

110007381035

GRACE TECHNICAL REPORTS 2008

ページ: 37-37

NIIテクニカル・レポート NII-2008-003J

ページ: 24-24

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

ページ: 23-23

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

ページ: 23-23

IEICE TRANSACTIONS on Communications Vol.E90-B No.4

ページ: 728-741

110007519312

Proc. the 22nd Annual ACM Symposium on Applied Computing (SAC 2007)

ページ: 1332-1333

IEICE Transaction on Information ＆ Systems Vol.E90-D,No.1

ページ: 58-66

110004710127

Proc. of the International Symposium on Information Technology Convergence(ISITC 2007)

ページ: 32-36

IEICE (電子情報通信学会) TRANSACTIONS on Communications Vol.E90-B No.4

ページ: 728-741

110007519312

IEICE Transaction on Information ＆ Systems Vol.E90-D, No.1

ページ: 58-66

110004710127

IEEJ(電気学会) Transactions on Electrical and Electronic Engineering Vol.E90-B No.4

ページ: 728-741

110007519312

第9回プログラミング及び応用のシステムに関するワークショップ

IEEJ Transactions on Electrical and Electronic Engineering vol.1, No.4

ページ: 397-407

10024291223

電子情報通信学会(和文論文誌B)シームレス通信サービスのためのネットワーキング技術特集号 Vol.J89-B, No.8

ページ: 1357-1366

110007378879

IEEJ (電気学会) Transactions on Electrical and Electronic Engineering vol.1,No.4

ページ: 397-407

10024291223

IEICE Transactions on information and systems vol.E89-D, no.11

ページ: 2712-2723

110007538479

電子情報通信学会(和文論文誌B)シームレス通信サービスのためのネットワーキング技術特集号 Vol.J89-B,No.8

ページ: 1357-1366

110007378879

第36回モバイルコンピューティングとユビキタス通信・第10回ユビキタスコンピューティング合同研究発表会 MBL36-UB110

ページ: 251-220

110004710127

IEICE Transactions on information and systems vol.E89-D,no.11

ページ: 2712-2723

110007538479

Proceedings of The 4th Workshop on Programmable Structured Documents

ページ: 58-77

第36回モバイルコンピューティングとユビキタス通信・第10回ユビキタスコンピューティング合同研究発表会 MBL36-UB11

110004710127

Technical report, National Institute of Informatics 2005 016E

電子情報通信学会 総合大会 D-3-4

ユビキタスコンピューティングシステム研究会 MBL32UB17-8

110002695092

Proc. 8th International Workshop on Mobility in Databases and Distributed Systems

ページ: 1063-1067

Proc.of Int'l IEEE Conf.on Industrial Informatics

SWoPP 2004 2004-dos-97-

ページ: 81-88

110002913968

情報処理学会第51回プログラミング研究会

110002769554

Mathematical Structures in Computer Science, APLAS 2010 special issue, (Cambridge University Press)

巻: (accepted, 掲載号未定)

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

巻: (掲載確定)

http://nm.wu-wien.ac.at/nm/file/MODELSWARD2014-PP%2epdf?m=download

http://ceur-ws.org/Vol-1133/paper-09.pdf