Journals / Transactions (in Japanese)

1. 山岡裕司, 胡 振江, 武市 正人, 小川瑞史
   モデル検査技術を利用したプログラム解析器の生成ツール
   (Generation of Program Analyzer Based on Model Checking)
   情報処理学会論文誌:プログラミング (IPSJ Transactions on Programming), Vol.44, No.SIG13(PRO18), pp.25-37, 2003.
   
   
2. 篠埜 功, 胡 振江, 武市 正人, 小川 瑞史
   最大重み和問題の線形時間アルゴリズムの導出
   (Calculating Linear Time Algorithms for Solving Maximum Weightsum Problems)
   Computer Software, Vol.18, No.5, pp.1-17, 2001.
   
   
3. 篠埜 功, 胡 振江, 武市 正人, 小川 瑞史
   ナップサック問題およびその発展問題の統一的解法
   (Solving a Class of Knapsack Problems on Recursive Data Structures)
   Computer Software Vol.18, No.2, pp.59-63, 2001
   
   
4. 松浦　邦博、 大山口通夫、 太田義勝、 小川瑞史
   非線形TRSのE重なり性について
   電子通信情報学会 D-I 分冊 Vol.80-D-I, No.11, pp.847-855, 1997
   
   
5. 真野 健、小川 瑞史
   高階書き換え系の単一正規形性
   電子通信情報学会 Vol.80-D-I, No.3, pp.258-268, 1997
   
   
6. 小川瑞史、小野諭
   抽象実行 そのフレームワークと実例（その１〜３）
   (Abstract Interpretation, its framework and examples)
   コンピュータソフトウェア (Computer Software), Vol.13, No.2, pp.3-18, No.4, pp.3-22, No.6, pp.3-25, 1996.
   abstract1   abstract2   abstract3
   
   
7. 小川瑞史、小野諭
   最小不動点計算に基づくプログラムの帰納的性質の導出
   情報処理学会論文誌 Vol.32, No.7, pp.914-923, 1991.
   abstract
   
   
8. 小川瑞史、小野諭
   広域データフロー解析に基づく関数型プログラムの 変則性検出
   電子情報通信学会論文誌 Vol.D 71, No.10, pp.1949-1958, 1988.
   (English translation: Systems and Computers in Japan, Vol.21, No.2, pp.11-22, 1990)
   abstract