Yuen Shoji | Center For Information Media Studies Nagoya University

スポンサーリンク

概要

• 同名の論文著者
• Center For Information Media Studies Nagoya Universityの論文著者

関連著者

• 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

• 結縁 祥治

  名古屋大学大学院情報科学研究科/科学技術振興機構さきがけ研究

• 阿草 清滋

  名古屋大学大学院情報科学研究科

• 阿草 清滋

  名古屋大学

• 稲垣 康善

  名古屋大学

• 坂部 俊樹

  名古屋大学 大学院情報科学研究科

• 坂部 俊樹

  名古屋大学大学院情報科学研究科

• 坂部 俊樹

  名古屋大学大学院 情報科学研究科

• 今井 敬吾

  名古屋大学大学院情報科学研究科

• 阿草 清滋

  京大

• 結縁 祥治

  名古屋大学情報科学研究科

• 桑原 寛明

  立命館大学情報理工学部

• 稲垣 康善

  名古屋大学大学院工学研究科計算理工学専攻

• 平手 孝

  名古屋大学大学院工学研究科情報工学専攻

• 桑原 寛明

  名古屋大学大学院情報科学研究科

• 伴 潤

  名古屋大学大学院情報科学研究科

• 阿草 清滋

  名古屋大学工学部

• 梶田 将司

  名古屋大学情報連携基盤センター

• 梶田 将司

  名古屋大学情報連携統括本部情報戦略室

• 阿草 清滋

  名古屋大学工学部電気工学第二

• 鈴木 晃

  名古屋大学工学部情報工学科

• Yuen Shoji

  Graduate School Of Information Science Nagoya Univeristy

• 鈴木 晃

  名古屋大学

• 篠原 加奈子

  名古屋大学工学部情報工学科

• 阿草 清滋

  名古屋大学情報科学研究科

• 加藤 敬史

  名古屋大学大学院情報科学研究科

• 中堂園 貴幸

  名古屋大学大学院情報科学研究科

• 加藤 大樹

  名古屋大学大学院情報科学研究科

• 高田 広章

  名古屋大学大学院情報科学研究科附属組込みシステム研究センター

• 八杉 昌宏

  京都大学大学院情報学研究科

• 山里 敬也

  名古屋大学

• 冨山 宏之

  名古屋大学大学院情報科学研究科情報システム学専攻

• 高橋 和子

  関西学院大学理工学部

• 山本 晋一郎

  愛知県立大学情報科学部

• 小川 宏高

  産業技術総合研究所

• 高田 広章

  名古屋大学

• 横山 哲郎

  名古屋大学大学院情報科学研究科

• 真野 健

  NTTコミュニケーション科学基礎研究所

• 田浦 健次朗

  東京大学

• 河辺 義信

  日本電信電話株式会社nttコミュニケーション科学基礎研究所

• Agusa Kiyoshi

  Graduate School of Information Science, Nagoya University

• 山里 敬也

  名古屋大学情報メディア教育センター

• 村上 昌己

  岡山大学工学部

• 高木 浩光

  産業技術総合研究所

• 前田 敦司

  筑波大学

• 村上 昌己

  岡山大学工学部情報工学科

• 小野寺 民也

  日本アイ･ビｰ･エム

• 前田 敦司

  筑波大学システム情報工学研究科

• 冨山 宏之

  名古屋大学大学院情報科学研究科

• 冨山 宏之

  名古屋大学

• 冨山 宏之

  財団法人九州システム情報技術研究所

• 岩崎 英哉

  電気通信大学

• 柴山 悦哉

  東京工業大学大学院情報処理工学研究科数理・計算科学専攻

• 高木 浩光

  電子技術総合研究所

• 高木 浩光

  電総研

• 高木 浩光

  名古屋工業大学

• 富樫 敦

  宮城大学

• 加藤 大樹

  名古屋大学大学院教育発達科学研究科

• 曾 剛

  名古屋大学大学院情報科学研究科

• 馬場 敬

  名古屋大学大学院情報科学研究科

• 末次 亮

  名古屋大学大学院情報科学研究科情報システム学専攻

• 横山 哲郎

  南山大学情報理工学部

• 高木 浩光

  名古屋工業大学工学部電気情報工学科

• 阿草 清滋

  京大(現名大)

