上田 和紀  UEDA Kazunori

Kazunori Ueda

26

Springer-Verlag

Kazunori Ueda

26

Springer-Verlag

Kazunori Ueda

26

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

Kazunori Ueda et al.

447

Springer Verlag

Kazunori Ueda

26

Towards a Substrate Framework of Computation

Kazunori Ueda

26

Towards a Substrate Framework of Computation

Kazunori Ueda

Science of Computer Programming

巻: 印刷中

謝辞記載あり / 査読あり

Kenichi Betsuno, Shota Matsumoto, and Kazunori Ueda

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

巻: 10107 ページ: 17-30

謝辞記載あり / 査読あり

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

Shota Matsumoto and Kazunori Ueda

23rd International Symposium on Temporal Representation and Reasoning

巻: - ページ: 4-11

謝辞記載あり / 査読あり

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

Alimujiang Yasen and Kazunori Ueda

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

巻: - ページ: 113-116

謝辞記載あり / 査読あり

宮原和大，上田和紀

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

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

0289-6540

日本語

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

Kazunori Ueda

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

巻: 9613 ページ: 1-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 号: 1 ページ: 182-187

1346-0714, 1346-8030

日本語

査読あり

石井大輔, 上田和紀

計測と制御

巻: 53 ページ: 1086-1092

査読あり

松本翔太, 上田和紀

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

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

0289-6540

日本語

査読あり

Kazunori Ueda and Seiji Ogawa

Künstliche Intelligenz

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

査読あり

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

In Logics for System Analysis Workshop (LfSA)

ページ: 3-17

Daisuke Ishii, Kazunori Ueda, Hiroshi Hosebe

Int.J.Softw.Tools.Technol.Transfer

巻: Vol.13(未定)

査読あり

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

Int.J.Softw.Tools.Technol.Transfer

巻: 13 ページ: 449-461

査読あり

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

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

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

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

査読あり

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

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

ページ: 306-311

査読あり

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

電子情報通信学会論文誌

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

査読あり

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

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

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

査読あり

Suguru Ueda, Makoto Kitaki, Atsushi Iwasaki, Makoto Yokoo

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

ページ: 393-399

査読あり

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

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

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

0289-6540

査読あり

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

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

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

査読あり

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

人工知能学会論文誌

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

査読あり

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

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

査読あり

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

電子情報通信学会論文誌

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

査読あり

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. 3 号: 3 ページ: 167-172

0289-6540

査読あり

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

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

ページ: 197-214

査読あり

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

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

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

査読あり

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

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

ページ: 197-203

査読あり

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

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

ページ: 341-346

査読あり

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

人工知能学会論文誌

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

査読あり

Kazunori Ueda

Theo-retical Computer Science 410(46)

ページ: 4784-4800

査読あり

上田和紀

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

ページ: 59-54

査読あり

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

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

ページ: 47-77

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

査読あり

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

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

ページ: 124-150

査読あり

Ueda K.

Electronic Notes in Theoretical Computer Science Vol.209

ページ: 187-200

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

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

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

ページ: 149-159

査読あり

Kazunori Ueda

Elec-tronic Notes in Theoretical Computer Science 209

ページ: 187-200

査読あり

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

コンピュータソフトウェア 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

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

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

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

ページ: 124-150

査読あり

Ueda, K.

Electronic Notes in Theoretical Computer Science 209

ページ: 187-200

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

査読あり

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

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

ページ: 124-150

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

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

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

ページ: 149-159

査読あり

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

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

ページ: 47-77

査読あり

Kazunori Ueda

Electronic Notes in Theoretical Computer Science 209

ページ: 187-200

査読あり

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

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

上田和紀

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

ページ: 221-232

上田和紀

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

ページ: 221-232

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

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

Ueda, K.

Electronic Notes in Theoretical Computer Science 162

ページ: 227-231

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

査読あり

Kazunori Ueda

Electronic Notes in Theoretical Computer Science Vol. 162

ページ: 327-331

Ueda, K

Electronic Notes in Theoretical Computer Science Vol.162

ページ: 227-231

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

Ueda, K

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

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

上田和紀

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

Kazunori Ueda, Norio Kato, Koji Hara, Ken Mizuno

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

ページ: 1-15

Kazunori Ueda

