橋本 健二 | 大阪大学大学院情報科学研究科
スポンサーリンク
概要
関連著者
-
橋本 健二
大阪大学大学院情報科学研究科
-
石原 靖哲
大阪大学大学院情報科学研究科
-
藤原 融
大阪大学大学院情報科学研究科
-
石原 靖哲
大阪大学大学院基礎工学研究科情報数理系
-
藤原 融
大阪大学大学院基礎工学研究科
-
藤原 融
大阪大学基礎工学部情報工学科
-
藤原 融
大阪大学大学院基礎工学研究科情報数理系
-
藤原 融
大阪大学 大学院情報科学研究科
-
高須賀 史和
大阪大学大学院情報科学研究科
-
橋本 健二
奈良先端科学技術大学院大学情報科学研究科
-
森本 卓爾
大阪大学大学院情報科学研究科
-
吉田 昌起
大阪大学大学院情報科学研究科
-
清水 將吾
奈良先端科学技術大学院大学 情報科学研究科
-
清水 將吾
産業技術大学院大学
-
澤田 龍太
大阪大学大学院情報科学研究科
-
清水 將吾
産業技術大学院大学産業技術研究科
-
橋本 健二
奈良先端科学技術大学院大学 情報科学研究科
著作論文
- ユーザ指定関係に基づいた情報保存を満たすXMLスキーマ進化
- 木埋め込み関係に基づくXMLスキーマ進化に応じたXPath問合せ変換(夏のデータベースワークショップ2007(データ工学,一般))
- 木の埋め込み関係に基づくXMLスキーマ進化に応じた文書変換器の生成法(夏のデータベースワークショップ2007(データ工学,一般))
- 木埋め込み関係に基づくXMLスキーマ進化に応じたXPath問合せ変換(XML (1),夏のデータベースワークショップ2007(データ工学,一般))
- 木の埋め込み関係に基づくXMLスキーマ進化に応じた文書変換器の生成法(XML (1),夏のデータベースワークショップ2007(データ工学,一般))
- XMLデータベースにおけるスキーマ進化のための更新操作群とそれらのスキーマ表現能力保存に関する性質(基礎理論,フォーマルアプローチ論文)
- XMLデータベースへの型推論を用いた攻撃に対する安全性検証(XML,夏のデータベースワークショップDBWS 2006)
- XMLデータベースへの型推論を用いた攻撃に対する安全性検証(XML)
- XMLデータベースへの推論攻撃による機密情報特定可能性の形式化とある前提条件のもとでの特定可能性検証法の提案
- XMLデｰタベｰスにおける表現能力を保存したスキｰマ更新操作
- XMLデータベースにおける表現能力を保存したスキーマ更新操作(Web,XML,文書検索)(データ工学,ディペンダビリティ,一般)
- The validity problem of positive XPath queries in the presence of DTDs (ソフトウェアサイエンス)
- ユーザ指定関係に基づいた情報保存を満たすXMLスキーマ進化
- XMLデータベースにおける表現能力を保存したスキーマ更新操作(Web,XML,文書検索)(データ工学,ディペンダビリティ,一般)
- DTD存在下での否定を含まないXPathクエリの恒真性判定
- Combining the tractability of duplicate-free DTDs and disjunction-capsuled DTDs for XPath satisfiability with sibling axes (ソフトウェアサイエンス)
- 決定性線形トップダウン木変換器における問合せ保存の決定可能性 (ソフトウェアサイエンス)
- 兄弟軸をもつXPath充足可能性問題に対するduplicate-free DTDとdisjunction-capsuled DTDの多項式時間可解性の融合
- 決定性線形トップダウン木変換器における問合せ保存の決定可能性