• 木川 泰夫

  名古屋大学大学院工学研究科

• 長谷川 立

  東京大学

• 坂野 吉隆

  名古屋大学情報科学研究科

• 高橋 和子

  関西学院大学

• 渡部 卓雄

  東京工業大学

• 渥美 紀寿

  南山大学情報理工学部

• Agusa Kiyoshi

  Department Of Information Engineering Graduate School Of Information Science Nagoya University

• 小川 瑞史

  北陸先端科学技術大学院大学

• Ogawa Mizuhito

  Japan Advanced Institute Of Science And Technology

• 小川 瑞史

  Ntt

• 濱口 毅

  名古屋大学工学部

• 山本 晋一郎

  愛知県立大学

• 加藤 敬史

  名古屋大学大学院情報科学研究科:(現)(株)日立ソフトウェアエンジニアリング

• 水野 敦

  名古屋大学大学院情報科学研究科

• 河辺 義信

  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

• 大須賀 恭輔

  名古屋大学大学院工学研究科情報工学専攻

• 高木 豊典

  名古屋大学大学院工学研究科情報工学専攻

• 落合 秀俊

  名古屋大学工学研究科情報工学

• Li Guoqiang

  School Of Information Science Japan Advanced Institute Of Science And Technology

• 原田 康徳

  Ntt

• 高木 浩光

  (独)産業技術総合研究所情報セキュリティ研究センター

• 曾 剛

  名古屋大学 大学院情報科学研究科

• 濱口 毅

  名古屋大学情報メディア教育センター

• 小川 瑞史

  Ntt ソフトウェア研究所

• Yuen Shoji

  Information Engineering Department Nagoya University

• Aun Mohamed

  Department Of Information Engineering Graduate School Of Information Science Nagoya University

• Sakabe Toshiki

  Information Engineering Department Nagoya University

• 末次 亮

  名古屋大学大学院情報科学研究科

• 下村 翔

  名古屋大学情報科学研究科

• 水野 洋樹

  名古屋大学情報科学研究科

• 渥美 紀寿

  名古屋大学大学院情報科学研究科

• 坂野 吉隆

  名古屋大学大学院情報科学研究科

• 河辺 義信

  愛知工業大学情報科学部情報科学科

• 濱口 毅

  名古屋大学

• カサブランカ ファビオ

  名古屋大学工学部情報工学科

• Inagaki Yasuyoshi

  Information Engineering Department Nagoya University

• 加藤 大樹

  金城学院大学人間科学部

• 曾 剛

  名古屋大学

• Iwatsuka Takuya

  Graduate School Of Information Science Nagoya University

• 中島 崇

  名古屋大学情報科学研究科

• 中島 崇

  名古屋大学 情報科学研究科

• 桑原 寛明

  立命館大学

• Cai Xiaojuan

  School of Software, Shanghai Jiotong University

• Li Guoqiang

  School of Software, Shanghai Jiotong University

• Yuen Shoji

  Graduate School of Information Science, Nagoya University

• 水谷 浩明

  名古屋大学情報科学研究科

• AGUSA Kiyoshi

  the Graduate School of Information Science, Nagoya University

• IMAI Keigo

  IT Planning Inc.

• YUEN Shoji

  the Graduate School of Information Science, Nagoya University

• 岩塚 卓弥

  名古屋大学大学院情報科学研究科

• 寺内 多智弘

  名古屋大学大学院情報科学研究科

• 亀井 達朗

  名古屋大学大学院情報科学研究科

• 渥美 紀寿

  名古屋大学 大学院 情報科学研究科

• 大久保 信康

  名古屋大学 工学部 情報工学科

もっと見る 閉じる

著作論文

