結縁 祥治  Yuen Shoji

Logical Methods in Computer Science

巻: Volume 20, Issue 1

10.46298/lmcs-20(1:11)2024

Electronic Proceedings in Theoretical Computer Science

巻: 387 ページ: 149-167

10.4204/eptcs.387.11

FORTE 2022, Lecture Notes in Computer Science

巻: 13273 ページ: 31-49

10.1007/978-3-031-08679-3_3

RC2022, Lecture Notes in Computer Science

巻: 13354 ページ: 204-212

10.1007/978-3-031-09005-9_14

Journal of Information Processing

巻: 28 号: 0 ページ: 124-135

10.2197/ipsjjip.28.124

130007798629

Lecture Notes in Computer Science

巻: 12227 ページ: 272-279

10.1007/978-3-030-52482-1_18

Leibniz International Proceedings in Informatics

巻: 166

Science of Computer Programming

巻: 172 ページ: 135-159

10.1016/j.scico.2018.08.005

Science China Information Sciences

巻: 61 号: 1 ページ: 1-14

10.1007/s11432-016-9027-y

Electronic Proceedings in Theoretical Computer Science

巻: 276 ページ: 69-86

10.4204/eptcs.276.7

New Generation Computing

巻: 36 号: 3 ページ: 281-306

10.1007/s00354-018-0040-8

信学技法SS2016-60

巻: 116-512 ページ: 1-6

信学技報,SS2016-60

巻: 116-512 ページ: 1-6

Lecture Notes in Computer Science

巻: 10606 ページ: 77-93

10.1007/978-3-319-69483-2_5

信学技報,SS2016-60

巻: 116-512 ページ: 85-90

Electronic Proceedings in Theoretical Computer Science

巻: 255 ページ: 51-66

10.4204/eptcs.255.4

Lecture Notes in Computer Science

巻: 10610 ページ: 396-412

10.1007/978-3-319-68690-5_24

Lecture Notes in Computer Science

巻: 10319 ページ: 99-118

10.1007/978-3-319-59746-1_6

信学技法ソフトウェアサイエンス

巻: IEICE-SS2015-67 ページ: 129-134

Lecture Notes in Computer Science

巻: 9559 ページ: 147-161

10.1007/978-3-319-31220-0_11

信学技報,SS2016-25

巻: 116-277 ページ: 43-48

信学技法SS2016-25

巻: 116-277 ページ: 43-48

信学技法SS2016-11

巻: 116-127 ページ: 99-104

電子情報通信学会技報

巻: 114-510 ページ: 31-36

