スポンサーリンク
電気通信大学大学院情報通信工学専攻 | 論文
- 文脈自由文法を利用した再帰的画像生成への時間軸の導入
- 形式仕様を用いた部品検索における計算量低減
- 枝重み最大クリーク抽出アルゴリズムと実験的評価(クリーク問題と応用)
- B Methodにおける高信頼ソフトウェア部品自動生成
- 公開鍵暗号方式における強い攻撃モデルの証明(不)可能性(情報通信基礎サブソサイエティ合同研究会)
- 公開鍵暗号方式における強い攻撃モデルの証明(不)可能性(情報通信基礎サブソサイエティ合同研究会)
- 公開鍵暗号方式における強い攻撃モデルの証明(不)可能性(情報通信基礎サブソサイエティ合同研究会)
- 頻度分析耐性を持つ高速秘匿検索方式(情報通信基礎サブソサイエティ合同研究会)
- 頻度分析耐性を持つ高速秘匿検索方式(情報通信基礎サブソサイエティ合同研究会)
- 頻度分析耐性を持つ高速秘匿検索方式(情報通信基礎サブソサイエティ合同研究会)
- 高信頼細粒度部品再利用による形式手法におけるソフトウェア合成