JAIST Repository > School of Information Science > Grants-in-aid for Scientific Research Papers >
Automatic Verification of Distributed Mobile Robot Algorithms
準同型認証子による効率の良いデータ認証手法に関する研究
グラフ同型性判定問題に対する幅パラメータ固定アルゴリズムの研究
項書換えの合流性解析とその応用
形式証明の理論依存性解析とその計算可能証明発見への応用