[11]

加藤紀夫, 水野謙, 上田和紀: 言語モデルLMNtalの操作的意味論の設計, 日本ソフトウェア科学会第21回大会論文集, 2004.

[10]

加藤紀夫, 上田和紀: 階層グラフ書換え言語における並行プロセスの型推論, 第50回情報処理学会プログラミング研究会 発表資料, 2004.

[9]

加藤紀夫, 上田和紀: 並行言語モデルLMNtalにおけるプロセス構造の解析, プログラミングおよびプログラミング言語ワークショップ (PPL2004) 発表論文集, pp. 217--222, 2004.

[8]

加藤紀夫, 上田和紀: LMNtalプロセスの振舞いの定式化, 日本ソフトウェア科学会第20回記念大会論文集, pp. 16--20, 2003.

[7]

加藤紀夫, 上田和紀: モード制約の漸近的一様補強による並行論理プログラムのoccurs-check解析, 日本ソフトウェア科学会第19回大会論文集, 2002.

[6]

Kato, N. and Ueda, K.: Sequentiality Analysis for Concurrent Logic Programs. Proc. of the 6th World Multiconference on Systemics, Cybernetics and Informatics (SCI 2002), Vol. 11, pp. 329--336, 2002.

[5]

Kato, N. and Ueda, K.: Optimizing Compilation of Concurrent Logic Programs Directed by Interface Analysis. The 2nd APLAS Workshop, pp. 237--250, 2001.

[4]

加藤紀夫, 上田和紀: インタフェースに基づく並行論理プログラム最適化コンパイラの構成法, 情報処理学会プログラミング研究会 (IPSJ PRO) 発表資料, 2001.
同, ソフトウェア科学会全国大会発表論文集, 2001.

[3]

加藤紀夫, 上田和紀: 並行論理プログラムにおける逐次実行部分の抽出方法論, プログラミングおよびプログラミング言語ワークショップ (PPL2001) 発表論文集, pp. 2--13, 2001.

[2]

加藤紀夫, 加藤昇嗣, 上田和紀: 並行論理プログラムの静的occur-checkerの設計と実装, 情報処理学会全国大会一般講演論文集 2V-05, 2000.

[1]

加藤紀夫, 上田和紀: 並行論理型言語における同期ポイントの移動の安全性について, 情報処理学会論文誌: プログラミング, Vol. 41, No.SIG 2 (PRO 6) (2000), pp. 13--28.

共著の論文（一部）

[12]

工藤晋太郎, 加藤紀夫, 上田和紀: LMNtal 処理系におけるグラフ構造の操作機能の設計と実装, 第4回情報科学技術フォーラム (FIT2005), 情報科学技術レターズ, Vol. 4 (2005), pp. 9--12.

[11]

水野謙, 加藤紀夫, 原耕司, 上田和紀: 階層グラフ書換え言語LMNtal処理系における非同期実行の実現, 日本ソフトウェア科学会第22回大会論文集, 2005.

[10]

櫻井健, 加藤紀夫, 水野謙, 上田和紀: LMNtalコンパイラにおける並び替えとグループ化を用いた命令列の最適化, 第4回情報科学技術フォーラム (FIT2005), 2005.

[9]

中島求, 加藤紀夫, 水野謙, 上田和紀: LMNtalを用いた分散処理の実現, 第8回プログラミングおよび応用のシステムに関するワークショップ (SPA2005), 2005.

[8]

圷弘明, 加藤紀夫, 上田和紀: 階層グラフ書き換えによるプロトコル検証, プログラミングおよびプログラミング言語ワークショップ (PPL2005) 発表論文集, 2005.

[7]

中島求, 水野謙, 加藤紀夫, 上田和紀: LMNtal分散処理系の設計と実装, 日本ソフトウェア科学会第21回大会論文集, 2004.

[6]

圷弘明, 加藤紀夫, 上田和紀: LMNtalにおけるルールセット不変性の検査, プログラミングおよびプログラミング言語ワークショップ (PPL2004) 発表論文集, pp. 211--216, 2004.

[5]

矢島伸吾, 永田貴彦, 加藤紀夫, 上田和紀: LMNtalプロトタイプ処理系の設計と実装, 日本ソフトウェア科学会第20回記念大会論文集, pp. 21--25, 2003.

[4]

金木佑介, 加藤紀夫, 上田和紀: KLIC処理系におけるUNIXプロセス間通信を利用した例外処理の実装, 第6回プログラミングおよび応用のシステムに関するワークショップ (SPA 2003) 予稿集, 2003.

[3]

Kazunori Ueda and Norio Kato: Programming with Logical Links: Design of the LMNtal language, In Proc. of The 3rd Asian Workshop on Programming Languages and Systems (APLAS 2002), pp. 115--126, 2002.

[2]

上田和紀, 加藤紀夫: Programming with Logical Links, 日本ソフトウェア科学会第19回大会論文集, 2002.

[1]

松村量, 高山啓, 高木祐介, 加藤紀夫, 上田和紀: 分散言語処理系DKLIC の設計と実装, 日本ソフトウェア科学会第19回大会論文集, 2002.

解説論文

[1]

上田和紀, 加藤紀夫: 言語モデルLMNtal, 日本ソフトウェア科学会論文誌「コンピュータソフトウェア」, Vol. 21, No. 2 (2004), pp. 44--60.

学位論文

Norio Kato: Semantics-Based Analysis for Optimizing Compilation of Concurrent Programs, Doctoral Dissertation, Waseda University, 2005.