The ALP Newsletter Vol.19, No.2

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

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

ページ: 457-458

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

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

Ueda, K.

The ALP News Letter(on line) 19-2

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

上田和紀

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

Kazunori Ueda

The ALP Newsletter Vol. 19, NO. 2

Kazunori Ueda

Electronic Notes in Theoretical Computer Science Vol.162

ページ: 327-331

kazunori Ueda, Norio Kato, Koji Hara, Ken Mizuno

Proc. Third Workshop on Constraint Handing Rules (CHR2006)

ページ: 1-15

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

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

ページ: 9-12

Kazunori Ueda, Norio Kato

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

ページ: 110-125

Kazunori Ueda, Norio Kato

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

Ueda, K, Kato, N. LMNtal

Lecture Notes in Computer Science Vol.3365

ページ: 110-125

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

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

情報科学技術レターズ 4

ページ: 9-12

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

査読あり

Ueda, K. and Kato, N

Lecture Notes in Computer Science 3365

ページ: 110-125

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

査読あり

上田和紀

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

ページ: 69-74

K.Ueda

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

ページ: 227-230

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

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

ページ: 120-133

Kazunori Ueda, Norio Kato

Lecture Notes in Computer Science, Springer-Verlag 3365

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

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

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) 第一分冊

ページ: 33-36

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

Information Technology Letters Vol.4

ページ: 9-12

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

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

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

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

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

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

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

K.Ueda, N.Kato

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

ページ: 110-125

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

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

ページ: 33-36

上田和紀

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

ページ: 69-74

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

情報科学技術レターズ

ページ: 9-12

大橋智昭, 上田和紀

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

ページ: 147-148

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

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

ページ: 149-153

加藤 紀夫, 上田 和紀

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

Kazunori Ueda, Norio Kato

Proc.Fifth Workshop on Membrane Computing

ページ: 65-79

Kazunori Ueda, Norio Kato

Proc.Fifth Workshop on Membrane Computing

ページ: 65-79

Kazunori Ueda, et al.

Computer Software Vol.21 No.2

ページ: 44-60

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

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

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

上田和紀, 加藤紀夫

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

ページ: 44-60

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

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

ページ: 149-153

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

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

ページ: 159-163

上田和紀, 他

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

ページ: 44-60

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

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

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

ページ: 25-30

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

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

ページ: 159-163

加藤紀夫, 上田和紀

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

市川祐輔, 上田和紀

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

小山峻平，上田和紀

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

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

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

増田健太，上田和紀

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

佐藤 柾史，上田 和紀

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

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

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

恒川 雄太郎, 上田 和紀

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

笛吹市

2017-03-09

Kazunori Ueda

Summer School of Cyber-Physical Systems

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

柳川 峻広, 上田 和紀

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

笛吹市

2017-03-08

松澤 望，上田 和紀

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

笛吹市

2017-03-09

Yutaro Tsunekawa, Taichi Tomioka and Kazunori Ueda

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

Amsterdam, The Netherlands

2016-10-30

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

Kenichi Betsuno, Shota Matsumoto, and Kazunori Ueda

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

Pittsburg, USA

2016-10-06

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

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

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

北九州

2016-06-06

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

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

北九州市

2016-06-06

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

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

函館市

2016-12-14

Kazunori Ueda

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

高知工科大学，高知

2016-03-04

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

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

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

慶應義塾大学

2016-03-10

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

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

北九州

2016-06-06

Taichi Tomioka and Kazunori Ueda

14th Asian Symposium on Programming Languages and Systems

Hanoi, Vietnam

2016-11-22

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

松澤 望，上田 和紀

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

岡山県玉野市

2016-03-07

松本 翔太　上田 和紀

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

仙台

2016-09-08

恒川 雄太郎，上田 和紀

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

岡山県玉野市

2016-03-07

Shota Matsumoto and Kazunori Ueda

23rd International Symposium on Temporal Representation and Reasoning

Copenhagen, Denmark

2016-10-17

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

松本 翔太　上田 和紀

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

仙台市

2016-09-08

冨岡 太一　上田 和紀

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

仙台市

2016-09-08

Alimujiang Yasen and Kazunori Ueda

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

上海

2016-07-17

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

松本翔太，上田和紀

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

金沢

2016-01-25

