萩原 茂樹  Hagihara Shigeki

CIPFA Japan ジャーナル

巻: 5 ページ: 25-35

40022661491

The Computer Journal

巻: bxab116

10.1093/comjnl/bxab116

Proceedings of the 2020 9th International Conference on Software and Computer Applications (ICSCA2020)

ページ: 17-20

10.1145/3384544.3384572

Proceedings of the 2019 8th International Conference on Software and Computer Applications (ICSCA2019)

ページ: 363-368

10.1145/3316615.3316629

Proceedings of the 2019 8th International Conference on Software and Computer Applications (ICSCA2019)

ページ: 347-352

10.1145/3316615.3316634

Biomedical Engineering Systems and Technologies (BIOSTEC 2017), Communications in Computer and Information Science

巻: 881 ページ: 191-211

10.1007/978-3-319-94806-5_11

AIP Conference Proceedings

巻: 1955 ページ: 040051-040051

10.1063/1.5033715

Proceedings of the 6th International Conference on Software and Computer Applications (ICSCA 2017)

巻: - ページ: 256-261

10.1145/3056662.3056701

Advances in Engineering

巻: 126 ページ: 676-683

10.2991/icmmct-17.2017.140

Proceedings of the 6th International Conference on Software and Computer Applications (ICSCA 2017)

巻: - ページ: 208-213

10.1145/3056662.3056702

Acta Informatica

巻: Special Issue on Synthesis 号: 7 ページ: 1-38

10.1007/s00236-016-0280-3

Proceedings of the 4th FME Workshop on Formal Methods in Software Engineering (FormaliSE '16)

巻: - ページ: 15-21

10.1145/2897667.2897672

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

巻: 31 号: 3 ページ: 3_336-3_356

10.11309/jssst.31.3_336

130004688291

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

巻: 31 号: 2 ページ: 2_93-2_117

10.11309/jssst.31.2_93

130004892285

情報処理学会論文誌

巻: 55(2) ページ: 909-921

110009665001

Communications in Computer and Information Science

巻: 452 ページ: 131-146

10.1007/978-3-662-44485-6_10

IEICE Transactions on Information and Systems

巻: E97.D 号: 7 ページ: 1746-1755

10.1587/transinf.E97.D.1746

130004519271

Journal of Integrative Bioinformatics

巻: 10(2) ページ: 216-216

10.2390/biecoll-jib-2013-216

Theory and Practice of Computation, Proceedings in Information and Communications Technology

巻: 7 ページ: 13-33

10.1007/978-4-431-54436-4_2

Proceedings of the Third International Conference on Trends in Information, Telecommunication and Computing, Lecture Notes in Electrical Engineering

巻: 150 ページ: 107-113

10.1007/978-1-4614-3363-7_13

IEICE Transactions on Information and Systems

巻: E96-D(10) ページ: 2187-2193

130004519200

Information and Communicatiaon Technology, Lecture Notes in Computer Science

巻: 7804 ページ: 60-70

10.1007/978-3-642-36818-9_7

40022046973

Philippine Computing Journal

巻: 7(2) ページ: 23-32

Theory and Practice of Computation, Proceedings in Information and Communications Technology

巻: 5 ページ: 116-132

10.1007/978-4-431-54106-6_10

Formal Methods and Software Engineering, Lecture Notes in Computer Science

巻: 7635 ページ: 249-265

10.1007/978-3-642-34281-3_19