濱口 清治 | 大阪大学大学院基礎工学研究科
スポンサーリンク
概要
関連著者
-
濱口 清治
大阪大学大学院基礎工学研究科
-
矢島 脩三
京都大学工学部情報工学教室
-
矢島 脩三
京都大学大学院工学研究科情報工学教室
-
平石 裕実
京都産業大学
-
矢島 脩三
京都大学工学研究科情報工学専攻
-
矢島 脩三
京都大学工学部
-
浜口 清治
京都大学工学部情報工学教室
-
浜口 清治
京都大学大学院工学研究科情報工学専攻
-
平石 裕実
京都大学工学部情報工学教室
-
濱口 清治
京都大学工学部
-
藤井 寛
Ntt情報通信処理研究所基本アーキテクチャ研究部
-
平石 裕実
京都産業大学工学部情報通信工学科
-
藤井 寛
京都大学工学部情報工学教室
-
濱口 清治
京都大学大学院工学研究科
-
三島 脩三
京都大学工学部情報工学教室
-
森田 晃史
東京海上火災保険株式会社
-
岩間 一雄
京都大学大学院情報学研究科
-
湊 真一
Ntt Lsi研究所
-
矢島 脩三
関西大学総合情報学部
-
浜口 清治
大阪大学大学院情報科学研究科
-
富田 眞治
京都大学工学部情報工学教室
-
富田 眞治
京都大学工学部
-
ロテール デロール
京都大学大学院工学研究科
-
農添 三資
京都大学大学院工学研究科
-
福島 直人
京都大学工学部
-
平石 裕美
京都産業大学工学部情報通信工学科
-
濱口 清治
京都大学 工学部
-
平石 裕実
京都大学 工学部
-
矢島 脩三
京都大学 工学部
-
濱口 清治
Department of Information Science, Faculty of Engineering, Kyoto University
-
平石 裕実
Department of Information Science, Faculty of Engineering, Kyoto University
-
矢島 脩三
Department of Information Science, Faculty of Engineering, Kyoto University
-
農添 三資
京都大学大学院工学研究科:(現)松下電器産業株式会社
-
福島 直人
京都大学大学院工学研究科
-
浜口 清治
大阪大学大学院基礎工学研究科
-
湊 真一
北海道大学大学院情報科学研究科・科学技術振興機構erato湊離散構造処理系プロジェクト・ /科学技術振興機構erato湊離散構造処理系プロジェクト・北海道大学大学院情報科学研究科
-
湊 真一
Ntt Lsi 研究所
著作論文
- 有限オートマトンと表現等価な正則時相論理とその論理設計検証への応用
- 正則時相論理のモデルチェック法の改良と設計検証への適用
- しきい値関数を表す共有2分決定グラフの最適な変数順序付けの計算複雑度
- 等号を含む第一階時相論理のサブクラスとその恒真性判定問題
- 等号を含む第一階時相論理のサブクラスとその恒真性判定問題(計算モデルと計算の複雑さに関する研究)
- 二分モーメントグラフを用いた大規模多項式の操作手法
- 形式的手法によるキャッシュ・プロトコルの設計検証 : 超並列計算機JUMP-1への適用例
- 算術演算回路検証のための二分モーメントグラフの高速生成手法
- 算術演算回路検証のための二分モーメントグラフの高速生成手法
- 設計検証技術(総論) : 現在の設計検証技術はペンティアムのバグを見つけることができるか
- 1. 論理関数処理に基づく形式的検証手法 ( 論理設計の形式的検証)
- 形式的設計検証のための分岐時間正則時相論理
- 時相論理と言語階層の対応関係について(計算および計算量理論とその周辺)
- 有限オートマトンと表現等価な正則時相論理とその論理設計検証への応用
- 線形時間のモデルチェックアルゴリズムを持つ正則時相論理と変数代入機構による拡張
- On Design Varification between Different Levels of Abstraction Using Regular Temporal Logic
- 正則時相論理の充足可能性判定アルゴリズム