上田 和紀  UEDA Kazunori

Proc. 27th International Symposium on Practical Aspects of Declarative Languages (PADL 2025), Lecture Notes in Computer Sceicne

巻: 15537 ページ: 196-214

10.1007/978-3-031-84924-4_13

Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming (PPDP 2024)

巻: 13 ページ: 1-13

10.1145/3678232.3678243

Proc. 34th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2024), Lecture Notes in Computer Science

巻: 14919 ページ: 220-239

10.1007/978-3-031-71294-4_13

Proc. 16th International Conference on Graph Transformation (ICGT 2023), LNCS

巻: 13961 ページ: 263-277

10.1007/978-3-031-36709-0_14

engrxiv.org

巻: -

10.31224/2338

Proc. Twelfth International Workshop on Graph Computation Models (GCM 2021)

巻: - ページ: 93-114

IEEE Access

巻: 9 ページ: 133449-133460

10.1109/access.2021.3112903

Proc. 12th International Conference on Graph Transformation, Lecture Notes in Computer Science

巻: 未定

roc. 12th International Conference on Graph Transformation (ICGT 2019), Lecture Notes in Computer Science

巻: 11629 ページ: 3-20

10.1007/978-3-030-41131-2_8

The Journal of Object Technology

巻: 17

130007424871

Science of Computer Programming

巻: 164 ページ: 3-17

10.1016/j.scico.2017.06.002

IEICE Transactions on Information and Systems

巻: E101.D 号: 4 ページ: 1126-1140

10.1587/transinf.2017EDP7257

130006602304

Science of Computer Programming

巻: 印刷中

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

巻: 10107 ページ: 17-30

10.1007/978-3-319-51738-4_2

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

巻: - ページ: 113-116

10.1109/tase.2016.25

Proc. 23rd International Symposium on Temporal Representation and Reasoning

巻: - ページ: 4-11

10.1109/time.2016.8

40021053484

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

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

130005124827

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

巻: 9613 ページ: 1-11

10.1007/978-3-319-29604-3_1

Electronic Notes in Theoretical Computer Science

巻: 317 ページ: 109-115

10.1016/j.entcs.2015.10.011

人工知能学会論文誌

巻: 29 号: 1 ページ: 182-187

10.1527/tjsai.29.182

130003382429

計測と制御

巻: 53 ページ: 1086-1092

130005626615

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

巻: 30 号: 4 ページ: 4_18-4_35

10.11309/jssst.30.4_18

10031196715

Künstliche Intelligenz

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

10.1007/s13218-011-0162-3

In Logics for System Analysis Workshop (LfSA)

ページ: 3-17

http://www.ls.cs.cmu.edu/LfSA12/LfSA12.pdf

Int.J.Softw.Tools.Technol.Transfer

巻: Vol.13(未定)

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

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

130004892168

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

ページ: 393-399

110008761623

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

40020657265

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

International Journal on Software Tools for Technology Transfer (STTT)

巻: 13 号: 5 ページ: 449-461

10.1007/s10009-011-0193-y

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

ページ: 306-311

130004892168

電子情報通信学会論文誌

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

110008761622

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

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

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

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

40020657265

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

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

10.11309/jssst.28.4_137

130004549234

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

巻: 28 号: 3 ページ: 167-172

10.11309/jssst.28.3_167

130004892187

人工知能学会論文誌

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

130007422581

電子情報通信学会論文誌

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

110008761623

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

ページ: 4-18

10.1007/978-3-642-25044-6_4

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

ページ: 197-203

130000455367

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

ページ: 341-346

130000455385

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

ページ: 197-214

130004549194

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

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

130004549194

人工知能学会論文誌

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

130000455385

Theo-retical Computer Science 410(46)

ページ: 4784-4800

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

ページ: 59-54

110006840401

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

ページ: 124-150

130004549094

Electronic Notes in Theoretical Computer Science Vol.209

ページ: 187-200

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

ページ: 149-159

110006827845

Elec-tronic Notes in Theoretical Computer Science 209

ページ: 187-200

Electronic Notes in Theoretical Computer Science 209

ページ: 187-200

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

ページ: 124-150

130004549094

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

ページ: 149-159

110006827845

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

ページ: 47-77

130004549109

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

ページ: 124-150

130004549094

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

ページ: 47-77

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

ページ: 124-150

130004549094

Electronic Notes in Theoretical Computer Science 209

ページ: 187-200

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

ページ: 47-77

130004549109

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

130004549094

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

ページ: 221-232

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

ページ: 221-232

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

130004549094

The ALP Newsletter Vol.19, No.2

The ALP Newsletter Vol. 19, NO. 2

Electronic Notes in Theoretical Computer Science Vol.162

ページ: 327-331

Proc. Third Workshop on Constraint Handing Rules (CHR2006)

ページ: 1-15

Electronic Notes in Theoretical Computer Science Vol.162

ページ: 227-231

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

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

ページ: 1-15

The ALP News Letter(on line) 19-2

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

Electronic Notes in Theoretical Computer Science Vol. 162

ページ: 327-331

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

Electronic Notes in Theoretical Computer Science 162

ページ: 227-231

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

ページ: 457-458

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

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

ページ: 110-125

情報科学技術レターズ 4

ページ: 9-12

Lecture Notes in Computer Science, Springer-Verlag 3365

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

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

130004638866

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

ページ: 33-36

Lecture Notes in Computer Science 3365

ページ: 110-125

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

130004638866

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

ページ: 110-125

情報科学技術レターズ

ページ: 9-12

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

ページ: 9-12

Lecture Notes in Computer Science Vol.3365

ページ: 110-125

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

ページ: 69-74

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

ページ: 120-133

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

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

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

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

ページ: 227-230

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

ページ: 33-36

Information Technology Letters Vol.4

ページ: 9-12

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

ページ: 69-74

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

ページ: 25-30

110002914106

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

ページ: 147-148

110002914106

Proc.Fifth Workshop on Membrane Computing

ページ: 65-79

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

110002768705

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

ページ: 44-60

110003743161

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

ページ: 159-163

40022143215

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

110002768703

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

ページ: 159-163

130005006595

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

ページ: 44-60

110003743161

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

ページ: 149-153

130005006593

Proc.Fifth Workshop on Membrane Computing

ページ: 65-79

Computer Software Vol.21 No.2

ページ: 44-60

110003743161

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

ページ: 149-153

130005006593

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

110002768703

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

https://sites.google.com/site/jssstdsw/dsw2012