Hashimoto Kenji 橋本健二

… Alternative Names

HASHIMOTO Kenji 橋本健二

Less

Researcher Number	90548447
Other IDs
Affiliation (Current)	2025: 香川大学, 創造工学部, 准教授
Affiliation (based on the past Project Information) *help	2024: 香川大学, 創造工学部, 准教授 2017 – 2023: 名古屋大学, 情報学研究科, 助教 2017: 名古屋大学, 大学院情報学研究科, 助教 2012 – 2016: 名古屋大学, 情報科学研究科, 助教 2015: 名古屋大学, 大学院情報科学研究科, 助教 2010 – 2012: 奈良先端科学技術大学院大学, 情報科学研究科, 助教
Review Section/Research Field	Principal Investigator Basic Section 60050:Software-related / Software / Theory of informatics / Media informatics/Database Except Principal Investigator Basic Section 60050:Software-related / Software / Software
Keywords	Principal Investigator 投射モデル計数 / 木変換器 / 問合せ保存 / SAT / モデル計数 / 分割 / 分類 / 機械学習 / 成分キャッシュ / d-DNNF … More / 変数順序 / 阻止節 / BDD / 量的情報流解析 / 関数性 / 木オートマトン / 問合せ保存性 / スキーマ / 情報保存 / 文書変換 / XML … More Except Principal Investigator セキュリティ / 形式言語理論 / XML / プログラム自動合成 / 量的情報流 / プライバシー / レジスタオートマトン / 木文法 / 圧縮 / 木オートマトン / 木変換器 / 情報保存性 / モデル検査 / ソフトウェア検証 / あいまいさ階層 / 対話的学習 / 重み付き計算モデル / プログラム自動生成 / レジスタ計算モデル / プライバシー保護 / 計算論的ゲーム構造 / プログラム合成 / mu-計算 / 重み付き文脈自由文法 / アクティブ学習 / ゲーム構造 / 線形時相論理 / 情報理論 / タイミング攻撃 / 隠れマルコフモデル / データベース / SAT / SMT / 差分プライバシー / 時間攻撃 / XMLデータベース / k-安全性 / XPath / 直線的文脈木文法 / 有向グラフ / 文脈自由文法 / トップ木 / 自動解析 / ソフトウェア解析 / 動的情報漏洩量 / プログラムセキュリティ / 計算複雑さ / レジスタ文脈自由文法 / SMTソルバ / マルウェア解析 / 文法圧縮 / 頂点問合せ Less

投射モデル計数のためのグラフ表現を用いた問題分類と計数戦略Principal Investigator
- Principal Investigator
  
  橋本健二
- Project Period (FY)
  2023 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Nagoya University
データハイブリッドなリアクティブプログラムの解析技術と自動合成・説明抽出への応用
- Principal Investigator
  
  関浩之
- Project Period (FY)
  2022 – 2024
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Nagoya University
Quantitative extension of formal models and its application to software analysis
- Principal Investigator
  
  Seki Hiroyuki
- Project Period (FY)
  2019 – 2022
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60050:Software-related
- Research Institution
  Nagoya University
Projected Model Counters for Quantitative Information Flow AnalysisPrincipal Investigator
- Principal Investigator
  
  Hashimoto Kenji
- Project Period (FY)
  2017 – 2020
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Nagoya University
Static Analysis and Dynamic Monitoring Methods for Software Security and Privacy
- Principal Investigator
  
  Seki Hiroyuki
- Project Period (FY)
  2015 – 2018
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Nagoya University
Verification of query preservation for tree and graph transformationsPrincipal Investigator
- Principal Investigator
  
  Hashimoto Kenji
- Project Period (FY)
  2014 – 2017
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Theory of informatics
- Research Institution
  Nagoya University
Formal models for quantitative analysis of software security
- Principal Investigator
  
  Seki Hiroyuki
- Project Period (FY)
  2014 – 2017
- Research Category
  
  Grant-in-Aid for Challenging Exploratory Research
