上田 和紀  UEDA Kazunori

Kazunori Ueda et al.

447

Springer Verlag

Kazunori Ueda

26

Springer-Verlag

Kazunori Ueda

26

Springer-Verlag

Kazunori Ueda

26

Concurrent Objects and Beyond (COB 2012)(To appear)

Kazunori Ueda

26

Towards a Substrate Framework of Computation

Kazunori Ueda

26

Towards a Substrate Framework of Computation

Kenichi Betsuno, Shota Matsumoto, and Kazunori Ueda

Proc. Sixth International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems, Lecture Notes in Computer Science

巻 : 10107 ページ : 17-30

査読あり / 謝辞記載あり

KAKENHI-PROJECT-26280024, KAKENHI-PROJECT-15K12010

Kazunori Ueda

Science of Computer Programming

巻 : 印刷中

謝辞記載あり / 査読あり

Shota Matsumoto and Kazunori Ueda

Proc. 23rd International Symposium on Temporal Representation and Reasoning

巻 : - ページ : 4-11

査読あり / 謝辞記載あり

宮原和大，上田和紀

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

巻 : 33(1) ページ : 126-149

査読あり / オープンアクセスとしている / 謝辞記載あり

Kazunori Ueda

Proc. 13th International Symposium on Functional and Logic Programming, Springer LNCS

巻 : 9613 ページ : 1-11

査読あり

Alimujiang Yasen and Kazunori Ueda

Proc. 10th International Symposium on Theoretical Aspects of Software Engineering

巻 : - ページ : 113-116

査読あり / 謝辞記載あり

Shota Matsumoto and Kazunori Ueda

23rd International Symposium on Temporal Representation and Reasoning

巻 : - ページ : 4-11

査読あり

Shota Matsumoto, Fumihiko Kono, Teruya Kobayashi and Kazunori Ueda

Electronic Notes in Theoretical Computer Science

巻 : 317 ページ : 109-115

査読あり / オープンアクセスとしている

KAKENHI-PROJECT-15K12010, KAKENHI-PROJECT-26280024

安田竜, 吉田健人, 上田和紀

人工知能学会論文誌

巻 : Vol. 29, No. 1 ページ : 182-187

査読あり

石井大輔, 上田和紀

計測と制御

巻 : 53 ページ : 1086-1092

査読あり

松本翔太, 上田和紀

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

巻 : Vol. 30, No. 4 ページ : 18-35

査読あり

松本翔太，上田和紀

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

巻 : 30

査読あり

K. Ueda, S. Matsumoto, A. Takeguchi, H. Hosobe, and D. Ishii. HydLa

In Logics for System Analysis Workshop (LfSA)

ページ : 3-17

Kazunori Ueda and Seiji Ogawa

Künstliche Intelligenz

巻 : Vol. 26, No. 1 ページ : 27-36

査読あり

後町将人, 堀泰祐, 上田和紀

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

巻 : Vol. 28, No. 4 ページ : 137-157

査読あり

石井大輔、上田和紀、細部博史

International Journal on Software Tools for Technology Transfer (STTT)

巻 : 13 ページ : 449-461

査読あり

KAKENHI-PROJECT-11J03810, KAKENHI-PROJECT-23300011

渋谷俊, 高田賢士郎, 細部博史, 上田和紀

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

巻 : Vol. 28, No. 3 ページ : 167-172

査読あり

渋谷俊,高田賢士郎,細部博史,上田和紀

コンピュータソフトウェア Vol.28, No.3(掲載決定)

査読あり

上田和紀,細部博史,石井大輔

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

ページ : 306-311

査読あり

上田俊, 岩崎敦, 横尾真, M.C.Silaghi, 平山勝敏, 松尾啓志

人工知能学会論文誌

巻 : 26・1 ページ : 179-189

査読あり

Daisuke Ishii, Kazunori Ueda, Hiroshi Hosebe

Int.J.Softw.Tools.Technol.Transfer

巻 : Vol.13(未定)

査読あり

Suguru Ueda, Makoto Kitaki, Atsushi Iwasaki, Makoto Yokoo

Proc.of 22nd Int'l Joint Conf.on Artificial Intelligence (IJCAI 2011)

ページ : 393-399

査読あり

Yuko Sakurai, Suguru Ueda, Atsushi Iwasaki, Shin-ichi Minato, Makoto Yokoo

Proc.of 14th Int'l Conf.on Principles and Practice of Multiagent Systems (PRIMA 2011)

ページ : 4-18

査読あり

石井大輔, 上田和紀, 細部博史

Int.J.Softw.Tools.Technol.Transfer Vol.13(掲載決定)

査読あり

上田和紀, 細部博史, 石井大輔

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

巻 : Vol.28, No.1 ページ : 306-311

査読あり

渋谷俊, 高田賢士郎, 細部博史, 上田和紀

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

巻 : Vol.28, No.2(未定)

査読あり

上田俊, 北木真, 岩崎敦, 横尾真

電子情報通信学会論文誌

巻 : Vol.J94-D No.11 ページ : 1716-1728

査読あり

一村良, 長谷川隆人, 上田俊, 岩崎敦, 横尾真

電子情報通信学会論文誌

巻 : Vol.J94-D No.11 ページ : 1707-1715

査読あり

