ISOBE Yoshinao  磯部 祥尚

磯部祥尚

Communicating, Process Architectures 2011(WoTUG-33, IOS Press) (掲載確定)

Pages : 22-22

Peer Reviewed

磯部祥尚

Communicating Process Architectures 2011 (IOS Press)

Volume : WoTUG-33(掲載確定) Pages : 22-22

Peer Reviewed

磯部祥尚

レクチャーノート/ソフトウェア学ソフトウェア工学の基礎XVII(近代科学社)

Volume : 36 Pages : 65-74

Peer Reviewed

磯部祥尚

電子情報通信学会技術研究報告CST(コンカレント工学) 110巻89号

Pages : 139-144

磯部祥尚

電子情報通信学会技術研究報告CSTコンカレント工学

Volume : 110巻89号 Pages : 139-144

Peer Reviewed

磯部祥尚

レクチャーノート/ソフトウェア学 ソフトウェア工学の基礎XVII(近代科学社) 36巻

Pages : 65-74

Peer Reviewed

Gift Samuel, Markus Roggenbach, 磯部祥尚

Electronic Notes in Theoretical Computer Science (ENTCS) Vol.250, No.2

Pages : 119-134

Peer Reviewed

Liam O'reilly, Markus Roggenbach, 磯部祥尚

Electronic Notes in Theoretical Computer Science (ENTCS) Vol.250, No.2

Pages : 69-84

Peer Reviewed

リアン オライリー(第2:磯部祥尚)

Electronic Notes in Theoretical Computer Science(ENTCS) 250

Pages : 69-84

Peer Reviewed

ギフト サミュエル(第2:磯部祥尚)

Electronic Notes in Theoretical Computer Science(ENTCS) 250

Pages : 119-134

Peer Reviewed

磯部祥尚

日本ソフトウェア科学会コンピュータソフトウェア(JSSST) 25巻4号

Pages : 85-92

Peer Reviewed

磯部祥尚

日本ソフトウェア科学会 コンピュータソフトウェア(JSSST) 25

Pages : 85-92

Peer Reviewed

磯部祥尚

2015年電子情報通信学会 ソサイエティ大会

東北大学 川内北キャンパス（宮城県仙台市）

2015-09-09

磯部祥尚

Communicating Process Architectures 2011, (CPA 2011, the 33rd WoTUG conference)

リムリック大学(アイルランド)

2011-06-21

磯部祥尚

第7回CSP研究会

東洋大学(東京都)

2011-05-21

磯部祥尚

Communicating Process Architectures 2011 (CPA 2011, the 33rd WoTUG conference)

リムリック大学(アイルランド)

2011-06-20

磯部祥尚

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

定山渓ビューホテル(北海道)

2011-03-10

磯部祥尚

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

定山渓ビューホテル(北海道)

2011-03-10

磯部祥尚

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

香川県(仲多度郡)

2010-03-04

磯部祥尚

第4回CSP研究会

東京都(文京区)

2010-03-10

磯部祥尚

電子情報通信学会コンカレント工学研究会(CST)

北見工業大学(北海道)

2010-06-22

磯部祥尚

第5回CSP研究会

東洋大学(東京都)

2010-07-10

磯部祥尚

Workshop on Symbolic Computation and Software Verification

筑波大学(茨城県)

2010-04-06

磯部祥尚

第17回ソフトウェア工学の基礎ワークショップ(FOSE2010)

いなもと旅館(新潟県)

2010-11-19

磯部祥尚

第17回ソフトウェア工学の基礎ワークショップ(FOSE2010)

いなもと旅館(新潟県)

2010-11-19

磯部祥尚

Workshop on Symbolic Computation and Software Verification

筑波大学(茨城県)

2010-04-06

磯部祥尚

電子情報通信学会コンカレント工学研究会(CST)

北見工業大学(北海道)

2010-06-22

磯部祥尚

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

琴参閣(香川県)

2010-03-04

磯部祥尚

第4回CSP研究会

東洋大学(東京都)

2010-03-10

海津智宏(第2:磯部祥尚)

コンカレント工学研究会(CST)

愛知県(愛知郡)

2010-01-21

磯部祥尚

第1回CSP研究会(CSP)

東京大学(本郷)

2009-03-06

磯部祥尚

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

高山(岐阜)

2009-03-10

磯部祥尚

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

高山(岐阜)

2009-03-10

磯部祥尚

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

高山グリーンホテル(岐阜)

2009-03-10

磯部祥尚

第2回CSP研究会

東京都(文京区)

2009-06-30

磯部祥尚

トップエスイーチュートリアル(招待)

東京都(千代田区)

2009-12-14

ギフトサミュエル(第2:磯部祥尚)

8th International Workshop on Automated Verification of Critical Systems (AVoCS)

スコットランド

2008-10-01

磯部祥尚

Theorem Proving and Provers Meeting (TPP)

東北大学電気通信研究所(仙台)

2008-11-26

リアンオライリー(第2:磯部祥尚)

8th International Workshop on Automated Verification of Critical Systems (AVoCS)

スコットランド

2008-09-30

磯部祥尚

Theorem Proving and Provers (TPP2008) Meeting

東北大学電気通信研究所(宮城県)

2008-11-26

Gift Samuel, Markus Roggenbach, 磯部祥尚

8th International Workshop on Automated Verification of Critical Systems (AVoCS2008)

グラスゴー大学(スコットランド)

2008-10-01

Liam O'reilly, Markus Roggenbach, 磯部祥尚

8th International Workshop on Automated Verification of Critical Systems (AVoCS 2008)

グラスゴー大学(スコットランド)

2008-09-30