- Research Field
  
  Software
- Research Institution
  Nagoya University
Software Analysis based on Formaly Language Theory and Its Application to Security Verification
- Principal Investigator
  
  Seki Hiroyuki
- Project Period (FY)
  2011 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Research Field
  
  Software
- Research Institution
  Nagoya University
  Nara Institute of Science and Technology
Derivation and update of XML schemas using conceptual model and query setPrincipal Investigator
- Principal Investigator
  
  HASHIMOTO Kenji
- Project Period (FY)
  2010 – 2012
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Media informatics/Database
- Research Institution
  Nara Institute of Science and Technology

All 2024 2023 2022 2021 2019 2018 2017 2016 2015 2014 2013 2012 2010 Other

All Journal Article Presentation

[Journal Article] Weighted Multiple Context-Free Grammars2023
- Author(s)
  INOUE Yusuke, HASHIMOTO Kenji, SEKI Hiroyuki
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E106.D Issue: 3 Pages: 309-318
- DOI
  10.1587/transinf.2022FCP0006
- ISSN
  0916-8532, 1745-1361
- Year and Date
  2023-03-01
- Language
  English
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-23KJ1127, KAKENHI-PROJECT-23K24824
[Journal Article] An Ambiguity Hierarchy of Weighted Context-Free Grammars2022
- Author(s)
  Yusuke Inoue, Kenji Hashimoto and Hiroyuki Seki
- Journal Title
  
  26th International Conference on Implementation and Application of Automata (CIAA 2022)
  
  Volume: LNCS 13266 Pages: 238-250
- DOI
  10.1007/978-3-031-07469-1_19
- ISBN
  9783031074684, 9783031074691
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23K24824
[Journal Article] On the Compositionality of Dynamic Leakage and Its Application to the Quantification Problem2019
- Author(s)
  Bao Trung Chu, Kenji Hashimoto and Hiroyuki Seki
- Journal Title
  
  13th International Conference on Emerging Security Information, Systems and Technologies
  
  Volume: - Pages: 1-8
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-19H04083
[Journal Article] Quantifying Dynamic Leakage - Complexity Analysis and Model Counting-based Calculation -2019
- Author(s)
  Bao Trung Chu, Kenji Hashimoto, Hiroyuki Seki
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E102.D Issue: 10 Pages: 1952-1965
- DOI
  10.1587/transinf.2019EDP7132
- NAID
  130007722186
- ISSN
  0916-8532, 1745-1361
- Year and Date
  2019-10-01
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-17K00098, KAKENHI-PROJECT-19H04083
[Journal Article] Direct Update of XML Documents with Data Values Compressed by Tree Grammars2018
- Author(s)
  Kenji Hashimoto, Ryunosuke Takayama and Hiroyuki Seki
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E101.D Issue: 6 Pages: 1467-1478
- DOI
  10.1587/transinf.2017FOP0002
- NAID
  130007382456
- ISSN
  0916-8532, 1745-1361
- Year and Date
  2018-06-01
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-15H02684, KAKENHI-PROJECT-17H01722
[Journal Article] Counting Algorithms for Recognizable and Algebraic Series2018
- Author(s)
  Trung CHU Bao, Kenji Hashimoto and Hiroyuki Seki
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E101.D Issue: 6 Pages: 1479-1490
- DOI
  10.1587/transinf.2017FOP0003
- NAID
  130007382455
- ISSN
  0916-8532, 1745-1361
- Year and Date
  2018-06-01
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26540025
[Journal Article] Query Rewriting for Nondeterministic Tree Transducers2016
- Author(s)
  Kazuki Miyahara, Kenji Hashimoto and Hiroyuki Seki
- Journal Title
  
  IEICE Transactions on Information and Systems
  
  Volume: E99-D(6) Pages: 1410-1419
