結縁 祥治 | 名古屋大学大学院情報科学研究科
スポンサーリンク
概要
関連著者
-
結縁 祥治
名古屋大学大学院情報科学研究科
-
Yuen Shoji
Center For Information Media Studies Nagoya University
-
結縁 祥治
名古屋大学 情報科学研究科
-
結縁 祥治
名古屋大 大学院情報科学研究科
-
阿草 清滋
名古屋大学大学院情報科学研究科
-
阿草 清滋
名古屋大学
-
Yuen Shoji
Graduate School Of Information Science Nagoya University:national Institute Of Informatics
-
YUEN Shoji
Nagoya University
-
結縁 祥治
名古屋大学大学院情報科学研究科/科学技術振興機構さきがけ研究
-
阿草 清滋
京大
-
結縁 祥治
名古屋大学情報科学研究科
-
桑原 寛明
立命館大学情報理工学部
-
今井 敬吾
名古屋大学大学院情報科学研究科
-
坂部 俊樹
名古屋大学大学院情報科学研究科
-
坂部 俊樹
名古屋大学 大学院情報科学研究科
-
稲垣 康善
名古屋大学大学院工学研究科計算理工学専攻
-
稲垣 康善
名古屋大学
-
桑原 寛明
名古屋大学大学院情報科学研究科
-
伴 潤
名古屋大学大学院情報科学研究科
-
阿草 清滋
名古屋大学工学部
-
梶田 将司
名古屋大学情報連携基盤センター
-
梶田 将司
名古屋大学情報連携統括本部情報戦略室
-
鈴木 晃
名古屋大学工学部情報工学科
-
鈴木 晃
名古屋大学
-
坂野 吉隆
名古屋大学情報科学研究科
-
阿草 清滋
名古屋大学工学部電気工学第二
-
井上 公博
名古屋大学大学院情報科学研究科
-
坂部 俊樹
名古屋大学大学院 情報科学研究科
-
高田 広章
名古屋大学大学院情報科学研究科附属組込みシステム研究センター
-
山里 敬也
名古屋大学
-
冨山 宏之
名古屋大学大学院情報科学研究科情報システム学専攻
-
山本 晋一郎
愛知県立大学情報科学部
-
高田 広章
名古屋大学
-
横山 哲郎
名古屋大学大学院情報科学研究科
-
真野 健
NTTコミュニケーション科学基礎研究所
-
河辺 義信
日本電信電話株式会社nttコミュニケーション科学基礎研究所
-
山里 敬也
名古屋大学情報メディア教育センター
-
冨山 宏之
名古屋大学大学院情報科学研究科
-
冨山 宏之
名古屋大学
-
冨山 宏之
財団法人九州システム情報技術研究所
-
加藤 大樹
名古屋大学大学院教育発達科学研究科
-
曾 剛
名古屋大学大学院情報科学研究科
-
馬場 敬
名古屋大学大学院情報科学研究科
-
平手 孝
名古屋大学大学院工学研究科情報工学専攻
-
末次 亮
名古屋大学大学院情報科学研究科情報システム学専攻
-
横山 哲郎
南山大学情報理工学部
-
阿草 清滋
京大(現名大)
-
木川 泰夫
名古屋大学大学院工学研究科
-
渥美 紀寿
南山大学情報理工学部
-
Agusa Kiyoshi
Department Of Information Engineering Graduate School Of Information Science Nagoya University
-
濱口 毅
名古屋大学工学部
-
山本 晋一郎
愛知県立大学
-
加藤 敬史
名古屋大学大学院情報科学研究科:(現)(株)日立ソフトウェアエンジニアリング
-
水野 敦
名古屋大学大学院情報科学研究科
-
河辺 義信
NTTコミュニケーション科学基礎研究所
-
渥美 紀寿
名古屋大学工学研究科情報工学専攻
-
AUN MOHAMED
Department of Information Engineering, Graduate School of Information Science, Nagoya University
-
YUEN SHOJI
Department of Information Engineering, Graduate School of Information Science, Nagoya University
-
大須賀 恭輔
名古屋大学大学院工学研究科情報工学専攻
-
高木 豊典
名古屋大学大学院工学研究科情報工学専攻
-
落合 秀俊
名古屋大学工学研究科情報工学
-
曾 剛
名古屋大学 大学院情報科学研究科
-
濱口 毅
名古屋大学情報メディア教育センター
-
Aun Mohamed
Department Of Information Engineering Graduate School Of Information Science Nagoya University
-
末次 亮
名古屋大学大学院情報科学研究科
-
下村 翔
名古屋大学情報科学研究科
-
水野 洋樹
名古屋大学情報科学研究科
-
渥美 紀寿
名古屋大学大学院情報科学研究科
-
坂野 吉隆
名古屋大学大学院情報科学研究科
-
河辺 義信
愛知工業大学情報科学部情報科学科
-
濱口 毅
名古屋大学
-
加藤 大樹
金城学院大学人間科学部
-
曾 剛
名古屋大学
-
中島 崇
名古屋大学情報科学研究科
-
中島 崇
名古屋大学 情報科学研究科
-
桑原 寛明
立命館大学
-
加藤 敬史
名古屋大学大学院情報科学研究科
-
加藤 大樹
名古屋大学大学院情報科学研究科
-
渥美 紀寿
名古屋大学 大学院 情報科学研究科
著作論文
- Maudeによる否定を含んだ構造操作意味定義インタプリタと等価性検証器の構築
- Maudeによる否定を含んだ構造操作意味定義インタプリタと等価性検証器の構築
- 通信プロセスモデルによるAIBO OPEN-Rプログラムのデッドロックフリー解析手法(検証/テストとデバッグ,組込みシステム工学)
- Apache Cocoon Flowscriptのモデル検査によるWeb応用プログラムの動作検証
- Haskellのための非同期局所化π計算に基づくネットワークプログラミングフレームワーク
- 通信プロセスに対する文脈変換手法を用いたモデル検査
- テスト等価性に基づいた視覚的LTSモデル操作によるプロセス代数デバッガ
- 動的電圧制御システムにおける評価戦略選択に基づく高効率消費エネルギー関数型プログラミング
- 計算資源へのアクセス能力に基づく競合検査とデッドロック検査のための型解析
- 時間付きデザインパターンに基づく実時間並行ソフトウェアの開発手法
- 時間付き$\pi$計算における有限プロセスの時間動作抽象化(計算機科学の理論とその応用)
- π計算に対する時間拡張と合同的性質(計算モデル,フォーマルアプローチ論文)
- π計算に基づくプログラミング言語NepiのためのGUI機能
- 時間付きπ計算によるリアルタイムオブジェクト指向言語の形式的記述(オブジェクト指向とWeb技術)
- π計算による優先度継承プロトコルの形式的記述
- 名古屋大学情報メディア教育システムの現状と課題
- 実行履歴にもとづくマルチコア実時間応用プログラムのデバッグモデル
- Webオートマトン : MVCモデルに基づくWebアプリケーションの動作モデル(ディペンダブルソフトウェア)
- FCDGに基づいたコーディングパターン
- セッション型に基づく高信頼ネットワークプログラムの関数型言語による実装手法
- 時間オートマトンによる振舞いモデルに基づく高信頼Real-Time Javaコード生成手法
- 時間オートマトンによる振舞いモデルに基づく高信頼 Real-Time Java コード生成手法
- An Approach for Debugging Client Dynamic Web Applications(Network Services)
- プログラムスライシングツールのための共通表現
- 実時間プロセス言語に基づく時間ステートチャートの動作シミュレーション
- NATによる準マルチホーム化技法(次世代のインターネット/分散システムの構築・運用技術)
- 文書間の不整合解消に基づくソフトウエアプロセスのモデル化
- NATによるプライベートネットワークの準マルチホーム化技法
- コレオグラフィに基づく高信頼通信指向GUIプログラミング
- 通信プロセス計算とその時間拡張(システム設計のための形式手法の基礎と応用)
- SCCS動作式に対する unfold 変換によるLTSモデルの効率的な構成法
- SCCS動作式に対するunfold変換によるLTSモデルの効率的な構成法
- 命令を並列に実行するCPUに対するSCCSによるコンパイラの仕様記述
- 計算資源へのアクセス能力に基づく競合検査とデッドロック検査のための型解析
- 否定前件を含む構造操作意味定義に対するプロセス計算コンパイラ
- 分離論理を用いたTOPPERS/ASPの割込み動作に対する検証