• Maudeによる否定を含んだ構造操作意味定義インタプリタと等価性検証器の構築
• Maudeによる否定を含んだ構造操作意味定義インタプリタと等価性検証器の構築
• 通信プロセスモデルによるAIBO OPEN-Rプログラムのデッドロックフリー解析手法(検証/テストとデバッグ,組込みシステム工学)
• Apache Cocoon Flowscriptのモデル検査によるWeb応用プログラムの動作検証
• Haskellのための非同期局所化π計算に基づくネットワークプログラミングフレームワーク
• 通信プロセスに対する文脈変換手法を用いたモデル検査
• テスト等価性に基づいた視覚的LTSモデル操作によるプロセス代数デバッガ
• テスト等価性に基づいた視覚的LTSモデル操作によるプロセス代数デバッガ(並列・分散)
• 正則な実時間通信プロセスに対するテスト擬順序の記号的特性化
• 診断テスト生成に基づくラベル付遷移システムのグラフィカル・デバッガ
• 動的電圧制御システムにおける評価戦略選択に基づく高効率消費エネルギー関数型プログラミング
• 計算資源へのアクセス能力に基づく競合検査とデッドロック検査のための型解析
• 時間付きデザインパターンに基づく実時間並行ソフトウェアの開発手法
• 時間付き$\pi$計算における有限プロセスの時間動作抽象化(計算機科学の理論とその応用)
• π計算に対する時間拡張と合同的性質(計算モデル,フォーマルアプローチ論文)
• π計算に基づくプログラミング言語NepiのためのGUI機能
• 時間付きπ計算によるリアルタイムオブジェクト指向言語の形式的記述(オブジェクト指向とWeb技術)
• π計算による優先度継承プロトコルの形式的記述
• 名古屋大学情報メディア教育システムの現状と課題
• 実行履歴にもとづくマルチコア実時間応用プログラムのデバッグモデル
• Webオートマトン : MVCモデルに基づくWebアプリケーションの動作モデル(ディペンダブルソフトウェア)
• FCDGに基づいたコーディングパターン
• セッション型に基づく高信頼ネットワークプログラムの関数型言語による実装手法
• 時間オートマトンによる振舞いモデルに基づく高信頼Real-Time Javaコード生成手法
• An Approach for Debugging Client Dynamic Web Applications(Network Services)
• 実時間プロセス言語に基づく時間ステートチャートの動作シミュレーション
• NATによる準マルチホーム化技法(次世代のインターネット/分散システムの構築・運用技術)
• 文書間の不整合解消に基づくソフトウエアプロセスのモデル化
• NATによるプライベートネットワークの準マルチホーム化技法
• コレオグラフィに基づく高信頼通信指向GUIプログラミング
• 通信プロセス計算とその時間拡張(システム設計のための形式手法の基礎と応用)
• SCCS動作式に対する unfold 変換によるLTSモデルの効率的な構成法
• SCCS動作式に対するunfold変換によるLTSモデルの効率的な構成法
• 命令を並列に実行するCPUに対するSCCSによるコンパイラの仕様記述
• Web オートマトン: MVC モデルに基づくWebアプリケーションの動作モデル
• 否定前件を含む構造操作意味定義に対するプロセス計算コンパイラ
• 並行論理型言語の意味領域としてのガード付きストリーム : 意味論的および構文的同値関係について
• Symbolic Alternative Characterizations of Testing Preorder for Regular Timed Processes(Concurrency Theory and Applications '96)
• 実時間通信プロセスの述語的仕様記述に対する検証法(並列・分散)
• 実時間通信プロセスの述語的仕様記述に対する検証法(並列・分散)
• An Extention of DynAlloy with Concurrency
• 分離論理を用いたTOPPERS/ASPの割込み動作に対する検証
• テスト等価性に基づいた視覚的LTSモデル操作によるプロセス代数デバッガ
• 通信プロセスモデルと形式意味論に基づくソフトウェアのモデル化(ディペンダブルソフトウェア)
• FOREWORD
• Alloyを用いたRuby on Railsアプリケーションの開発支援
• 「情報処理学会論文誌 : プログラミング」の編集について
• Nested timed automata
• 時間付きπ計算によるリアルタイムオブジェクト指向言語の形式的記述
• Generating Diagnostic Information for Probabilistic Processes
• A Session Type System with Subject Reduction
• 無限小定数と限量子除去法によるハイブリッドシステムの検証に向けて
• タスクマイグレーション機能を持つマルチコアスケジューリング解析
• タスクマイグレーション機能を持つマルチコアスケジューリング解析
• FOREWORD
• 値付きタスクオートマトンに基づくコストを意識した実時間タスクスケジューリング
• 形式仕様に基づく通信プログラム開発システムONL
• CCSによるモニタの動作の形式的記述

もっと見る 閉じる

スポンサーリンク