- NAID
  130005154738
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-15H02684
[Journal Article] Query Rewriting for Nondeterministic Tree Transducers2016
- Author(s)
  Kazuki Miyahara, Kenji Hashimoto, Hiroyuki Seki
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E99.D Issue: 6 Pages: 1410-1419
- DOI
  10.1587/transinf.2015FOP0007
- NAID
  130005154738
- ISSN
  0916-8532, 1745-1361
- Language
  English
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26870270
[Journal Article] Determinacy and Subsumption of Single-Valued Bottom-Up Tree Transducers2016
- Author(s)
  Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, Hiroyuki Seki, Toru Fujiwara
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E99.D Issue: 3 Pages: 575-587
- DOI
  10.1587/transinf.2015FCP0015
- NAID
  130005131811
- ISSN
  0916-8532, 1745-1361
- Language
  English
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-26870270
[Journal Article] Determinacy and Subsumption of Single-valued Bottom-up Tree Transducers2016
- Author(s)
  Kenji Hashimoto, Ryuta Swada, Yasunori Ishihara, Hiroyuki Seki and Toru Fujiwara
- Journal Title
  
  IEICE Transactions on Information and Systems
  
  Volume: E99-D Pages: 575-587
- NAID
  130005131811
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300008
[Journal Article] Node Query Preservation for Deterministic Linear Top-Down Tree Transducers2015
- Author(s)
  Kazuki Miyahara, Kenji Hashimoto, and Hiroyuki Seki
- Journal Title
  
  IEICE Trans. Inf. & Syst.
  
  Volume: E98.D Issue: 3 Pages: 512-523
- DOI
  10.1587/transinf.2014FCP0014
- NAID
  130004841871
- ISSN
  0916-8532, 1745-1361
- Language
  English
- Peer Reviewed / Acknowledgement Compliant
- Data Source
  KAKENHI-PROJECT-26870270
[Journal Article] Node Query Preservation for Deterministic Linear Top-Down Tree Transducers2015
- Author(s)
  Kazuki Miyahara, Kenji Hashimoto and Hiroyuki Seki
- Journal Title
  
  IEICE Transactions on Information and Systems
  
  Volume: E89-D(3) Pages: 512-523
- NAID
  110009642350
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300008
[Journal Article] Deciding Schema k-Secrecy for XML Databases2013
- Author(s)
  4. Chittaphone Phonharath, Kenji Hashimoto, and Hiroyuki Seki
- Journal Title
  
  IEICE Transactions on Information and Systems
  
  Volume: E96-D(6) Pages: 1268-1277
- NAID
  10031193987
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-23300008
[Presentation] ペントミノパズルの解の計数のための問題分割手法2024
- Author(s)
  小栗滉介, 酒井正彦, 橋本健二
- Organizer
  組合せゲーム・パズル(CGP) プロジェクト, 第18回研究集会
- Data Source
  KAKENHI-PROJECT-23K11045
[Presentation] An Ambiguity Hierarchy of Weighted Context-Free Grammars2023
- Author(s)
  Yusuke Inoue, Kenji Hashimoto and Hiroyuki Seki
- Organizer
  日本ソフトウェア科学会第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023), カテゴリ2
- Data Source
  KAKENHI-PROJECT-23K24824
[Presentation] 重み付き文脈自由文法の曖昧さ階層について2022
- Author(s)
  井上裕介，橋本健二，関浩之
- Organizer
  夏のLAシンポジウム，講演番号6
- Data Source
  KAKENHI-PROJECT-23K24824
[Presentation] 重み付き文脈自由文法の曖昧さ階層について2022
- Author(s)
  井上裕介，橋本健二，関浩之
- Organizer
  電子情報通信学会コンピュテーション研究会（講演番号：COMP2021-31）
- Data Source
  KAKENHI-PROJECT-19H04083
[Presentation] 命題論理式の全ての投射モデルを表現するBDDの構成法2021
- Author(s)
  磯貝孝明, 橋本健二, 酒井正彦
- Organizer
  人工知能学会第116回人工知能基本問題研究会
- Data Source
  KAKENHI-PROJECT-17K00098