後町将人, 堀泰祐, 上田和紀

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

巻 : 28-4 ページ : 137-157

査読あり

川端悟基、小林史佳、上田和紀

人工知能学会論文誌

巻 : 26-2 ページ : 341-346

査読あり

S.Ueda, A.Iwasaki, M.Yokoo, M.C.Silaghi, K.Hirayama, T.Matsui

24th AAAI Conf. on Artificial Intelligence (AAAI-2010)

ページ : 197-203

査読あり

綾野貴之、堀泰祐、岩沢宏希、小川誠司、上田和紀

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

巻 : 27-4 ページ : 197-214

査読あり

川端聡基、小林史佳、上田和紀

人工知能学会論文誌 26(2)

ページ : 341-346

査読あり

綾野貴之、堀泰祐、岩澤宏希、小川誠司、上田和紀

コンピュータソフトウェア 27(4)

ページ : 197-214

査読あり

Kazunori Ueda

Theo-retical Computer Science 410(46)

ページ : 4784-4800

査読あり

石井大輔,上田和紀,細部博史

情報処理学会論文誌数理モデル化と応用 Vol.1, No.1

ページ : 149-159

査読あり

乾敦行、工藤晋太郎、原耕司、水野謙、加藤紀夫、上田和紀

コンピュータソフトウェア 25(1)

ページ : 124-150

査読あり

村山敬、工藤晋太郎、櫻井健、水野謙、加藤紀夫、上田和紀

コンピュータソフトウェア 25(2)

ページ : 47-77

査読あり

上田和紀

コンピュータソフトウェア 25(3)

ページ : 59-54

査読あり

Ueda, K.

Electronic Notes in Theoretical Computer Science 209

ページ : 187-200

「研究成果報告書概要(和文)」より

査読あり

Kazunori Ueda

Electronic Notes in Theoretical Computer Science 209

ページ : 187-200

査読あり

石井大輔, 上田和紀, 細部博史

情報処理学会論文誌数理モデル化と応用 1(1)

ページ : 149-159

査読あり

上田和紀

コンピュータソフトウェア 25(3)

ページ : 49-54

査読あり

Inui, A., Kudo, S., Hara, K., Mizuno, K., Kato, N., Ueda, K.

Computer Software Vol.25, No.1(in Japanese)

ページ : 124-150

「研究成果報告書概要(欧文)」より

乾 敦行、工藤 晋太郎、原 耕司、水野 謙、加藤 紀夫、上田 和紀

コンピュータソフトウェア 25(1)

ページ : 124-150

査読あり

乾敦 行, 工藤 晋太郎, 原耕 司, 水野 謙, 加藤 紀夫, 上田 和紀

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

ページ : 124-150

「研究成果報告書概要(和文)」より

査読あり

Murayama, K., Kudo, S., Sakurai, K., Mizuno, K., Kato, N., Ueda, K.

Computer Software Vol.25, No.2(in Japanese)

ページ : 47-77

「研究成果報告書概要(欧文)」より

Ueda K.

Electronic Notes in Theoretical Computer Science Vol.209

ページ : 187-200

「研究成果報告書概要(欧文)」より

Kazunori Ueda

Elec-tronic Notes in Theoretical Computer Science 209

ページ : 187-200

査読あり

村山 敬, 工藤 晋太郎, 櫻井 健, 水野 謙, 加藤 紀夫, 上田 和紀

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

ページ : 47-77

「研究成果報告書概要(和文)」より

査読あり

上田和紀

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

ページ : 221-232

乾敦行, 工藤晋太郎, 原耕司, 水野謙, 加藤紀夫, 上田和紀

コンピュータソフトウェア Vol.24(accepted for publication)

乾敦行, 工藤晋太郎, 原耕司, 水野謙, 加藤紀夫, 上田和紀

コンピューターソフトウェア Vol.24(accepted for publication)

上田和紀

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

ページ : 221-232

Kazunori Ueda

Electronic Notes in Theoretical Computer Science Vol. 162

ページ : 327-331

Kazunori Ueda

The ALP Newsletter Vol. 19, NO. 2

kazunori Ueda, Norio Kato, Koji Hara, Ken Mizuno

Proc. Third Workshop on Constraint Handing Rules (CHR2006)

ページ : 1-15

Kazunori Ueda, Norio Kato, Koji Hara, Ken Mizuno

Proc. Third Workshop on Constraint Handling Rules (CHR 2006)

ページ : 1-15

上田和紀

日本ソフトェア科学会第23回大会論文集

Kazunori Ueda

Electronic Notes in Theoretical Computer Science Vol.162

ページ : 327-331

Kazunori Ueda

The ALP Newsletter Vol.19, No.2

乾敦行, 原耕司, 水野謙, 上田和紀

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

上田和紀

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

kazunori Ueda, Norio Kato, Koji Hara, Ken Mizuno azunori