Alimujiang Yasen and Kazunori Ueda

10th International Symposium on Theoretical Aspects of Software Engineering

Shanghai, China

2016-07-18

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

松本翔太，上田和紀

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

早稲田大学，東京

2016-01-25

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

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

慶應義塾大学，横浜

2016-03-10

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

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

慶應義塾大学

2016-03-11

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

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

北九州

2016-06-06

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

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

北九州市

2016-06-06

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

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

北九州市

2016-06-06

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

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

仙台市

2016-09-07

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

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

函館

2016-12-14

吉元佑介，上田和紀

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

早稲田大学，東京

2015-09-09

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

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

早稲田大学，東京

2015-09-11

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

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

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

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

公立はこだて未来大学

2015-05-30

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

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

早稲田大学，東京

2015-09-11

吉元 佑介, 上田 和紀

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

愛媛県松山市

2015-03-04

Shota Matsumoto, Kazunori Ueda

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

National Univeristy of Singapore

2014-11-17

奈良 耕太，上田 和紀

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

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

2014-09-08

Kazunori Ueda

Halmstad Colloquium

Halmstad University, Sweden

2014-03-11

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

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

愛媛県県民文化会館

2014-05-15

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

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

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

2014-07-29

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

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

愛媛県県民文化会館

2014-05-14

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

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

静岡県熱海市

2014-12-17

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

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

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

2014-09-10

Alimujiang Yasen, Kazunori Ueda

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

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

2014-09-10

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

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

静岡県熱海市

2014-12-17

Alimujiang Yasen, Kazunori Ueda

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

National Univeristy of Singapore

2014-11-17

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

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

静岡県熱海市

2014-12-17

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

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

2013-06-05

松本翔太, 上田和紀

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

2013-09-12

Yuuki Shinobu, Yoshinori Tanabe, Kazunori Ueda

11th Asian Symposium on Programming Languages and Systems

2013-12-10

Kazuhiro Miyahara and Kazunori Ueda

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

2013-12-10

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

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

2013-09-13

Alimujiang Yasen, 上田和紀

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

2013-09-11

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

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

2013-12-16

宮原和大, 上田和紀

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

2013-09-13

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

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

東京

2012-08-22

松本翔太, 上田和紀

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

東京

2012-08-24

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

日本ソフトウェア科学会第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

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

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

神戸

2012-12-11

Manabu Meguro, Seiji Ogawa, Kazunori Ueda

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

Kenting (Taiwan)

2011-12-06

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

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

盛岡(岩手県)

2011-06-03

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

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

東工大大岡山キャンパス

2011-03-02

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

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

那覇

2011-09-28

川端聡基, 上田和紀

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

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

2011-12-14

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

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

那覇(沖縄県)

2011-09-29

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

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

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

那覇(沖縄県)

2011-09-28

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

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

盛岡(岩手県)

2011-06-02

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

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

鹿児島(鹿児島県)

2011-07-28

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

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

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

2011-03-09

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

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

京都

2011-12-14

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

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

2011-03-02

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

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

札幌

2011-03-09

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

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

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

2011-12-14

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

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

盛岡

2011-06-01

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

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

東京大学

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

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

香川県琴平温泉

2010-03-04

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

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

津田塾大学

2010-09-14

綾野貴之, 上田和紀

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

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

2010-07-20

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

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

津田塾大学

2010-09-13

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

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

函館

2010-07-22

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

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

香川県琴平温泉

後町将人, 上田和紀

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

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

2010-08-04

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

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

函館

2010-07-22

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

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

東京大学

2010-03-09

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

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

東京都 津田塾大学

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

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

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

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

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

津田塾大学

2010-09-14

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

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

津田塾大学

2010-09-13

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

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

金沢市文化ホール

2010-08-04

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

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

大阪大学

2009-12-15

Kei Ohmura, Kazunori Ueda

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

Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe

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

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

Kazunori Ueda

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

Kuala Lumpur, Malaysia

2009-08-20

D. Ishii, K. Ueda, H. Hosobe

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

イタリア・ローマ

2009-03-04

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

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

横浜

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

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

高山

2009-03-10

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

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

ローマ

2009-03-04

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

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

スペイン・サラゴサ

2009-09-17

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

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

岐阜県・高山市

2009-03-10