[Presentation] Graph Compression by Tree Grammars and Direct Evaluation of Regular Path Query2019
- Author(s)
  Takeshi Takeda, Kenji Hashimoto and Hiroyuki Seki
- Organizer
  2019 IEEE 4th International Conference on Computer and Communication Systems (ICCCS 2019), CD104, 257-261
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H02684
[Presentation] On the Compositionality of Dynamic Leakage and Its Application to the Quantification Problem2019
- Author(s)
  Bao Trung Chu, Kenji Hashimoto, Hiroyuki Seki
- Organizer
  The 30th International Conference on Emerging Security Information, Systems and Technologies (SECURWARE 2019)
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-17K00098
[Presentation] 線形マルチボトムアップ木変換器の関数性の決定可能性2018
- Author(s)
  田端浩明，橋本健二
- Organizer
  情報処理学会プログラミング研究会
- Data Source
  KAKENHI-PROJECT-26870270
[Presentation] 有向グラフに対する圧縮法および圧縮グラフに対する頂点選択問合せ評価法の提案2018
- Author(s)
  武田健志,橋本健二,関浩之
- Organizer
  第10回データ工学と情報マネジメントに関するフォーラム（DEIM 2018）
- Data Source
  KAKENHI-PROJECT-15H02684
[Presentation] 非決定性選択木オートマトンの決定化2018
- Author(s)
  川本将也,橋本健二,関浩之
- Organizer
  情報処理学会第117回プログラミング研究会（講演番号：2017-4-(2)）
- Data Source
  KAKENHI-PROJECT-15H02684
[Presentation] トップ木に基づく圧縮データに対する直接更新法2017
- Author(s)
  西村卓, 橋本健二,関浩之
- Organizer
  電子通信学会ソフトウェアサイエンス研究会（講演番号：SS2017-22）
- Data Source
  KAKENHI-PROJECT-15H02684
[Presentation] 木文法に基づくグラフ圧縮法および圧縮グラフに対する頂点選択問合せ評価法2017
- Author(s)
  武田健志,橋本健二,関浩之
- Organizer
  電子通信学会ソフトウェアサイエンス研究会（講演番号：SS2017-1）
- Data Source
  KAKENHI-PROJECT-15H02684
[Presentation] 木文法に基づき圧縮されたXML文書に対するデータ値を考慮した直接更新法2017
- Author(s)
  高山隆之介，橋本健二，関浩之
- Organizer
  第9回データ工学と情報マネジメントに関するフォーラム（DEIM 2017）
- Place of Presentation
  那覇市，てんぷす那覇
- Year and Date
  2017-03-09
- Data Source
  KAKENHI-PROJECT-15H02684
[Presentation] モデル計数を用いた量的情報流解析のための論理式簡約と静的解析2017
- Author(s)
  中島聖斗，橋本健二，酒井正彦，関浩之
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2016-61）
- Place of Presentation
  那覇市，てんぷす那覇
- Year and Date
  2017-03-09
- Data Source
  KAKENHI-PROJECT-26540025
[Presentation] あるクラスのXPath式から先読み付き決定性選択木オートマトンへのスキーマを用いた変換2017
- Author(s)
  川本将也，橋本健二，関浩之
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2016-54）
- Place of Presentation
  京都市，京都工芸繊維大学
- Year and Date
  2017-01-26
- Data Source
  KAKENHI-PROJECT-15H02684
[Presentation] Counting for Recognizable and Algebraic Series2017
- Author(s)
  Hiroyuki Seki, Kenji Hashimoto and Trug Chu Bao
- Organizer
  情報処理学会第113回プログラミング研究会
- Place of Presentation
  東京都，東京大学
- Year and Date
  2017-03-03
- Data Source
  KAKENHI-PROJECT-26540025
[Presentation] 非線形トップダウン木変換器において問合せ保存が決定可能であるための十分条件2017
- Author(s)
  石原鷹, 橋本健二, 関浩之
- Organizer
  電子情報通信学会
