|
|
JAIST Repository >
著者: "小川, 瑞史"
9 著者名表示.
| 発行日 | タイトル |
著者 |
|---|
| 20-Oct-1988 | 広域データフロー解析に基づく関数型プログラムの変則性検出 | 小川, 瑞史; 小野, 諭; Ogawa, Mizuhito; Ono, Satoshi |
| 20-Mar-1997 | 高階書換え系の単一正規形性 | 真野, 健; 小川, 瑞史; Mano, Ken; Ogawa, Mizuhito |
| 20-Nov-1997 | 非線形TRSのE重なり性について | 松浦, 邦博; 大山口, 通夫; 太田, 義勝; 小川, 瑞史; Matsuura, Kunihiro; Oyamaguchi, Michio; Ohta, Yoshikatsu; Ogata, Mizuhito |
| 15-Oct-2003 | モデル検査技術を利用したプログラム解析器の生成ツール | 山岡, 裕司; 胡, 振江; 武市, 正人; 小川, 瑞史; YAMAOKA, Yuji; HU, Zhenjiang; TAKEICHI, Masato; OGAWA, Mizuhito |
| 6-Sep-2007 | 検証ツールの展開とそのカリキュラムでの利用 | 小川, 瑞史 |
| 3-Mar-2008 | Model Checking Infinite State Machines : Who's who in Ogawa lab | 小川, 瑞史 |
| 16-Jun-2011 | リアルタイムソフトウェアのコンポジショナルな処理モデルとその構造検証 | 小川, 瑞史; Ogawa, Mizuhito |
| 10-Jun-2015 | 近似手法と数式処理の融合による実数多項式制約の効率化 | 小川, 瑞史; Mizuhito, Ogawa |
| 3-Jun-2016 | 形式証明の理論依存性解析とその計算可能証明発見への応用 | 小川, 瑞史; Ogawa, Mizuhito |
|
