谷口 健一 | 大阪大学 基礎工学部
スポンサーリンク
概要
関連著者
-
谷口 健一
大阪大学 基礎工学部
-
東野 輝夫
大阪大学 大学院情報科学研究科
-
東野 輝夫
大阪大学大学院情報科学研究科|独立行政法人科学技術振興機構 Crest
-
山口 弘純
大阪大学 大学院情報科学研究科
-
岡野 浩三
大阪大学 大学院情報科学研究科
-
谷口 健一
大阪大学大学院情報科学研究科
-
森岡 澄夫
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
森岡 澄夫
大阪大学大学院基礎工学研究科情報数理系専攻:(現)日本アイ・ビー・エム株式会社
-
樋口 昌宏
大阪大学大学院基礎工学研究科
-
樋口 昌宏
近畿大学理工学部
-
中田 明夫
大阪大学 基礎工学部 情報工学科
-
森 亮憲
大阪大学大学院基礎工学研究科
-
徳田 康平
大阪大学大学院基礎工学研究科
-
樋口 昌宏
近畿大学 理工学部 情報学科
-
谷口 健一
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
徳田 康平
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
森 亮憲
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
山本 亮
大阪大学大学院基礎工学研究科情報数理系専攻
-
中田 明夫
広島市立大学大学院情報科学研究科
-
坂手 寛治
大阪大学大学院基礎工学研究科情報数理系専攻:株式会社三菱電機
-
二宮 清
ダイキン工業(株)
-
柴田 直樹
大阪大学大学院基礎工学研究科情報数理系専攻
-
森 將豪
滋賀大学経済学部情報管理学科
-
松浦 敏雄
大阪市立大学大学院創造都市研究科
-
北道 淳司
大阪大学大学院基礎工学研究科
-
佐藤 秀則
大阪大学 大学院情報科学研究科
-
伊東 達雄
大阪大学基礎工学部情報工学科
-
加藤 良司
大阪大学 基礎工学部
-
森 将豪
滋賀大学
-
伊東 達雄
大阪大学 基礎工学部 情報工学科
-
假家 直樹
大阪大学 大学院情報科学研究科
-
森 将豪
滋賀大学経済学部情報管理学科
-
坂手 寛治
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
山本 亮
大阪大学 基礎工学部 情報科学科
-
柴田 直樹
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
島谷 肇
大阪大学大学院基礎工学研究科情報数理系専攻:(現)株式会社東芝
-
安本 慶一
奈良先端技術大学院大学情報科学研究科
-
森田 光秋
松下電器産業株式会社 情報通信関西研究所
-
森田 光秋
大阪大学 基礎工学部
-
山口 成基
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
北嶋 暁
大阪電気通信大学総合情報学部メディアコンピュータシステム学科
-
北嶋 暁
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
島谷 肇
大阪大学 基礎工学部 情報工学科
-
村岸 厳
奈良先端科学技術大学院大学 情報科学研究科 情報システム学専攻
-
松石 航也
大阪大学 大学院基礎工学研究科 情報数理系専攻
-
安本 慶一
滋賀大学 経済学部 情報管理学科
-
楢原 孝一
大阪大学 基礎工学部
-
北道 淳司
大阪大学 基礎工学部
-
木本 智久
大阪大学 基礎工学部
-
森将 豪
滋賀大学
-
松石 航也
大阪大学基礎工学部情報工学科:(現)富士通株式会社
著作論文
- 通信プロトコルのエラーリカバリ性自動検証の一方式
- 遷移条件が状態訪問回数に依存する有限状態機械対からなる通信系の生存性検証
- 時間ペトリネットモデルで記述されたサービス仕様からのプロトコル仕様の一合成法
- 拡張有限状態機械とペトリネットを表示編集できるGUIツールの作成と応用例
- 動作実行時刻に制約のある分散システムの全体仕様から各ノードの動作記述の自動導出
- 正則な項書換え系のマルチプロセッサ上での一実現法
- レジスタ付き時間ペトリネットで記述された分散システムの時間制約付き全体仕様からその時間制約を満たす各ノードの動作記述の自動導出(並列・分散)
- ネットワークフローを分散制御するプログラム群の一合成法
- プレスブルガー文真偽判定手続きにおける多元連立1次合同式の求解処理の高速化
- アプリケーション層マルチキャストミドルウェアにおける携帯端末への映像配信機構の実装
- 代数的仕様の作成・検証・実現支援システムにおける公理解析部の生成
- データ転送プロトコルに関する性能要求からのプロトコルパラメータの決定
- タイマを用いる有限状態機械でモデル化されたシステムの検証手続き
- タイマを用いる有限状態機械でモデル化されたシステムの検証手続き
- 一つのEFSMの複数EFSMによる実現の正しさの一証明法
- 文脈自由プロセスに対するプロトコル合成の一手法
- イベント間の時間制約を論理式で記述できるラベル付き遷移システムとその双模倣等価性検証
- レジスタ付きペトリネットで書かれたソフトウェアプロセス記述の分散実行系
- プログラム検証支援のためのプレスブルガー文真偽判定ルーチンの高速化
- マルチスレッド機構を用いたLOTOS仕様実行方式とその評価
- 代数的手法を用いた回路設計支援システムにおける状態図簡約機能とその評価
- 通信系の動作記述から各局のプロトコルマシンを生成するための一方法