4th International Workshop on SOFL + MSVL (SOFL+MSVL'14), Lecture Notes in Computer Science

巻: 8979 ページ: 62-80

10.1007/978-3-319-17404-4_5

電子情報通信学会技報

巻: 114-416 ページ: 79-84

Lecture Notes in Computer Science

巻: 9268 ページ: 189-205

10.1007/978-3-319-22975-1_13

信学技法ソフトウェアサイエンス

巻: IEICE-SS2015-2 ページ: 7-10

信学技法ソフトウェアサイエンス

巻: IEICE-SS2015-36 ページ: 7-12

信学技法ソフトウェアサイエンス

巻: 113-448 ページ: 1-6

Reversible Computation 2014, Lecture Notes in Computer Science

巻: 8507 ページ: 1-14

10.1007/978-3-319-08494-7_1

電子情報通信学会技報

巻: 114-271 ページ: 41-46

電子情報通信学会技報

巻: 114-271 ページ: 35-40

電子情報通信学会技報

巻: 114-127 ページ: 37-42

Lecture Notes in Computer Science

巻: 8053 ページ: 168-182

10.1007/978-3-642-40229-6_12

110009595806

Lecture Notes in Computer Science

巻: 7948 ページ: 141-154

10.1007/978-3-642-38986-3_12

情報処理学会論文誌(PRO)

巻: 6(3) ページ: 20-32

110009656444

International Journal of Foundation of Computer Science (採録決定)

Electronic Proceedings in Theoretical Computer Science

巻: Vol.69 ページ: 74-91

Post-proceedings of PLACES10, EPTCS 2011 (採録決定)

情報処理学会論文誌 vol. 2, no. 2(PR041)

ページ: 54-69

Information and Computation vol.207,no.2

ページ: 120-145

情報処理学会論文誌 vol.2,no.2

ページ: 54-69

110007970891

システム制御情報学会誌 vol.52,no.9

ページ: 322-327

IPSJ Journal Vol.48

ページ: 2915-2924

110006422972

第9回プログラミングおよびプログラミング言語ワークショップ(PPL2007)

ページ: 140-154

In Proceedings of the 9^<th> workshop of programming and programming languages (PPL2007)

ページ: 140-154

情報処理学会論文誌 48

ページ: 2915-2924

110006422972

情報処理学会論文誌 48

ページ: 2915-2924

110006422972

情報処理学会論文誌 vol.48,no.9

ページ: 2915-2924

110006422972

第9回プログラミングおよびプログラミング言語ワークショップ (PPL2007)

ページ: 140-154

ソフトウェア工学の基礎ワークショップFOSE2006 XIII

ページ: 119-124

第4回ディペンダブルソフトウェアワークショップDSW 2006-2 論文集

ページ: 11-20

IPSJ transaction : Programming Vol 47

ページ: 10-28

110004856995

Journal of IEICE J89-D4

ページ: 632-641

第4回ディぺンダブルソフトウェアワークショップDSW2006-2論文集

ページ: 11-20

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

ページ: 632-641

110007380427

ソフトウェア工学の基礎ワークショップFOSE2006 XIII

ページ: 119-124

情報処理学会論文誌(トランザクション)プログラミング 47

ページ: 10-28

第4回ディペンダブルソフトウェアワークショップDSW 2006-2 論文集

ページ: 11-20

In Proceedings of the 4^<th> workshop of dependable software(DSW2006-2)

ページ: 11-20

In Proceedings of the thirteenth Workshop for the Foundation Of Software Engineering(FOSE2006)

Journal of Web Engineering 4

ページ: 144-164

Computer Software Vol 22

ページ: 44-57

130000058393

In Proceedings of the workshop of Dependable Software Tools and Methods, DSN2005, Supplemental Volume

ページ: 207-214

Journal of Web Engineering Vol.4

ページ: 144-164

コンピュータソフトウェア (採録決定・印刷中)

110008016647

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

ページ: 44-57

Supplemental Volume of the 2005 International Conference on Dependable Systems & Networks DSN2005

ページ: 207-214

110007380427

Electric Notes in Theoretical Computer Science Vol. 139

ページ: 145-168

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

ページ: 22-43

110008016647

Electric Notes in Theoretical Computer Science 139

ページ: 145-168

Proceedings of the workshop of Dependable Software - Tools and Methods, DSN2005 Suppliemtal Volume

ページ: 207-214

コンピューターソフトウェア (採録決定、印刷中)

110008016647

Electric Notes in Theoretical Computer Science 139

ページ: 145-168

コンピュータソフトウェア (採録決定・印刷中)

130000058393

Proceedings of the workshop of Dependable Software -Tools and Methods, DSN2005 Suppliemta 1 Volume

ページ: 207-214

Proceedings of 6^<th> AMAST Workshop on Real-Time Systems, Technical Report University of Leicester 2004/28

ページ: 49-66

In Proceedings of ARTS2004, Technical Reprot No.2004/28,University of Leicester 2004/28(ENTCS採録決定、印刷中)

ページ: 49-66

コンピューターソフトウェア Vol.21, No.4

ページ: 27-36

130004549019

組込みソフトウェアシンポジウム

ページ: 126-133

Journal of Logic and Algebraic Programming Vol 60-61

ページ: 401-460

Computer Software Vol.21 No.4

ページ: 27-36

110003743171

Journal of Logic and Algebraic Programming 60-61

ページ: 401-460

情報処理学会論文誌 45巻4号

ページ: 1498-1507

110002712200

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

ページ: 1498-1507

110002712200

In Proceedings of the eleventh Workshop for the Foundation Of Software Engineering(FOSE2004)

ソフトウェア工学の基礎ワークショップFOSE2004 XII

ページ: 97-108

Journal of the Information Processing Society of Japan Vol 45 Issue 4

ページ: 1498-1507

情報処理学会論文誌 45巻10号

ページ: 2373-2383

コンピューターソフトウェア Vol.21,No.4

ページ: 27-36

130004549019

Proceedings of Embedded System Symposium 2004(ESS2004)

ページ: 126-133

Journal of IPSJ Vol.45, No.6

ページ: 1497-1507

110002712200

Proceedings of ARTS2004, Technical Reprot No.2004/28(University of Leicester)(Further revised version will apper in ENTCS)

ページ: 49-66

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

ページ: 1498-1507

110002712200

Journal of the Information Processing Society of Japan Vol.45Vol.45, Issue 10

ページ: 2373-2383

IEICE Transaction

10031126714