Proc. 22nd Int. Conf. on Logic Programming (ICLP'06) LNCS 4079

ページ : 457-458

Ueda, K

The ALP NewsLetter(available online) Vol.19, No.2

「研究成果報告書概要(欧文)」より

Ueda, K

Electronic Notes in Theoretical Computer Science Vol.162

ページ : 227-231

「研究成果報告書概要(欧文)」より

Ueda, K.

The ALP News Letter(on line) 19-2

「研究成果報告書概要(和文)」より

Ueda, K.

Electronic Notes in Theoretical Computer Science 162

ページ : 227-231

「研究成果報告書概要(和文)」より

査読あり

櫻井健, 加藤紀夫, 水野謙, 上田和紀

第4回情報科学技術フォーラム(FIT2005) 第一分冊

ページ : 33-36

水野謙, 加藤紀夫, 原耕司, 上田和紀

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

Kazunori Ueda

Proc. Workshop on Algebraic Process Calculi, The First Twenty Years, BRICS Notes Series(PA'05), Aceto, L. and Gordon, A.D.(eds.) NS-05-3

ページ : 227-230

工藤晋太郎, 加藤紀夫, 上田和紀

第4回情報科学技術フォーラム(FIT2005)情報科学技術レターズ

ページ : 9-12

中島 求, 加藤 紀夫, 水野 謙, 上田 和紀

第8回 プログラミングおよび応用のシステムに関するワークショップ(SPA 2005)

Kazunori Ueda, Norio Kato

Proc. Fifth Workshop on Membrane Computing, Lecture Notes in Computer Science 3365

ページ : 110-125

上田和紀

夏のプログラミングシンポジウム「アッと驚くプログラミング」報告集

ページ : 69-74

中島 求, 加藤 紀夫, 水野 謙, 上田 和紀

第8回プログラミングおよび応用のシステムに関するワークショップ(SPA2005) 3月

上田和紀

夏のプログラミングシンポジウム「アッと驚くプログラミング」

ページ : 69-74

Ueda, K. and Kato, N

Lecture Notes in Computer Science 3365

ページ : 110-125

「研究成果報告書概要(和文)」より

査読あり

工藤晋太郎, 加藤紀夫, 上田和紀

情報科学技術レターズ

ページ : 9-12

K.Ueda

Proc.Workshop on Algebraic Process Calculi, The First Twenty Years(PA'05), BRICS Notes Series NS-05-3

ページ : 227-230

K.Ueda, N.Kato

Proc.Fifth Int.Workshop on Membrane Computing(WMC 2004)(LNCS, Springer)

ページ : 110-125

櫻井健, 加藤紀夫, 水野謙, 上田和紀

第4回情報科学技術フォーラム(FIT2005) 第一分冊

ページ : 33-36

水野謙, 加藤紀夫, 原耕司, 上田和紀

日本ソフトウエア科学会第22回大会講演論文集 3A-4

乾敦行, 原耕司, 水野謙, 上田和紀

第8回プログラミングおよびプログラミング言語ワークショップ論文集

ページ : 120-133

工藤 晋太郎, 加藤 紀夫, 上田 和紀

情報科学技術レターズ 4

ページ : 9-12

「研究成果報告書概要(和文)」より

査読あり

Ueda, K, Kato, N. LMNtal

Lecture Notes in Computer Science Vol.3365

ページ : 110-125

「研究成果報告書概要(欧文)」より

Kudo, S. Kato, N., Ueda, K.

Information Technology Letters Vol.4

ページ : 9-12

「研究成果報告書概要(欧文)」より

Kazunori Ueda, Norio Kato

Lecture Notes in Computer Science, Springer-Verlag 3365

Kazunori Ueda, Norio Kato

Proc.Fifth Workshop on Membrane Computing, Lecture Notes in Computer Science 3365

Kazunori Ueda, Norio Kato

Proc.Fifth Workshop on Membrane Computing

ページ : 65-79

中島求, 加藤紀夫, 水野謙, 上田和紀

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

ページ : 149-153

加藤紀夫, 水野謙, 上田和紀

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

ページ : 159-163

加藤 紀夫, 上田 和紀

情報処理学会第50回プログラミング研究会(SWoPP2004) 7月

大橋智昭, 上田和紀

先進的計算基盤シンポジウムSACSIS2004

ページ : 147-148

大橋智昭, 稲垣良一, 上田和紀

情報処理学会研究報告,2004-HPC99-5(SWoPP2004)

ページ : 25-30

原, 水野, 矢島, 永田, 中島, 加藤, 上田

情報処理学会第50回プログラミング研究会(SWoPP2004) 7月

加藤紀夫, 水野謙, 上田和紀

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

ページ : 159-163

中島求, 加藤紀夫, 水野謙, 上田和紀

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

ページ : 149-153

Kazunori Ueda, Norio Kato

Proc.Fifth Workshop on Membrane Computing

ページ : 65-79

上田和紀, 他

コンピュータソフトウェア 21巻・2号

ページ : 44-60

「研究成果報告書概要(和文)」より

上田和紀, 加藤紀夫

コンピュータソフトウェア 21巻・2号

ページ : 44-60

加藤紀夫, 上田和紀

情報処理学会第50回プログラミング研究会(SWoPP2004)

Kazunori Ueda, et al.

Computer Software Vol.21 No.2

ページ : 44-60

「研究成果報告書概要(欧文)」より

市川祐輔, 上田和紀

情報科学技術レターズ Vol.6

佐藤 柾史，上田 和紀

2018年度人工知能学会全国大会

増田健太，松本翔太，上田和紀

情報処理学会第80回全国大会

増田健太，上田和紀

2018年度人工知能学会全国大会

小山峻平，上田和紀

情報処理学会第80回全国大会

Kazunori Ueda

Summer School of Cyber-Physical Systems

国際共著/国際学会である / 招待講演

松澤 望，上田 和紀

第19回プログラミングおよびプログラミング言語ワークショップ

笛吹市

2017-03-09

柳川 峻広, 上田 和紀

第19回プログラミングおよびプログラミング言語ワークショップ

笛吹市

2017-03-08

恒川 雄太郎, 上田 和紀

第19回プログラミングおよびプログラミング言語ワークショップ

笛吹市

2017-03-09

松本翔太，別納健市，増田健太，上田和紀

2017年度 人工知能学会全国大会

松本翔太，上田和紀

電子情報通信学会ソフトウェアサイエンス研究会 (SS2015-60)

金沢

2016-01-25

Alimujiang Yasen and Kazunori Ueda

10th International Symposium on Theoretical Aspects of Software Engineering (TASE 2016)

上海

2016-07-17

国際共著/国際学会である

伊藤剛史，松本翔太，上田和紀

情報処理学会第78回全国大会

慶應義塾大学

2016-03-11

Kenichi Betsuno, Shota Matsumoto, and Kazunori Ueda

Sixth International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems

Pittsburg, USA

2016-10-06

国際共著/国際学会である

Alimujiang Yasen and Kazunori Ueda

10th International Symposium on Theoretical Aspects of Software Engineering

Shanghai, China

2016-07-18

国際共著/国際学会である

Kazunori Ueda

Thirteenth International Symposium on Functional and Logic Programming (FLOPS 2016)

高知工科大学，高知

2016-03-04

国際共著/国際学会である / 招待講演

恒川 雄太郎，上田 和紀

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

岡山県玉野市

2016-03-07

Shota Matsumoto and Kazunori Ueda

23rd International Symposium on Temporal Representation and Reasoning

Copenhagen, Denmark

2016-10-17

国際共著/国際学会である

Yutaro Tsunekawa, Taichi Tomioka and Kazunori Ueda

First Workshop on Meta-Programming Techniques and Reflection (META'16)

Amsterdam, The Netherlands

2016-10-30

国際共著/国際学会である

小山 峻平 松本 翔太 上田 和紀

2016年度 人工知能学会全国大会

北九州市

2016-06-06

別納 健市 松本 翔太 若槻 祐彰 上田 和紀

2016年度 人工知能学会全国大会

北九州市

2016-06-06

若槻 祐彰 松本 翔太 上田 和紀

2016年度 人工知能学会全国大会

北九州市

2016-06-06

松本 翔太　上田 和紀

日本ソフトウェア科学会第33回大会

仙台市

2016-09-08

冨岡 太一　上田 和紀

日本ソフトウェア科学会第33回大会

仙台市

2016-09-08

Taichi Tomioka and Kazunori Ueda

14th Asian Symposium on Programming Languages and Systems

Hanoi, Vietnam

2016-11-22

国際共著/国際学会である

別納健市，松本翔太，若槻祐彰，上田和紀

情報処理学会第78回全国大会

慶應義塾大学

2016-03-10

松澤 望，上田 和紀

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

岡山県玉野市

2016-03-07

恒川 雄太郎　冨岡 太一　上田 和紀

日本ソフトウェア科学会第33回大会

仙台市

2016-09-07

小山峻平，松本翔太，上田和紀

第14回 ディペンダブルシステムワークショップ (DSW 2016)

函館市

2016-12-14

別納 健市 松本 翔太 若槻 祐彰 上田 和紀

2016年度 人工知能学会全国大会

北九州

2016-06-06

小山 峻平 松本 翔太 上田 和紀

2016年度 人工知能学会全国大会

北九州

2016-06-06

別納健市，松本翔太，若槻祐彰，上田和紀

情報処理学会第78回全国大会

慶應義塾大学，横浜

2016-03-10

松本翔太，上田和紀

電子情報通信学会ソフトウェアサイエンス研究会 (SS2015-60)

早稲田大学，東京

2016-01-25

松本 翔太　上田 和紀

日本ソフトウェア科学会第33回大会

仙台

2016-09-08

若槻 祐彰 松本 翔太 上田 和紀

2016年度 人工知能学会全国大会

北九州

2016-06-06

小山峻平，松本翔太，上田和紀

第14回 ディペンダブルシステムワークショップ (DSW 2016)

函館

2016-12-14

吉元 佑介, 上田 和紀

第17回プログラミングおよびプログラミング言語ワークショップ（PPL2015）

愛媛県松山市

2015-03-04

若槻祐彰，松本翔太，伊藤剛史，和田努，上田和紀

日本ソフトウェア科学会第32回大会

早稲田大学，東京

2015-09-11

和田努，松本翔太，上田和紀

2015年度人工知能学会全国大会

公立はこだて未来大学

2015-05-30

Kazunori Ueda and Yusuke Yoshimoto

APLAS 2015 Workshop on New Ideas and Emerging Results of Programming Languages and Systems

POSTECH, Pohang, Korea

2015-11-29

国際共著/国際学会である

吉元佑介，上田和紀

日本ソフトウェア科学会第32回大会

早稲田大学，東京

2015-09-09

若槻祐彰，松本翔太，伊藤剛史，和田努，上田和紀

日本ソフトウェア科学会第32回大会

早稲田大学，東京

2015-09-11

Kazunori Ueda

Halmstad Colloquium

Halmstad University, Sweden

2014-03-11

Alimujiang Yasen, Kazunori Ueda

日本ソフトウェア科学会 第31回大会

名古屋大学東山キャンパス

2014-09-10

奈良 耕太，上田 和紀

日本ソフトウェア科学会 第31回大会

名古屋大学東山キャンパス

2014-09-08

和田 努，松本 翔太，上田 和紀

第12回 ディペンダブルシステムワークショップ (DSW 2014)

静岡県熱海市

2014-12-17

伊藤 剛史，松本 翔太，上田 和紀

第12回 ディペンダブルシステムワークショップ (DSW 2014)

静岡県熱海市

2014-12-17

若槻 祐彰，松本 翔太，上田 和紀

第12回 ディペンダブルシステムワークショップ (DSW 2014)

静岡県熱海市

2014-12-17

小林 輝哉，河野 文彦，松本 翔太，上田 和紀

2014年度人工知能学会全国大会

愛媛県県民文化会館

2014-05-15

河野 文彦，小林 輝哉，松本 翔太，上田 和紀

日本ソフトウェア科学会第31回大会

名古屋大学東山キャンパス

2014-09-10

吉田 健人，小沼　賢，上田 和紀

電子情報通信学会ディペンダブルコンピューティング研究会

朱鷺メッセ・新潟コンベンションセンター

2014-07-29

松本 翔太，河野 文彦，上田 和紀

2014年度人工知能学会全国大会

愛媛県県民文化会館

2014-05-14

Shota Matsumoto, Kazunori Ueda

The 12th Asian Symposium on Programming Languages and Systems (APLAS 2014)

National Univeristy of Singapore

2014-11-17

Alimujiang Yasen, Kazunori Ueda

12th Asian Symposium on Programming Languages and Systems (APLAS 2014)

National Univeristy of Singapore

2014-11-17

Alimujiang Yasen, 上田和紀

日本ソフトウェア科学会第30回大会

2013-09-11

宮原和大, 上田和紀

日本ソフトウェア科学会第30回大会

2013-09-13

松本翔太, 上田和紀

日本ソフトウェア科学会第30回大会

2013-09-12

Yuuki Shinobu, Yoshinori Tanabe, Kazunori Ueda

11th Asian Symposium on Programming Languages and Systems

2013-12-10

信夫裕貴, 田辺良則, 上田和紀

日本ソフトウェア科学会第30回大会

2013-09-13

和田亮, 松本翔太, 上田和紀

第11回ディペンダブルシステムワークショップ

2013-12-16

河野文彦, 松本翔太, 上田和紀

2013年度人工知能学会全国大会論文集

2013-06-05

Kazuhiro Miyahara and Kazunori Ueda

11th Asian Symposium on Programming Languages and Systems (APLAS 2013)

2013-12-10

目黒学, 谷口直輝, 上田和紀

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

東京

2012-08-24

Shota Matsumoto, Akira Takeguchi, Kazunori Ueda and Hiroshi Hosobe

The 15th International Conference on Hybrid Systems : Computation and Control (HSCC 2012)

Beijing

2012-04-17

竹口輝, 和田亮, 松本翔太, 細部博史, 上田和紀

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

東京

2012-08-22

松本翔太, 上田和紀

日本ソフトウェア科学会第29回大会論文集5C-4

東京

2012-08-24

目黒学, 宮原和大, 上田和紀

第10回ディペンダブルシステムワークショップ(DSW2012)

神戸

2012-12-11

高田賢士郎,渋谷俊,細部博史,上田和紀

情報処理学会第73回全国大会

2011-03-02

竹口輝, 松本翔太, 上田和紀

ディペンダブルシステムワークショップ&シンポジウム(DSW&DSS2011)論文集

京都

2011-12-14

松本翔太,高田賢士郎,細部博史,上田和紀

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

札幌

2011-03-09

目黒学, 中川遼平, 上田和紀

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

北海道札幌市 定山渓ビューホテル

2011-03-09

高田賢士郎, 渋谷俊, 細部博史, 上田和紀

情報処理学会第73回全国大会

東工大大岡山キャンパス

2011-03-02

松本翔太, 高田賢士郎, 細部博史, 上田和紀

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

札幌

2011-03-09

小川誠司, 目黒学, 上田和紀

2011年度人工知能学会全国大会(第25回)論文集

盛岡

2011-06-01

山根裕二, 徐暁雋, 上田和紀

2011年度人工知能学会全国大会

盛岡(岩手県)

2011-06-03

清水涼子, 川端聡基, 上田和紀

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

那覇

2011-09-28

竹口輝, 松本翔太, 上田和紀

ディペンダブルシステムワークショップ&シンポジウム(DSW & DSS 2011)

京都工芸繊維大学(京都府)

2011-12-14

川端聡基, 上田和紀

ディペンダブルシステムワークショップ&シンポジウム(DSW & DSS 2011

京都工芸繊維大学(京都府)

2011-12-14

Manabu Meguro, Seiji Ogawa, Kazunori Ueda

The Ninth Asian Symposium on Programming Languages and Systems (APLAS 2011)

Kenting (Taiwan)

2011-12-06

K.Sakuraba, K.Ueda, H.Hosobe, S.Shibuya, S.Matsumoto

The Ninth Asian Symposium on Programming Languages and Systems (APLAS 2011)

Kenting (Taiwan)

2011-12-06

徐暁雋, 山根裕二, 上田和紀

2011年並列/分散/協調処理に関する『鹿児島』サマー・ワークショップ

鹿児島(鹿児島県)

2011-07-28

小川誠司, 目黒学, 上田和紀

2011年度人工知能学会全国大会

盛岡(岩手県)

2011-06-02

清水涼子, 川端聡基, 上田和紀

日本ソフトウェア科学会大会第28回大会

那覇(沖縄県)

2011-09-28

松本翔太, 桜庭翔, 高田賢士郎, 細部博史, 上田和紀

日本ソフトウェア科学会大会第28回大会

那覇(沖縄県)

2011-09-29

上田和紀,細部博史,石井大輔

日本ソフトウェア科学会第27回大会

津田塾大学

2010-09-14

渋谷俊,高田賢士郎,細部博史,上田和紀

日本ソフトウェア科学会第27回大会

津田塾大学

2010-09-13

後町将人, 上田和紀

2010年並列/分散/協調処理に関する『金沢』サマー・ワークショップSWOPP 金沢2010

石川県金沢市石川県金沢市金沢市文化ホール

2010-08-04

高田賢士郎,廣瀬賢一,大谷順司,石井大輔,細部博史,上田和紀

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

香川県琴平温泉

2010-03-04

高田賢士郎, 廣瀬賢一, 大谷順司, 石井大輔, 細部博史, 上田和紀

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

香川県琴平温泉

川端聡基, 小林史佳, 上田和紀

2010年度人工知能学会全国大会(第24回)

長崎県長崎市 長崎ブリックホール

渋谷俊, 高田賢士郎, 細部博史, 上田和紀

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

津田塾大学

2010-09-13

渋谷俊, 高田賢士郎, 上田和紀

第8回ディペンダブルシステムワークショップ論文集

函館

2010-07-22

上田和紀, 細部博史, 石井大輔

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

津田塾大学

2010-09-14

大谷順司,廣瀬賢一,石井大輔,細部博史,上田和紀

情報処理学会創立50周年記念(第72回)全国大会

東京大学

2010-03-09

綾野貴之, 上田和紀

第8回ディペンダブルシステムワークショップ論文集

北海道函館市 函館大沼プリンスホテル

2010-07-20

渋谷俊,高田賢士郎,上田和紀,細部博史

第8回ディペンダブルシステムワークショップ

函館

2010-07-22

川端聡基, 小林史佳, 上田和紀

2010年並列/分散/協調処理に関する『金沢』サマー・ワークショップSWOPP 金沢2010

金沢市文化ホール

2010-08-04

後町将人, 堀泰祐, 上田和紀

日本ソフトウェア科学会第27回大会

東京都 津田塾大学

大谷順司, 廣瀬賢一, 石井大輔, 細部博史, 上田和紀

情報処理学会創立50周年記念(第72回)全国大会

東京大学

K.Ohmura, K.Ueda

12th Int' l Conf on Theory and Applications of Satisfiability Testing (SAT 2009)

Swansea (Wales).

2009-07-03

大谷順司, 廣瀬賢一, 石井大輔, 上田和紀

第6回ディペンダブルシステムシンポジウム

大阪大学

Kazunori Ueda, Takayuki Ayano, Taisuke Hori, Hiroki Iwasawa, Seiji Ogawa

International Colloquium on Theoret-ical Aspects of Computing, 349-355

Kei Ohmura, Kazunori Ueda

International Conference on Theory and Applications of Satisfiability Testing, 524-537

石井大輔,上田和紀,細部博史

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

横浜

石井大輔, 上田和紀, 細部博史

2nd International Conference on Simulation Tools and Techniques (SIMUTools'09)

ローマ

2009-03-04

廣瀬賢一,大谷順司,石井大輔,細部博史,上田和紀

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

高山

2009-03-10

石井大輔, 上田和紀, 細部博史

Workshop on Verified Software : Theory, Tools, and Experiments (VSTTE'09)

オランダ・アイントホーフェン

2009-11-02

廣瀬賢一,大谷順司,石井大輔,細部博史,上田和紀

日本ソフトウェア科学会第26回大会

島根大学

2009-09-16

大谷順司,廣瀬賢一,石井大輔,上田和紀

第6回ディペンダブルシステムシンポジウム

大阪大学

2009-12-15

石井大輔, 上田和紀, 細部博史

The 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'09)

スペイン・サラゴサ

2009-09-17

K. Ohmura, K. Ueda

12th Int' l Conf. on Theory and Applications of Satisfiability Testing

Swansea(Wales)

2009-07-03

廣瀬賢一, 大谷順司, 石井大輔, 細部博史, 上田和紀

日本ソフトウェア科学会第26回大会

島根大学

Kazunori Ueda

Sixth International Colloquium on Theoretical Aspects of Computing(ICTAC 2009)

Kuala Lumpur, Malaysia

2009-08-20

Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe, Alexandre Goldsztejn

The 3rd IFAC Conference on Analysis and Design of Hybrid Systems(ADHS'09)

スペイン・サラゴサ

廣瀬賢一, 大谷順司, 石井大輔, 細部博史, 上田和紀

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

岐阜県・高山市

2009-03-10

石井大輔, 上田和紀, 細部博史

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

横浜

D. Ishii, K. Ueda, H. Hosobe

2nd International Conference on Simulation Tools and Techniques (SIMUTools'09)

イタリア・ローマ

2009-03-04

Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe

Workshop on Verified Software : Theory, Tools, and Experiments(VSTTE'09)

オランダ・アイントホーフェン

Kazunori Ueda

International Conference on Rewriting Techniques and Applications, 392-408

上田和紀,石井大輔,細部博史

日本ソフトウェア科学会第25回大会

筑波大学

2008-09-11

上田和紀,石井大輔,細部博史

第5回システム検証の科学技術シンポジウム(SSV'08)

筑波大学

2008-11-17

大野善之, 石井大輔, 上田和紀

人工知能学会第22回全国大会

北海道・旭川市

2008-06-11

石井大輔,上田和紀,細部博史

第6回ディペンダブルシステムワークショップ(DSW'08summer)

函館

2008-07-03

上田和紀, 石井大輔, 細部博史

日本ソフトウェア科学会第25回大会

東京・筑波大学

2008-09-11

上田和紀, 石井大輔, 細部博史

第5回システム検証の科学技術シンポジウム(SSV'08)

筑波・筑波大学

2008-11-17

Kazunori Ueda

19th Int. Conf. on Rewriting Techniques and Applications

Hagenberg

Kazunori Ueda

19th International Conference on Rewriting Techniques and Applications

Hagenberg(Austria)

2008-07-01

Kazunori Ueda

Egypt-Japan University of Science and Technology(E-JUST) First Symposium

Alexandria(Egypt)(招特待講演)

2008-11-01

大野善之,石井大輔,上田和紀

人工知能学会第22回全国大会

旭川

2008-06-11

廣瀬賢一,石井大輔,上田和紀

FIT2008 第7 回情報科学技術フォーラム

慶応義塾大学

2008-09-03

廣瀬賢一, 石井大輔, 上田和紀

FIT2008 第7回情報科学技術フォーラム

慶応義塾大学

2008-09-03

石井大輔, 上田和紀, 細部博史

第6回ディペンダブルシステムワークシヨツプ(DSW' 08summer)

北海道・函館

2008-07-03

Ueda, K.

Ninth Workshop on Programming and Programming Languages (PPL2007)

Kaga, Japan

「研究成果報告書概要(欧文)」より

中野 敦, 上田 和紀

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

加賀市

「研究成果報告書概要(和文)」より

上田 和紀

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

加賀市

「研究成果報告書概要(和文)」より

Ueda, K., Kato, N., Hara, K., Mizuno, K.

Third workshop on Constraint Handling Rules(CHR 2006)

Venezia, Italy

「研究成果報告書概要(欧文)」より

Ueda, K., Kato, N., Hara, K., Mizuno, K.

22nd Int. Conf. on Logic Programming(ICLP'06)

Seattle, USA

「研究成果報告書概要(欧文)」より

上田 和紀

日本ソフトウェア科学会第23回大会

文京区

「研究成果報告書概要(和文)」より

Ueda, K.

LIX Colloquium on Emerging Trends in Concurrency Theory

Paris, France

「研究成果報告書概要(欧文)」より

水野 謙, 上田 和紀

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

大津市

「研究成果報告書概要(和文)」より

工藤 晋太郎, 乾敦 行, 櫻井 健, 上田 和紀

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

大津市

「研究成果報告書概要(和文)」より

乾敦 行, 原 耕司, 水野 謙, 上田 和紀

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

大津市

「研究成果報告書概要(和文)」より

Ueda, K.

LIX Colloquium on Emerging Trends in Concurrency Theory

Paris,France

「研究成果報告書概要(和文)」より

Ueda, K., Kato, N., Hara, K. and Mizuno, K.

22nd Int. Conf.on Logic Programming (ICLP'06)

Seattle,USA

「研究成果報告書概要(和文)」より

Ueda, K., Kato, N., Hara, K. and Mizuno, K.

Third workshop on Constraint Handling Rules(CHR 2006)

Venezia,Italy

「研究成果報告書概要(和文)」より

Ueda, K.

The Summer Programming Symposium 2005, IPSJ

Hakodate, Japan

「研究成果報告書概要(欧文)」より

圷弘 明, 加藤 紀夫, 上田 和紀

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

群馬県水上町

「研究成果報告書概要(和文)」より

中島 求, 加藤 紀夫, 水野 謙, 上田 和紀

第8回プログラミングおよび応用のシステムに関するワークショップ(SPA 2005)

渋川市

「研究成果報告書概要(和文)」より

Ueda, K.

Workshop on Algebraic Process Calculi, The First Twenty Years(PA'05)

Bertinolo,Italy

「研究成果報告書概要(和文)」より

矢島 伸吾, 加藤 紀夫, 上田 和紀

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

群馬県水上町

「研究成果報告書概要(和文)」より

櫻井 健, 加藤 紀夫, 水野 謙, 上田 和紀

第4回情報科学技術フォーラム(FIT2005)

文京区

「研究成果報告書概要(和文)」より

上田 和紀

夏のプログラミングシンポジウム「アッと驚くプログラミング」, 情報処理学会

函館市

「研究成果報告書概要(和文)」より

Ueda, K

Workshop on Algebraic Process Calculi, The First Twenty Years(PA'05)

Bertinolo, Italy

「研究成果報告書概要(欧文)」より

水野 謙, 加藤 紀夫, 原 耕司, 上田 和紀

日本ソフトウェア科学会第22回大会

仙台市

「研究成果報告書概要(和文)」より

Ueda, K. and Kato, N.

Fifth Workshop on Membrane Computing

Milano,Italy

「研究成果報告書概要(和文)」より

原 耕司, 水野 謙, 矢島 伸吾, 永田 貴彦, 中島 求, 加藤 紀夫, 上田 和紀

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

青森市

「研究成果報告書概要(和文)」より

加藤 紀夫, 上田 和紀

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

青森市

「研究成果報告書概要(和文)」より

加藤 紀夫, 水野 謙, 上田 和紀

日本ソフトウェア科学会第21回大会

目黒区

「研究成果報告書概要(和文)」より

中島 求, 加藤 紀夫, 水野 謙, 上田 和紀

日本ソフトウェア科学会第21回大会

目黒区

「研究成果報告書概要(和文)」より

Ueda, K., Kato, N., LMNtal

Fifth Workshop on Membrane Computing

Milano, Italy

「研究成果報告書概要(欧文)」より

信夫裕貴，田辺良則，上田和紀

日本ソフトウェア科学会第30回大会(JSSST2013)

東京

信夫 裕貴, 上田 和紀

第15回プログラミングおよびプログラミング言語ワークショップ（PPL2013）

会津若松

Yuuki Shinobu, Yoshinori Tanabe, Kazunori Ueda

11th Asian Symposium on Programming Languages and Systems (APLAS 2013)

Melbourne, Australia

Alimujiang Yasen, 上田和紀

日本ソフトウェア科学会第30 回大会(JSSST2013)

東京大学本郷

信夫裕貴，田辺良則，上田和紀

日本ソフトウェア科学会第30 回大会(JSSST2013)

東京大学本郷

Yuuki Shinobu, Yoshinori Tanabe, Kazunori Ueda

11th Asian Symposium on Programming Languages and Systems (APLAS 2013)

Melbourne, Australia

目黒 学, 宮原 和大, 上田 和紀

第10回 ディペンダブルシステムワークショップ (DSW 2012)

神戸

宮原 和大, 上田 和紀

第15回プログラミングおよびプログラミング言語ワークショップ（PPL2013)

会津若松

青山 龍一，上田 和紀

先進的計算基盤システムシンポジウム SACSIS2013

仙台

徐 暁雋，松本 翔太，上田 和紀

2013年度人工知能学会全国大会

富山

Alimujiang Yasen, Kazunori Ueda

日本ソフトウェア科学会第30回大会(JSSST2013)

東京

松本翔太，上田和紀

日本ソフトウェア科学会第30回大会(JSSST2013)

東京

吉田 健人, 上田 和紀

第15回プログラミングおよびプログラミング言語ワークショップ（PPL2013)

会津若松

青山 龍一, 上田 和紀

第15回プログラミングおよびプログラミング言語ワークショップ（PPL2013)

会津若松

安田 竜, 上田 和紀

第15回プログラミングおよびプログラミング言語ワークショップ（PPL2013)

会津若松

安田 竜，上田 和紀，吉田 健人

2013年度人工知能学会全国大会

富山

青山 龍一，上田 和紀

第16回プログラミングおよびプログラミング言語ワークショップ（PPL2014

阿蘇

奈良 耕太，上田 和紀

第16回プログラミングおよびプログラミング言語ワークショップ（PPL2014

阿蘇

和田亮，松本翔太，上田和紀

第11回 ディペンダブルシステムワークショップ (DSW 2013)

熱海

Kazunori Ueda

Halmstad Colloquium

Halmstad, Sweden

招待講演

Kazuhiro Miyahara and Kazunori Ueda

11th Asian Symposium on Programming Languages and Systems (APLAS 2013)

Melbourne, Australia

河野 文彦，松本 翔太，上田 和紀

2013年度人工知能学会全国大会

富山

宮原和大，上田和紀

日本ソフトウェア科学会第30回大会(JSSST2013)

東京

松本 翔太，上田 和紀

日本ソフトウェア科学会第29回大会

東京

目黒 学，谷口 直輝，上田 和紀

日本ソフトウェア科学会第29回大会

東京

Shota Matsumoto, Akira Takeguchi, Kazunori Ueda, Hiroshi Hosobe

15th International Conference on Hybrid Systems: Computation and Control (HSCC 2012)（査読有）

北京、中国

竹口 輝，和田 亮，松本 翔太，細部 博史，上田 和紀

日本ソフトウェア科学会第29回大会

東京

Kazunori Ueda, Shota Matsumoto, Akira Takeguchi, Hiroshi Hosobe, Daisuke Ishii

Second Workshop on Logics for System Analysis (LfSA 2012)（査読有）

Berkeley, CA, USA