- Place of Presentation
  てんぶす那覇, 沖縄
- Year and Date
  2017-03-10
- Data Source
  KAKENHI-PROJECT-26870270
[Presentation] Determinacy and Query Preservation of Tree Transducers2016
- Author(s)
  Kenji Hashimoto
- Organizer
  4th Int. Workshop on Trends in Tree Automata and Tree Transducers (TTATT 2016)
- Place of Presentation
  Yonsei University, Seoul, South Korea
- Year and Date
  2016-07-18
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-26870270
[Presentation] ①Direct Evaluation of Selecting Tree Automata on XML Documents Compressed with Top Trees2016
- Author(s)
  Kenji Hashimoto, Suguru Nishimura and Hiroyuki Seki
- Organizer
  4th International Workshop on Trends in Tree Automata and Tree Transducers
- Place of Presentation
  Seoul, South Korea
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15H02684
[Presentation] モデル計数を用いたXMLデータベースのk-安全性検査システムの高速化2016
- Author(s)
  浅井孝俊，橋本健二，関浩之
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  金沢市
- Year and Date
  2016-01-25
- Data Source
  KAKENHI-PROJECT-26540025
[Presentation] 圧縮構造化文書のための更新手法の拡張とその実験的評価2016
- Author(s)
  後藤健志，高山隆之介，橋本健二，関浩之
- Organizer
  電子情報通信学会ライフインテリジェンスとオフィス情報システム研究会（講演番号：LOIS2015-75）
- Place of Presentation
  沖縄県宮古島市役所中央公民館
- Year and Date
  2016-03-03
- Data Source
  KAKENHI-PROJECT-15H02684
[Presentation] 非決定性木変換器における問合せ保存2016
- Author(s)
  宮原一喜，橋本健二，関浩之
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2015-79）
- Place of Presentation
  沖縄県宮古青少年の家
- Year and Date
  2016-03-10
- Data Source
  KAKENHI-PROJECT-15H02684
[Presentation] トップ木に基づく木圧縮法の実装と問合せ処理法の提案2016
- Author(s)
  西村卓，橋本健二，関浩之
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2016-10）
- Place of Presentation
  札幌市，北海道立道民活動センター
- Year and Date
  2016-07-13
- Data Source
  KAKENHI-PROJECT-15H02684
[Presentation] #SMTツールを用いた量的情報流解析手法の高速化2016
- Author(s)
  中島聖斗，Trung Chu Bao, 橋本健二，酒井正彦，関浩之
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2016-26）
- Place of Presentation
  彦根市，彦根勤労福祉会館
- Year and Date
  2016-10-27
- Data Source
  KAKENHI-PROJECT-26540025
[Presentation] On the query preservation for nondeterministic tree transducers2016
- Author(s)
  Kazuki Miyahara, Kenji Hashimoto and Hiroyuki Seki
- Organizer
  日本ソフトウェア科学会第18回プログラミングおよびプログラミング言語ワークショップ
- Place of Presentation
  岡山県玉野市
- Year and Date
  2016-03-07
- Data Source
  KAKENHI-PROJECT-15H02684
[Presentation] 木文法に基づく圧縮XML文書に対するデータ値を考慮した直接更新手法2016
- Author(s)
  高山隆之介，橋本健二，関浩之
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2016-27）
- Place of Presentation
  彦根市，彦根勤労福祉会館
- Year and Date
  2016-10-27
- Data Source
  KAKENHI-PROJECT-15H02684
[Presentation] Query-based l-diversity2015
- Author(s)
  Chittaphone Phonharath, Ryonosuke Takayama, Kenji Hashimoto and Hiroyuki Seki
- Organizer
  7th International Conference on Advances in Databases, Knowledge, and Data Applications
- Place of Presentation
  Roma, Italy
- Year and Date
  2015-05-25
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-23300008
[Presentation] 拡張線形ボトムアップ木変換器の関数性の多項式時間判定2015
- Author(s)
  石原鷹, 橋本健二, 関浩之, 酒井正彦
