スポンサーリンク
愛知工業大学情報科学部情報科学科 | 論文
- 自動車制御システムのエラーモデル記述による安全性分析手法(安全性及び一般)
- スリット光投影法による複雑形状の再構築--微細突起形状の復元制度±0.5mmの実現
- アーキテクチャ記述言語による設計と一体化した制御システムのリスク分析(ソフトウェア開発支援,システム開発論文)
- 簡単なフォトリアリスティックフェイシャルモデリング
- π計算に基づくプログラミング言語NepiのためのGUI機能
- ゲーム列による安全性証明の形式化と自動化(数理的技法による情報セキュリティ)
- 匿名性とプライバシ保護の数理的技法 (特集 コミュニケーション環境の未来に向けた研究最前線)
- ETAPS 2006参加報告(会議レポート)
- Nepiネットワークプログラミングシステムの形式的検証(ソフトウェア工学の基礎)
- プロセス代数に基づくネットワークプログラム言語 (特集論文1 情報科学研究の最前線--より安全で快適な情報処理技術を目指して) -- (快適にコンピュータを使えるために)
- π-計算に基づくモバイルエージェントの形式化
- アクタモデルのπ計算に基づく意味づけ : エージェントの形式化に向けて
- 攻撃者を考慮した匿名性検証法 (第20回 回路とシステム軽井沢ワークショップ論文集) -- (形式的手法)
- 2010年度長尾真記念特別賞紹介 : 選定にあたって
- 商店街活性化のための情報視覚化の試み
- 2010年度論文賞の受賞論文紹介 : 0.選定にあたって
- 複雑形状の再構築とコンピュータグラフィックス実制作への応用 : 複雑形状の復元精度±0.5mmの実現
- 電子投票プロトコルに対する無証拠性の定理証明
- スリット光投影法による複雑形状の再構築 : 微細突起形状の復元精度±0.5mmの実現
- 順序ソート項書換え系における合流性のモジュラ性