K. Ohmura, K. Ueda

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

Swansea(Wales)

2009-07-03

Daisuke Ishii, Kazunori Ueda, Hiroshi Hosobe, Alexandre Goldsztejn

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

スペイン・サラゴサ

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

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

島根大学

2009-09-16

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

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

K.Ohmura, K.Ueda

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

Swansea (Wales).

2009-07-03

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

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

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

2009-11-02

Kazunori Ueda

19th Int. Conf. on Rewriting Techniques and Applications

Hagenberg

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

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

筑波大学

2008-09-11

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

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

北海道・旭川市

2008-06-11

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

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

筑波大学

2008-11-17

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

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

北海道・函館

2008-07-03

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

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

東京・筑波大学

2008-09-11

Kazunori Ueda

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

Alexandria(Egypt)(招特待講演)

2008-11-01

Kazunori Ueda

International Conference on Rewriting Techniques and Applications, 392-408

Kazunori Ueda

19th International Conference on Rewriting Techniques and Applications

Hagenberg(Austria)

2008-07-01

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

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

旭川

2008-06-11

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

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

筑波・筑波大学

2008-11-17

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

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

慶応義塾大学

2008-09-03

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

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

慶応義塾大学

2008-09-03

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

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

函館

2008-07-03

上田 和紀

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

加賀市

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

Ueda, K.

Ninth Workshop on Programming and Programming Languages (PPL2007)

Kaga, Japan

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

中野 敦, 上田 和紀

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

加賀市

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

Ueda, K., Kato, N., Hara, K., 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

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

水野 謙, 上田 和紀

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

大津市

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

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

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

Seattle,USA

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

上田 和紀

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

文京区

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

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

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

大津市

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

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

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

大津市

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

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

Third workshop on Constraint Handling Rules(CHR 2006)

Venezia, Italy

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

Ueda, K.

LIX Colloquium on Emerging Trends in Concurrency Theory

Paris, France

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

Ueda, K.

LIX Colloquium on Emerging Trends in Concurrency Theory

Paris,France

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

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

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

群馬県水上町

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

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

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

仙台市

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

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

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

文京区

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

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

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

渋川市

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

Ueda, K

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

Bertinolo, Italy

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

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

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

群馬県水上町

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

Ueda, K.

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

Bertinolo,Italy

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

Ueda, K.

The Summer Programming Symposium 2005, IPSJ

Hakodate, Japan

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

上田 和紀

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

函館市

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

Ueda, K., Kato, N., LMNtal

Fifth Workshop on Membrane Computing

Milano, Italy

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

加藤 紀夫, 上田 和紀

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

青森市

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

Ueda, K. and Kato, N.

Fifth Workshop on Membrane Computing

Milano,Italy

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

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

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

目黒区

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

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

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

青森市

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

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

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

目黒区

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

Alimujiang Yasen, Kazunori Ueda

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

東京

宮原 和大, 上田 和紀

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

会津若松

Kazunori Ueda

Halmstad Colloquium

Halmstad, Sweden

招待講演

青山 龍一，上田 和紀

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

阿蘇

青山 龍一, 上田 和紀

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

会津若松

青山 龍一，上田 和紀

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

仙台

Alimujiang Yasen, 上田和紀

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

東京大学本郷

Kazuhiro Miyahara and Kazunori Ueda

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

Melbourne, Australia

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

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

Berkeley, CA, USA

松本翔太，上田和紀

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

東京

奈良 耕太，上田 和紀

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

阿蘇

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

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

東京

Yuuki Shinobu, Yoshinori Tanabe, Kazunori Ueda

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

Melbourne, Australia

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

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

富山

Yuuki Shinobu, Yoshinori Tanabe, Kazunori Ueda

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

Melbourne, Australia

宮原和大，上田和紀

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

東京

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

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

東京

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

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

富山

Shota Matsumoto, Akira Takeguchi, Kazunori Ueda, Hiroshi Hosobe

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

北京、中国

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

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

東京大学本郷

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

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

富山

松本 翔太，上田 和紀

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

東京

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

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

東京

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

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

神戸

信夫 裕貴, 上田 和紀

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

会津若松

安田 竜, 上田 和紀

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

会津若松

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

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

熱海

吉田 健人, 上田 和紀

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

会津若松