- Organizer
  第104回情報処理学会・プログラミング研究会
- Place of Presentation
  富山市
- Year and Date
  2015-06-04
- Data Source
  KAKENHI-PROJECT-23300008
[Presentation] Query-based l-diversity2015
- Author(s)
  Chittaphone Phonharath, Ryunosuke Takayama, Kenji Hashimoto and Hiroyuki Seki
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  熊本市
- Year and Date
  2015-05-12
- Data Source
  KAKENHI-PROJECT-23300008
[Presentation] モデル計数を用いたXMLデータベースのk-安全性検査2015
- Author(s)
  浅井孝俊，上杉正紀，橋本健二，関浩之
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  熊本市
- Year and Date
  2015-05-12
- Data Source
  KAKENHI-PROJECT-26540025
[Presentation] 木文法に基づく圧縮XML文書に対する直接更新手法の評価2015
- Author(s)
  後藤健志，尾上栄浩，橋本健二，関浩之
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会，SS2014-45, 114(416), 73-78
- Place of Presentation
  鳥取県
- Year and Date
  2015-01-27
- Data Source
  KAKENHI-PROJECT-23300008
[Presentation] 木文法による圧縮XML文書に対する問合せと更新手法2014
- Author(s)
  尾上栄浩，橋本健二，関浩之
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会，SS2014-28, 114(271), 17-22
- Place of Presentation
  高知県
- Year and Date
  2014-10-23
- Data Source
  KAKENHI-PROJECT-23300008
[Presentation] Towards HMM parameter estimation with differential privacy2014
- Author(s)
  Nut Sornchumni, Kenji Hashimoto and Hiroyuki Seki
- Organizer
  情報処理学会第98回数理モデル化と問題解決研究会, 2014-MPS-98(25)
- Place of Presentation
  沖縄県
- Year and Date
  2014-06-27
- Data Source
  KAKENHI-PROJECT-26540025
[Presentation] Determinacy and Subsumption for Single-valued Bottom-up Tree Transducers2013
- Author(s)
  80. Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, Hiroyuki Seki and Toru Fujiwara
- Organizer
  Proceedings of the 7th International Conference on Language and Automata Theory and Applications (LATA 2013), April 2013, Lecture Notes in Computer Science 7810, pp.335-346
- Place of Presentation
  Bilbao, Spain
- Data Source
  KAKENHI-PROJECT-23300008
[Presentation] Determinacy and Subsumption for Single-valued Bottom-up Tree Transducers2013
- Author(s)
  Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, and Toru Fujiwara
- Organizer
  第15回プログラミングおよびプログラミング言語ワークショップ (PPL2013) カテゴリ 2
- Place of Presentation
  福島
- Year and Date
  2013-03-04
- Data Source
  KAKENHI-PROJECT-22700099
[Presentation] Determinacy and Subsumption for Single-valued Bottom-up Tree Transducers2013
- Author(s)
  Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, and Toru Fujiwara
- Organizer
  Proceedings of the 7th International Conference on Language and Automata Theory and Applications (LATA 2013)
- Place of Presentation
  Bilbao, Spain
- Year and Date
  2013-04-02
- Data Source
  KAKENHI-PROJECT-22700099
[Presentation] 決定性線形トップダウン木変換器における問合せ保存の決定可能性2012
- Author(s)
  澤田龍太、橋本健二、石原靖哲、藤原融
- Organizer
  ソフトウェアサイエンス研究会
- Place of Presentation
  てんぶす那覇(沖縄県)
- Year and Date
  2012-03-13
- Data Source
  KAKENHI-PROJECT-22700099
[Presentation] 決定性線形トップダウン木変換器における問合せ保存の決定可能性2012
- Author(s)
  澤田龍太, 橋本健二, 石原靖哲, 藤原融
- Organizer
  電子情報通信学会技術研究報告
- Place of Presentation
  沖縄
- Year and Date
  2012-03-14
- Data Source
  KAKENHI-PROJECT-22700099
[Presentation] 決定性線形下降木変換器における頂点問合せ保存2012
- Author(s)
  宮原一喜, 橋本健二, 関浩之
- Organizer
  電子情報通信学会技術研究報告
- Place of Presentation
  広島
- Year and Date
  2012-11-01
- Data Source
  KAKENHI-PROJECT-22700099
[Presentation] The Validity Problem of Positive XPath Queries in the Presence of DTDs2010
- Author(s)
  Kenji Hashimoto
- Organizer
  ソフトウェアサイエンス研究会
- Place of Presentation
  ホテル天坊(群馬県)
- Year and Date
  2010-12-15
- Data Source
  KAKENHI-PROJECT-22700099
[Presentation] Determinacy and Subsumption for Single-valued Bottom-up Tree Transducers
- Author(s)
  Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, Hiroyuki Seki, and Toru Fujiwara
- Organizer
  7th International Conference on Language and Automata Theory and Applications
- Place of Presentation
  Spain, Bilbao
- Data Source
  KAKENHI-PROJECT-22700099
[Presentation] 決定性線形下降木変換器における頂点問合せ保存
- Author(s)
  宮原一喜, 橋本健二, 関浩之
- Organizer
  電子情報通信学会ソフトウェアサイエンス研究会
- Place of Presentation
  広島市立大学
- Data Source
  KAKENHI-PROJECT-22700099
[Presentation] Verification of the Security against Inference Attacks on XML Databases
- Author(s)
  Chittaphone Phonharath, Kenji Hashimoto and Hiroyuki Seki
- Organizer
  1st International Workshop on Trends in Tree Automata and Tree T2ransducers (TTATT 2012)
- Place of Presentation
  名古屋大学
- Data Source
  KAKENHI-PROJECT-23300008
[Presentation] Static Analysis for k-secrecy against Inference Attacks
- Author(s)
  Chittaphone Phonharath, Kenji Hashimoto and Hiroyuki Seki
- Organizer
  Korea-Japan Joint Workshop on Software Science and Engineering
- Place of Presentation
  高麗大学, 韓国
- Data Source
  KAKENHI-PROJECT-23300008

1. Seki Hiroyuki (80196948)

# of Collaborated Projects: 5 results

# of Collaborated Products: 36 results
2. OGAWA MIZUHITO (40362024)

# of Collaborated Projects: 4 results

# of Collaborated Products: 0 results
3. 結縁祥治 (70230612)

# of Collaborated Projects: 3 results

# of Collaborated Products: 0 results
4. KAJI YUICHI (70263431)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results

Hashimoto Kenji 橋本 健二

HASHIMOTO Kenji 橋本 健二

Research Projects

Research Products

Co-Researchers

投射モデル計数のためのグラフ表現を用いた問題分類と計数戦略Principal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

データハイブリッドなリアクティブプログラムの解析技術と自動合成・説明抽出への応用

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Quantitative extension of formal models and its application to software analysis

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Projected Model Counters for Quantitative Information Flow AnalysisPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Static Analysis and Dynamic Monitoring Methods for Software Security and Privacy

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Verification of query preservation for tree and graph transformationsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Formal models for quantitative analysis of software security

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Software Analysis based on Formaly Language Theory and Its Application to Security Verification

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Derivation and update of XML schemas using conceptual model and query setPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Journal Article] Weighted Multiple Context-Free Grammars2023

Author(s)

Journal Title

DOI

ISSN

Year and Date

Language

Data Source

[Journal Article] An Ambiguity Hierarchy of Weighted Context-Free Grammars2022

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] On the Compositionality of Dynamic Leakage and Its Application to the Quantification Problem2019

Author(s)

Journal Title

Data Source

[Journal Article] Quantifying Dynamic Leakage - Complexity Analysis and Model Counting-based Calculation -2019

Author(s)

Journal Title

Hashimoto Kenji 橋本健二

HASHIMOTO Kenji 橋本健二