関浩之 SEKI Hiroyuki

研究者番号	80196948
その他のID
外部サイト
所属 (現在)	2025年度: 武庫川女子大学, 社会情報学部, 教授
所属 (過去の研究課題情報に基づく) *注記	2025年度: 武庫川女子大学, 社会情報学部, 教授 2017年度 – 2024年度: 名古屋大学, 情報学研究科, 教授 2012年度 – 2016年度: 名古屋大学, 情報科学研究科, 教授 2000年度 – 2012年度: 奈良先端科学技術大学院大学, 情報科学研究科, 教授 1997年度 – 1998年度: 奈良先端科学技術大学院大学, 情報科学研究科, 教授 … もっと見る 1994年度 – 1995年度: 奈良先端科学技術大学院大学, 情報科学研究科, 助教授 1993年度: 大阪大学, 基礎工学部, 助教授 1990年度 – 1991年度: 大阪大学, 基礎工学部, 講師 1987年度 – 1988年度: 大阪大学, 基礎工学部, 助手隠す
審査区分/研究分野	研究代表者計算機科学 / ソフトウエア / 小区分60050:ソフトウェア関連 / ソフトウェア / 生体生命情報学研究代表者以外情報工学 / 情報工学 / 小区分60050:ソフトウェア関連 / 中区分60:情報科学、情報工学およびその関連分野 / ソフトウェア / ソフトウエア / 情報学
キーワード	研究代表者セキュリティ / XML / モデル検査 / アクセス制御 / 形式言語理論 / MODEL CHECKING / FORMAL VERIFICATION / 形式的検証 / ソフトウェア検証 / 静的解析 … もっと見る / 実行履歴 / 木オートマトン / 形式言語 / レジスタ計算モデル / プログラム自動合成 / レジスタオートマトン / FORMAL LANGUAGE / EXECUTION HISTORY / STATIC ANALYSIS / ACCESS CONTROL / SECURITY / プライバシー / 量的情報流 / 木文法 / 圧縮 / 木変換器 / 情報保存性 / データベース / 計算複雑さ / 形式文法 / 構文解析 / 代数的仕様 / 合理性 / ソフトウェア自動合成 / グラフゲーム / あいまいさ階層 / 対話的学習 / 重み付き計算モデル / プログラム自動生成 / プライバシー保護 / 計算論的ゲーム構造 / プログラム合成 / mu-計算 / 重み付き文脈自由文法 / アクティブ学習 / ゲーム構造 / 線形時相論理 / XPath / 直線的文脈木文法 / 有向グラフ / 文脈自由文法 / トップ木 / 自動解析 / ソフトウェア解析 / 動的情報漏洩量 / プログラムセキュリティ / レジスタ文脈自由文法 / SMTソルバ / マルウェア解析 / 文法圧縮 / ソフトウェア学 / SECURITY POLICY / ACITVE SOFTWARE / セキュリティポリシー / アクティブソフトウェア / POLICY / VERIFICATION / SAFETY / ACESS CONTROL / ポリシー / 検証 / 安全性 / ABSTRACT SEQUENTIAL MACHINE / ALGEBRAIC SPECIFICATION / TASK DIAGRAM / PROTOTYPE GENERATION / INTERACTIVE SYSTEM / USER INTERFACE / ソフトウェア設計法 / 抽象的順序機械 / タスク図 / プロトタイプ自動生成 / インタラクティブシステム / ユーザインタフェース / 情報理論 / タイミング攻撃 / 隠れマルコフモデル / SAT / SMT / 差分プライバシー / 時間攻撃 / XMLデータベース / k-安全性 / RNA２次構造 / 最適化 / 機械学習 / RNA構造アラインメント / RNA間相互作用 / RNA2次構造 / RNA-タンパク質相互作用 / バイオインフォマティクス / 頂点問合せ / 情報流解 / 自動生成 / スタック検査 / 情報流解析 / 問合せ言語 / ホーン節 / 論理型言語 / 系列データモデル / World Wide Web / カテゴリ構造 / 情報検索 / 文書データベース / アクセス権 / 型検査 / オブジェクト指向データベース / オートマトン / ソフトウェア工学 / 通信プロトコル / 順序機械 / 構文規則 / 自然言語 … もっと見る研究代表者以外並行計算モデル / 代数的仕様記述 / OSIセションプロトコル / 不変式 / プロトコル機械 / 通信プロトコルの検証 / SMTソルバー / Assume-Gurantee / 時間付並行逆計算 / 到達可能性解析 / 分割検証 / アクティブ学習アルゴリズム / イベントクロックオートマトン / 拡張有限状態オートマトン / Assume-Gurantee検証 / 頑健性 / アクティブ学習 / 深層学習 / 形式仕様自動抽出 / 形式的意味自動抽出 / マルウェア意味解析 / ネィティブコード / API / 記号実行 / マルウェア解析 / プライバシー / RE-DOS攻撃 / 自然言語処理 / マルウェア / バイナリコード / 命令セット / 動的記号実行 / 逆計算 / ソフトウェアデバッグ / ソフトウエア学 / 実時間性 / 計算モデル / 並行プログラミング言語 / 離散時間モデル / デバッグモデル / 並行計算 / 因果無矛盾性 / 構造操作意味規則 / バックトラック逆計算 / 逆計算モデル / 通信プロセスモデル / プログラミング言語 / 通信プロセス計算 / 実時間プログラム / 逆方向計算 / 逆方向デバッグ技法 / 可逆抽象機械 / 可逆計算実行環境 / 可逆デバッガ / 可逆実行環境 / 並行プログラム / 可逆計算 / 抽象的順序機械 / プロトコル仕様 / システム間相互接続(OSI) / プログラム仕様の詳細化(実現) / 抽象的データタイプ / 自然語の意味定義 / プログラム仕様 / 充足性判定 / 多項式制約 / SMTソルバ / 数式処理 / 制約解消 / 仕様検証 / 仕様記述 / ソフトウェア / エキスパ-トシステム / 会計原則 / プロトコルの安全性 / 拡張有限状態機械 / (プロトコル機械の)分解,縮退 / Eventuality / 有限状態の順序機械隠す

グラフゲームにおける合理性に基づく検証と自動合成の統一的解決法に関する研究研究代表者
- 研究代表者
  
  関浩之
- 研究期間 (年度)
  2025 – 2027
- 研究種目
  
  基盤研究(C)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  武庫川女子大学
データハイブリッドなリアクティブプログラムの解析技術と自動合成・説明抽出への応用研究代表者
- 研究代表者
  
  関浩之
- 研究期間 (年度)
  2022 – 2024
- 研究種目
  
  基盤研究(B)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  名古屋大学
データと時間を扱うオートマトンネットワークの合成的アクティブ学習に基づく設計手法
- 研究代表者
  
  結縁祥治
- 研究期間 (年度)
  2021 – 2025
- 研究種目
  
  基盤研究(B)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  名古屋大学
数理論理手法と人工知能手法の融合に基づくマルウェアの自動意味理解
- 研究代表者
  
  小川瑞史
- 研究期間 (年度)
  2020 – 2025
- 研究種目
  
  挑戦的研究(開拓)
- 審査区分
  
  中区分60:情報科学、情報工学およびその関連分野
- 研究機関
  北陸先端科学技術大学院大学
ソフトウェアモデルへの量的尺度の導入とプログラム解析への応用研究代表者
- 研究代表者
  
  関浩之
- 研究期間 (年度)
  2019 – 2022
- 研究種目
  
  基盤研究(B)
- 審査区分
  
  小区分60050:ソフトウェア関連
- 研究機関
  名古屋大学
実時間性を持つ並行プログラムに対するデバッグのための逆方向計算モデル
- 研究代表者
  
  結縁祥治
- 研究期間 (年度)
  2017 – 2020
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  ソフトウェア
- 研究機関
  名古屋大学
ソフトウェアセキュリティ・プライバシーのための静的解析・動的検査法研究代表者
- 研究代表者
  
  関浩之
- 研究期間 (年度)
  2015 – 2018
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  ソフトウェア
- 研究機関
  名古屋大学
ソフトウェアセキュリティのための量を扱う計算モデルの提案研究代表者
- 研究代表者
  
  関浩之
- 研究期間 (年度)
  2014 – 2017
- 研究種目
  
  挑戦的萌芽研究
- 研究分野
  
  ソフトウェア
- 研究機関
  名古屋大学
近似手法と数式処理の融合による実数多項式制約の効率化
- 研究代表者
  
  小川瑞史
- 研究期間 (年度)
  2011 – 2014
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  ソフトウエア
- 研究機関
  北陸先端科学技術大学院大学
形式言語理論に基づく静的解析法とその安全性検査への応用研究代表者
- 研究代表者
  
  関浩之
- 研究期間 (年度)
  2011 – 2015
- 研究種目
  
  基盤研究(B)
- 研究分野
  
  ソフトウエア
- 研究機関
  名古屋大学
   奈良先端科学技術大学院大学
機械学習と最適化に基づく RNA タンパク質相互作用予測研究代表者
- 研究代表者
  
  関浩之
- 研究期間 (年度)
  2011 – 2012
- 研究種目
  
  挑戦的萌芽研究
- 研究分野
  
  生体生命情報学
- 研究機関
  奈良先端科学技術大学院大学
言語組込みアクセス制御の高信頼化に関する研究研究代表者
- 研究代表者
  
  関浩之
- 研究期間 (年度)
  2008 – 2010
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  ソフトウエア
- 研究機関
  奈良先端科学技術大学院大学
無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究研究代表者
- 研究代表者
  
  関浩之
- 研究期間 (年度)
  2006 – 2007
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  ソフトウエア
- 研究機関
  奈良先端科学技術大学院大学
アクティブソフトウェアの設計検証手法に関する研究研究代表者
- 研究代表者
  
  関浩之
- 研究期間 (年度)
  2004 – 2005
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  ソフトウエア
- 研究機関
  奈良先端科学技術大学院大学
動的アクセス制御を行なうソフトウェアのセキュリティ検証に関する研究研究代表者
- 研究代表者
  
  関浩之
- 研究期間 (年度)
  2002 – 2003
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  奈良先端科学技術大学院大学
ユーザタスクの形式的記述に基づくインタラクティブシステム設計法研究代表者
- 研究代表者
  
  関浩之
- 研究期間 (年度)
  2000 – 2001
- 研究種目
  
  基盤研究(C)
- 研究分野
  
  計算機科学
- 研究機関
  奈良先端科学技術大学院大学
文書データベースにおける演繹的問合せ言語の設計研究代表者
- 研究代表者
  
  関浩之
- 研究期間 (年度)
  1997 – 1998
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  奈良先端科学技術大学院大学
オブジェクト指向データベースプログラムの型検査法とアクセス制御への応用研究代表者
- 研究代表者
  
  関浩之
- 研究期間 (年度)
  1995
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  奈良先端科学技術大学院大学
制約指向型形式文法に対する構文解析法に関する研究研究代表者
- 研究代表者
  
  関浩之
- 研究期間 (年度)
  1994
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  奈良先端科学技術大学院大学
自然言語で書かれたソフトウェア仕様書解析のための統合環境の開発研究代表者
- 研究代表者
  
  関浩之
- 研究期間 (年度)
  1993
- 研究種目
  
  奨励研究(A)
- 研究分野
  
  計算機科学
- 研究機関
  大阪大学
通信プロトコルの検証法の検討とその検証支援システムの製作
- 研究代表者
  
  藤井護
- 研究期間 (年度)
  1991
- 研究種目
  
  一般研究(C)
- 研究分野
  
  情報工学
- 研究機関
  大阪大学
会計知識の代数的仕様記述と専門家システム構築に関する研究
- 研究代表者
  
  森將豪
- 研究期間 (年度)
  1991
- 研究種目
  
  一般研究(C)
- 研究分野
  
  情報学
- 研究機関
  滋賀大学
動作系列集合による通信プロトコルの代数的仕様から状態遷移機械への変換
- 研究代表者
  
  藤井護
- 研究期間 (年度)
  1990
- 研究種目
  
  一般研究(C)
- 研究分野
  
  情報工学
- 研究機関
  大阪大学
OSIセション層の代数的仕様記述から
- 研究代表者
  
  藤井護
- 研究期間 (年度)
  1988
- 研究種目
  
  一般研究(C)
- 研究分野
  
  計算機工学
- 研究機関
  大阪大学
プログラム仕様記述に用いる自然語の形式的意味定義と処理系に関する研究
- 研究代表者
  
  嵩忠雄
- 研究期間 (年度)
  1987
- 研究種目
  
  一般研究(C)
- 研究分野
  
  情報工学
- 研究機関
  大阪大学

[雑誌論文] Pumping Lemmas for Languages Expressed by Computational Models with Registers2023
- 著者名/発表者名
  Rindo Nakanishi, Yoshiaki Takata and Hiroyuki Seki
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E106.D 号: 3 ページ: 284-293
- DOI
  10.1587/transinf.2022FCP0004
- ISSN
  0916-8532, 1745-1361
- 年月日
  2023-03-01
- 言語
  英語
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-23K24824
[雑誌論文] A Subclass of Mu-Calculus with the Freeze Quantifier Equivalent to Register Automata2023
- 著者名/発表者名
  Yoshiaki Takata, Akira Onishi, Ryoma Senda and Hiroyuki Seki
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E106.D 号: 3 ページ: 294-302
- DOI
  10.1587/transinf.2022FCP0003
- ISSN
  0916-8532, 1745-1361
- 年月日
  2023-03-01
- 言語
  英語
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-23K24824
[雑誌論文] Weighted Multiple Context-Free Grammars2023
- 著者名/発表者名
  INOUE Yusuke, HASHIMOTO Kenji, SEKI Hiroyuki
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E106.D 号: 3 ページ: 309-318
- DOI
  10.1587/transinf.2022FCP0006
- ISSN
  0916-8532, 1745-1361
- 年月日
  2023-03-01
- 言語
  英語
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-23KJ1127, KAKENHI-PROJECT-23K24824
[雑誌論文] A Game-Theoretic Approach to Indistinguishability of Winning Objectives as?User Privacy2023
- 著者名/発表者名
  Nakanishi Rindo、Takata Yoshiaki、Seki Hiroyuki
- 雑誌名
  
  Lecture Notes in Computer Science
  
  巻: 14446 ページ: 36-54
- DOI
  10.1007/978-3-031-47963-2_4
- ISBN
  9783031479625, 9783031479632
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-23K21654
[雑誌論文] An Ambiguity Hierarchy of Weighted Context-Free Grammars2022
- 著者名/発表者名
  Yusuke Inoue, Kenji Hashimoto and Hiroyuki Seki
- 雑誌名
  
  26th International Conference on Implementation and Application of Automata (CIAA 2022)
  
  巻: LNCS 13266 ページ: 238-250
- DOI
  10.1007/978-3-031-07469-1_19
- ISBN
  9783031074684, 9783031074691
- 査読あり
- データソース
  KAKENHI-PROJECT-23K24824
[雑誌論文] Complexity results on register context-free grammars and related formalisms2022
- 著者名/発表者名
  Senda Ryoma、Takata Yoshiaki、Seki Hiroyuki
- 雑誌名
  
  Theoretical Computer Science
  
  巻: 923 ページ: 99-125
- DOI
  10.1016/j.tcs.2022.04.055
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-20K20625, KAKENHI-PROJECT-19H04083
[雑誌論文] Reduction of Register Pushdown Systems with Freshness Property to Pushdown Systems in LTL Model Checking2022
- 著者名/発表者名
  TAKATA Yoshiaki、SENDA Ryoma、SEKI Hiroyuki
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E105.D 号: 9 ページ: 1620-1623
- DOI
  10.1587/transinf.2022EDL8030
- ISSN
  0916-8532, 1745-1361
- 年月日
  2022-09-01
- 言語
  英語
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-20K20625, KAKENHI-PROJECT-19H04083
[雑誌論文] Active Learning for Deterministic Bottom-Up Nominal Tree Automata2022
- 著者名/発表者名
  Nakanishi Rindo、Takata Yoshiaki、Seki Hiroyuki
- 雑誌名
  
  ICTAC 2022, Lecture Notes in Computer Science
  
  巻: 13572 ページ: 342-359
- DOI
  10.1007/978-3-031-17715-6_22
- ISBN
  9783031177149, 9783031177156
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-23K21654, KAKENHI-PROJECT-23K24824
[雑誌論文] LTL Model Checking for Register Pushdown Systems2021
- 著者名/発表者名
  SENDA Ryoma、TAKATA Yoshiaki、SEKI Hiroyuki
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E104.D 号: 12 ページ: 2131-2144
- DOI
  10.1587/transinf.2020EDP7265
- NAID
  130008123331
- ISSN
  0916-8532, 1745-1361
- 年月日
  2021-12-01
- 言語
  英語
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-21J14332, KAKENHI-PROJECT-19H04083, KAKENHI-PROJECT-23K21654
[雑誌論文] Optimal run problem for weighted register automata2021
- 著者名/発表者名
  Hiroyuki Seki, Reo Yoshimura and Yoshiaki Takata
- 雑誌名
  
  Theoretical Computer Science
  
  巻: 850 ページ: 185-201
- DOI
  10.1016/j.tcs.2020.11.003
- NAID
  120007145968
- 査読あり
- データソース
  KAKENHI-PROJECT-19H04083
[雑誌論文] Reactive synthesis from visibly register pushdown automata2021
- 著者名/発表者名
  SENDA Ryoma, TAKATA Yoshiaki, SEKI Hiroyuki
- 雑誌名
  
  Theoretical Aspects of Computing, 18th International Colloquium (ICTAC 2021)
  
  巻: LNCS 12819 ページ: 334-353
- 査読あり
- データソース
  KAKENHI-PROJECT-19H04083
[雑誌論文] Forward Regularity Preservation Property of Register Pushdown Systems2021
- 著者名/発表者名
  Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E104.D 号: 3 ページ: 370-380
- DOI
  10.1587/transinf.2020FCP0008
- NAID
  130007993135
- ISSN
  0916-8532, 1745-1361
- 年月日
  2021-03-01
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-19H04083
[雑誌論文] Automating Time-series Safety Analysis for Automotive Control Systems Using Weighted Partial Max-SMT2020
- 著者名/発表者名
  Shuichi Sato, Shogo Hattori, Hiroyuki Seki, Yutaka Inamori, Shoji Yuen
- 雑誌名
  
  Journal of Information Processing
  
  巻: 28 号: 0 ページ: 124-135
- DOI
  10.2197/ipsjjip.28.124
- NAID
  130007798629
- ISSN
  1882-6652
- 言語
  英語
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-17K19969, KAKENHI-PROJECT-17H01722
[雑誌論文] Reachability of Patterned Conditional Pushdown Systems2020
- 著者名/発表者名
  Li Xin、Gardy Patrick、Deng Yu-Xin、Seki Hiroyuki
- 雑誌名
  
  Journal of Computer Science and Technology
  
  巻: 35 号: 6 ページ: 1295-1311
- DOI
  10.1007/s11390-020-0541-z
- 査読あり / オープンアクセス / 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K20625, KAKENHI-PROJECT-19H04083
[雑誌論文] Generalized Register Context-Free Grammars2020
- 著者名/発表者名
  Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E103.D 号: 3 ページ: 540-548
- DOI
  10.1587/transinf.2019FCP0010
- NAID
  130007804170
- ISSN
  0916-8532, 1745-1361
- 年月日
  2020-03-01
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-19H04083
[雑誌論文] Complexity Results on Register Pushdown Automata2019
- 著者名/発表者名
  Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki
- 雑誌名
  
  3rd Workshop on Software Foundations for Data Interoperability
  
  巻: - ページ: 1-5
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-19H04083
[雑誌論文] Graph Compression by Tree Grammars and Direct Evaluation of Regular Path Query2019
- 著者名/発表者名
  Takeda Takeshi、Hashimoto Kenji、Seki Hiroyuki
- 雑誌名
  
  International Conference on Computer and Communication Systems
  
  巻: 4 ページ: 257-262
- DOI
  10.1109/ccoms.2019.8821730
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-17H01722
[雑誌論文] Optimal Run Problem for Weighted Register Automata2019
- 著者名/発表者名
  Hiroyuki Seki, Reo Yoshimura and Yoshiaki Takata
- 雑誌名
  
  16th International Colloquium on Theoretical Aspects of Computing
  
  巻: LNCS 11884 ページ: 91-110
- NAID
  120007145968
- 査読あり
- データソース
  KAKENHI-PROJECT-19H04083
[雑誌論文] On the Compositionality of Dynamic Leakage and Its Application to the Quantification Problem2019
- 著者名/発表者名
  Bao Trung Chu, Kenji Hashimoto and Hiroyuki Seki
- 雑誌名
  
  13th International Conference on Emerging Security Information, Systems and Technologies
  
  巻: - ページ: 1-8
- 査読あり / オープンアクセス
- データソース
  KAKENHI-PROJECT-19H04083
[雑誌論文] Quantifying Dynamic Leakage - Complexity Analysis and Model Counting-based Calculation -2019
- 著者名/発表者名
  Bao Trung Chu, Kenji Hashimoto, Hiroyuki Seki
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E102.D 号: 10 ページ: 1952-1965
- DOI
  10.1587/transinf.2019EDP7132
- NAID
  130007722186
- ISSN
  0916-8532, 1745-1361
- 年月日
  2019-10-01
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-17K00098, KAKENHI-PROJECT-19H04083
[雑誌論文] Counting Algorithms for Recognizable and Algebraic Series2018
- 著者名/発表者名
  Trung CHU Bao, Kenji Hashimoto and Hiroyuki Seki
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E101.D 号: 6 ページ: 1479-1490
- DOI
  10.1587/transinf.2017FOP0003
- NAID
  130007382455
- ISSN
  0916-8532, 1745-1361
- 年月日
  2018-06-01
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-26540025
[雑誌論文] Direct Update of XML Documents with Data Values Compressed by Tree Grammars2018
- 著者名/発表者名
  Kenji Hashimoto, Ryunosuke Takayama and Hiroyuki Seki
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E101.D 号: 6 ページ: 1467-1478
- DOI
  10.1587/transinf.2017FOP0002
- NAID
  130007382456
- ISSN
  0916-8532, 1745-1361
- 年月日
  2018-06-01
- 言語
  英語
- 査読あり
- データソース
  KAKENHI-PROJECT-15H02684, KAKENHI-PROJECT-17H01722
[雑誌論文] Determinacy and Subsumption of Single-valued Bottom-up Tree Transducers2016
- 著者名/発表者名
  Kenji Hashimoto, Ryuta Swada, Yasunori Ishihara, Hiroyuki Seki and Toru Fujiwara
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E99-D ページ: 575-587
- NAID
  130005131811
- 査読あり
- データソース
  KAKENHI-PROJECT-23300008
[雑誌論文] Query Rewriting for Nondeterministic Tree Transducers2016
- 著者名/発表者名
  Kazuki Miyahara, Kenji Hashimoto and Hiroyuki Seki
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E99-D(6) ページ: 1410-1419
- NAID
  130005154738
- 査読あり / 謝辞記載あり
- データソース
  KAKENHI-PROJECT-15H02684
[雑誌論文] Node Query Preservation for Deterministic Linear Top-Down Tree Transducers2015
- 著者名/発表者名
  Kazuki Miyahara, Kenji Hashimoto and Hiroyuki Seki
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E89-D(3) ページ: 512-523
- NAID
  110009642350
- 査読あり
- データソース
  KAKENHI-PROJECT-23300008
[雑誌論文] Node Query Preservation for Deterministic Linear Top-Down Tree Transducers2013
- 著者名/発表者名
  Kazuki Miyahara, Kenji Hashimoto, Hiroyuki Seki
- 雑誌名
  
  Electric Proceedings in Theoretical Computer Science
  
  巻: 137 ページ: 27-37
- DOI
  10.4204/eptcs.134.4
- NAID
  130004841871
- 査読あり
- データソース
  KAKENHI-PROJECT-23300005
[雑誌論文] Deciding Schema k-Secrecy for XML Databases2013
- 著者名/発表者名
  Chittaphone Phonharath, Kenji Hashimoto, and Hiroyuki Seki
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E96-D ページ: 1268-1277
- NAID
  10031193987
- 査読あり
- データソース
  KAKENHI-PROJECT-23300005
[雑誌論文] Deciding Schema k-Secrecy for XML Databases2013
- 著者名/発表者名
  4. Chittaphone Phonharath, Kenji Hashimoto, and Hiroyuki Seki
- 雑誌名
  
  IEICE Transactions on Information and Systems
  
  巻: E96-D(6) ページ: 1268-1277
- NAID
  10031193987
- 査読あり
- データソース
  KAKENHI-PROJECT-23300008
[雑誌論文] Formal language theoretic approach to the disclosure tree strategy in trust management2009
- 著者名/発表者名
  Yoshiaki Takata Hiroyuki Seki
- 雑誌名
  
  IEICE Transactions on Information adn Systems E92-D(2)
  
  ページ: 200-210
- 査読あり
- データソース
  KAKENHI-PROJECT-20500034
[雑誌論文] Comparison of the Expressive Power of Language-based Access Control Models2009
- 著者名/発表者名
  Yoshiaki Takata, Hirovuki Seki
- 雑誌名
  
  IEICE Transactions on Information and Systems E92-D(5)
  
  ページ: 1033-1036
- NAID
  10026809360
- データソース
  KAKENHI-PROJECT-20500034
[雑誌論文] Formal Language Theoret ic Approach to the Disclosure Tree Strategy in Trust Management2009
- 著者名/発表者名
  Yoshiaki Takata, Hiroyuki Seki
- 雑誌名
  
  IEICE Transactions on Information and Systems E92-D(2)
  
  ページ: 200-210
- 査読あり
- データソース
  KAKENHI-PROJECT-20500034
[雑誌論文] Comparison of the Expressive Power of Language-based Access Control Models2009
- 著者名/発表者名
  Yoshiaki Takata, Hiroyuki Seki
- 雑誌名
  
  IEICE Transactions on Information and Systems E92-D(5)(掲載決定)
- NAID
  10026809360
- 査読あり
- データソース
  KAKENHI-PROJECT-20500034
[雑誌論文] Comparison of the expressive power of language-based access control models2009
- 著者名/発表者名
  Yoshiaki Takata Hiroyuki Seki
- 雑誌名
  
  IEICES Transactions on Information and Systems E92-D(5)
  
  ページ: 1033-1036
- NAID
  10026809360
- 査読あり
- データソース
  KAKENHI-PROJECT-20500034
[雑誌論文] A Formal Model and Its Verification of History-based Access Control2008
- 著者名/発表者名
  Yoshiaki, Takata, Jing, Wang, Hiroyuki, Seki
- 雑誌名
  
  IEICE Transactions on Information and Systems J91-D(4)
  
  ページ: 847-858
- NAID
  110007381033
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-18500023
[雑誌論文] 実行履歴に基づくアクセス制御の形式モデルと検証2008
- 著者名/発表者名
  高田喜朗、王静、関浩之
- 雑誌名
  
  電子情報通信学会論文誌D J91-D(4)
  
  ページ: 847-858
- NAID
  110007381033
- 説明
  「研究成果報告書概要(和文)」より
- 査読あり
- データソース
  KAKENHI-PROJECT-18500023
[雑誌論文] 実行履歴に基づくアクセス制御の形式モデルと検証2008
- 著者名/発表者名
  高田喜朗, 王静, 関浩之
- 雑誌名
  
  電子情報通信学会論文誌D J91-D(4)
  
  ページ: 847-858
- NAID
  110007381033
- 査読あり
- データソース
  KAKENHI-PROJECT-18500023
[雑誌論文] Languages Modulo Normalization2007
- 著者名/発表者名
  Hitoshi Ohsaki and Hiroyuki Seki
- 雑誌名
  
  Lecture Notes in Artificial Intelligence (FroCos07) 4720
  
  ページ: 221-236
- 説明
  「研究成果報告書概要(和文)」より
- 査読あり
- データソース
  KAKENHI-PROJECT-18500023
[雑誌論文] HBACプログラムのモデル検査の情報フロー解析への応用2007
- 著者名/発表者名
  王, 伊藤, 高田, 関
- 雑誌名
  
  電子情報通信学会2007年総合大会 D-3-1 (CD-ROM)
- データソース
  KAKENHI-PROJECT-18500023
[雑誌論文] 実行履歴に基づくアクセス制御モデルの表現能力の比較2007
- 著者名/発表者名
  王, 高田, 関
- 雑誌名
  
  日本ソフトウェア科学会第9回プログラミングおよびプログラミング言語ワークショップ論文集
  
  ページ: 90-90
- データソース
  KAKENHI-PROJECT-18500023
[雑誌論文] 実行履歴に基づくアクセス制御付きプログラムのモデル検査法による情報フロー解析2007
- 著者名/発表者名
  王, 伊藤, 高田, 関
- 雑誌名
  
  電子情報通信学会技術研究報告 SS2006-72
  
  ページ: 7-12
- NAID
  110006239524
- データソース
  KAKENHI-PROJECT-18500023
[雑誌論文] A Labeled Transition Model A-LTS for History-based Aspect Weaving and Its Expressive Power2007
- 著者名/発表者名
  Isao, Yagi, Yoshiaki, Takata, Hiroyuki, Seki
- 雑誌名
  
  MICE Transactions on Information and Systems E90-D(5)
  
  ページ: 799-807
- NAID
  110007519523
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-18500023
[雑誌論文] A Grammatical Approach to RNA-RNA Interaction Prediction2007
- 著者名/発表者名
  Yuki, Kato, Tatsuya, Akutsu, Hiroyuki, Seki
- 雑誌名
  
  2007 International Symposium on Computational Models for Life Sciences(CMLS'07)
  
  ページ: 197-206
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-18500023
[雑誌論文] A Grammatical Approach to RNA-RNA Interaction Prediction2007
- 著者名/発表者名
  Yuki Kato, Tatsuya Akutsu and Hiroyuki Seki
- 雑誌名
  
  2007 International Symposium on Computational Models for Life Sciences (CMLS'07)
  
  ページ: 197-206
- 説明
  「研究成果報告書概要(和文)」より
- 査読あり
- データソース
  KAKENHI-PROJECT-18500023
[雑誌論文] Computational Complexity of the Disclosure Tree Strategy in Trust Negotiation2007
- 著者名/発表者名
  Yoshiaki, Takata, Hiroyuki, Seki
- 雑誌名
  
  2007 International Conference on Next Em Information Networking(NEINE07)
  
  ページ: 323-328
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-18500023
[雑誌論文] A Labeled Transition Model A-LTS for Histroy-based Aspect Weaving and Its Expressive Power2007
- 著者名/発表者名
  Isao Yagi, Yoshiaki Takata, Hiroyuki Seki
- 雑誌名
  
  IEICE Transactions on Information and Systems E90-D(5) (印刷中)
- データソース
  KAKENHI-PROJECT-18500023
[雑誌論文] Languages Modulo Normalization2007
- 著者名/発表者名
  Hitoshi, Ohsaki, Hiroyuki, Seki
- 雑誌名
  
  Lecture Notes in Artificial Intelligence(FroCos07) 4720
  
  ページ: 221-236
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-18500023
[雑誌論文] Computational Complexity of the Disclosure Tree Strategy in Trust Negotiation2007
- 著者名/発表者名
  Yoshiaki Takata and Hiroyuki Seki
- 雑誌名
  
  2007 International Conference on Next Era Information Networking (NEINE07)
  
  ページ: 323-328
- 説明
  「研究成果報告書概要(和文)」より
- 査読あり
- データソース
  KAKENHI-PROJECT-18500023
[雑誌論文] A Labeled Transition Model A-LTS for History-based Aspect Weaving and Its Expressive Power2007
- 著者名/発表者名
  Isao Yagi, Yoshiaki Takata and Hiroyuki Seki
- 雑誌名
  
  IEICE Transactions on Information and Systems E90-D(5)
  
  ページ: 799-807
- NAID
  110007519523
- 説明
  「研究成果報告書概要(和文)」より
- 査読あり
- データソース
  KAKENHI-PROJECT-18500023
[雑誌論文] Computational Complexity of the Disclosure Tree Strategy in Trust Negotiation2007
- 著者名/発表者名
  Yoshiaki Takata and Hiroyuki Seki
- 雑誌名
  
  2007 International Conference on Next Era Information Networking(NEINE07)
  
  ページ: 323-328
- 査読あり
- データソース
  KAKENHI-PROJECT-18500023
[雑誌論文] Languages Modulo Normalization2007
- 著者名/発表者名
  Hitoshi Ohsaki and Hiroyuki Seki
- 雑誌名
  
  Lecture Notes in Artificial Intelligence(FroCos07) 4720
  
  ページ: 221-236
- 査読あり
- データソース
  KAKENHI-PROJECT-18500023
[雑誌論文] A Grammatical Approach to RNA-RNA Interaction Prediction2007
- 著者名/発表者名
  Yuki Kato, Tatsuya Akutsu and Hiroyuki Seki
- 雑誌名
  
  2007 International Symposium on Computational Models for Life Sciences(CMLS'07)
  
  ページ: 197-206
- 査読あり
- データソース
  KAKENHI-PROJECT-18500023
[雑誌論文] HBAC: A Model for History-based Access Control and Its Model Checking2006
- 著者名/発表者名
  Jing Wang, Yoshiaki Takata and Hiroyuki Seki
- 雑誌名
  
  Lecture Notes in Computer Science (11th European Symposium On Research In Computer Security) 4189
  
  ページ: 263-278
- 説明
  「研究成果報告書概要(和文)」より
- 査読あり
- データソース
  KAKENHI-PROJECT-18500023
[雑誌論文] HBAC : A Model for History-based Access Control and Its Model Checking2006
- 著者名/発表者名
  Jing Wang, Yoshiaki Takata, Hiroyuki Seki
- 雑誌名
  
  11th European Symposium on Research In Computer Security, Lecture Notes in Computer Science 4189
  
  ページ: 263-278
- データソース
  KAKENHI-PROJECT-18500023
[雑誌論文] HBAC: A Model for History-based Access Control and Its Model Checking2006
- 著者名/発表者名
  Jing, Wang, Yoshiaki, Takata, Hiroyuki, Seki
- 雑誌名
  
  Lecture Notes in Computer Science(11th European Symposium On Research In Computer Security 4189
  
  ページ: 263-278
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-18500023
[雑誌論文] A Formal Model for Access Control Based on Execution History2005
- 著者名/発表者名
  Hiroyuki Seki, et al.
- 雑誌名
  
  第4回クリティカル・ソフトウェアワークショップ予稿集
  
  ページ: 63-67
- NAID
  10015556971
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-16500019
[雑誌論文] A Formal Model for Access Control Based on Execution History2005
- 著者名/発表者名
  H.Seki, et al.
- 雑誌名
  
  第4回クリティカル・ソフトウェアワークショップ予稿集
  
  ページ: 63-67
- NAID
  10015556971
- データソース
  KAKENHI-PROJECT-16500019
[雑誌論文] A Formal Model for Access Control Based on Execution History2005
- 著者名/発表者名
  H.Seki, et al.
- 雑誌名
  
  4^<th> Workshop of Critical Software
  
  ページ: 63-67
- NAID
  10015556971
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-16500019
[学会発表] Answer Refinement Modification: Refinement Type System for Algebraic Effects and Handlers.2024
- 著者名/発表者名
  Fuga Kawamata, Taro Sekiyama, Hiroshi Unno, Tachio Terauchi
- 学会等名
  51st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2024)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K20625
[学会発表] A Game-theoretic Approach to Indistinguishability of Winning Objectives as User Privacy,2023
- 著者名/発表者名
  Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki
- 学会等名
  20th International Colloquium on Theoretical Aspects of Computing (ICTAC 2023)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K20625
[学会発表] データ木書換え系の正則保存性 -線形単項標準形に分解可能なクラス-2023
- 著者名/発表者名
  坂尾優斗，関浩之
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2022-62），電子情報通信学会技術研究報告 Vol.122, No.432, pp.91-96
- データソース
  KAKENHI-PROJECT-23K24824
[学会発表] An Ambiguity Hierarchy of Weighted Context-Free Grammars2023
- 著者名/発表者名
  Yusuke Inoue, Kenji Hashimoto and Hiroyuki Seki
- 学会等名
  日本ソフトウェア科学会第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023), カテゴリ2
- データソース
  KAKENHI-PROJECT-23K24824
[学会発表] Pumping Lemmas for Languages Expressed by Computational Models with Registers2022
- 著者名/発表者名
  中西凜道，高田喜朗，関浩之
- 学会等名
  冬のLAシンポジウム（講演番号16）
- データソース
  KAKENHI-PROJECT-19H04083
[学会発表] データ語書換え系の正則保存性とそのプロトコル検証への応用2022
- 著者名/発表者名
  坂尾優斗，関浩之
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2021-46）
- データソース
  KAKENHI-PROJECT-19H04083
[学会発表] 重み付き文脈自由文法の曖昧さ階層について2022
- 著者名/発表者名
  井上裕介，橋本健二，関浩之
- 学会等名
  電子情報通信学会コンピュテーション研究会（講演番号：COMP2021-31）
- データソース
  KAKENHI-PROJECT-19H04083
[学会発表] Active Learning for Deterministic Bottom-up Nominal Tree Automata2022
- 著者名/発表者名
  Rindo Nakanishi, Yoshiaki Takata, Hiroyuki Seki
- 学会等名
  19th International Colloquium on Theoretical Aspects of Computing (ICTAC 2022), LNCS 13572, pp.342-359
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-20K20625
[学会発表] 確率的ゲームにおける非協調的合成問題2022
- 著者名/発表者名
  小出走，関浩之
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2022-23），電子情報通信学会技術研究報告 Vol.122, No.225, pp.10-15
- データソース
  KAKENHI-PROJECT-23K24824
[学会発表] 確率的Mullerゲームにおける非協調的合成問題2022
- 著者名/発表者名
  小出走，関浩之
- 学会等名
  組合せゲーム・パズルプロジェクト第16回研究集会（講演番号：16）
- データソース
  KAKENHI-PROJECT-19H04083
[学会発表] 重み付き文脈自由文法の曖昧さ階層について2022
- 著者名/発表者名
  井上裕介，橋本健二，関浩之
- 学会等名
  夏のLAシンポジウム，講演番号6
- データソース
  KAKENHI-PROJECT-23K24824
[学会発表] Active Learning for Deterministic Bottom-up Nominal Tree Automata2022
- 著者名/発表者名
  Rindo Nakanishi, Yoshiaki Takata and Hiroyuki Seki
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2022-24），電子情報通信学会技術研究報告 Vol.122, No.225, pp.16-21
- データソース
  KAKENHI-PROJECT-23K24824
[学会発表] 重み付き多重文脈自由文法とその性質について2021
- 著者名/発表者名
  井上裕介，関浩之
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2020-28）
- データソース
  KAKENHI-PROJECT-19H04083
[学会発表] レジスタオートマトンと能力等価な凍結演算子付きmu-計算の部分クラス2021
- 著者名/発表者名
  大西晃，仙田涼摩，高田喜朗，関浩之
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2021-17）
- データソース
  KAKENHI-PROJECT-19H04083
[学会発表] レジスタをもつ計算モデルの表現する言語に対するポンプの補題2021
- 著者名/発表者名
  中西凜道，仙田涼摩，高田喜朗，関浩之
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2020-26）
- データソース
  KAKENHI-PROJECT-19H04083
[学会発表] Reactive Synthesis from Visibly Register Pushdown Automata2021
- 著者名/発表者名
  Ryoma Senda, Yoshiaki Takata, Hiroyuki Seki
- 学会等名
  18th International Colloquium on Theoretical Aspects of Computing (ICTAC 2021), Springer LNCS 12819, pp.334-353
- データソース
  KAKENHI-PROJECT-20K20625
[学会発表] レジスタオートマトンに変換可能な凍結演算子付き線形時相論理の部分クラス2021
- 著者名/発表者名
  大西晃，仙田涼摩，高田喜朗，関浩之
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2020-29）
- データソース
  KAKENHI-PROJECT-19H04083
[学会発表] モデル計数に基づく動的QIF解析法の提案と評価2020
- 著者名/発表者名
  福田大地，関浩之
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2019-33）
- データソース
  KAKENHI-PROJECT-19H04083
[学会発表] On the Regularity Preservation Property of Register Pushdown Systems2020
- 著者名/発表者名
  Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki
- 学会等名
  2019 冬のLAシンポジウム
- データソース
  KAKENHI-PROJECT-19H04083
[学会発表] LTL Model Checking for Register Pushdown Systems2020
- 著者名/発表者名
  Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2020-6）
- データソース
  KAKENHI-PROJECT-19H04083
[学会発表] 動的情報漏洩量の解析および適応的制御入力最適化2019
- 著者名/発表者名
  三輪竜矢，関浩之
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2018-68）
- データソース
  KAKENHI-PROJECT-15H02684
[学会発表] 重み付きレジスタオートマトンの最小重み実行問題2019
- 著者名/発表者名
  吉村玲勇，関浩之
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2018-37）
- データソース
  KAKENHI-PROJECT-15H02684
[学会発表] Generalized Register Context-Free Grammars2019
- 著者名/発表者名
  Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki
- 学会等名
  13th International Conference on Language and Automata Theory and Applications (LATA 2019), Sankt Petersburg, LNCS 11417, 259-271
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15H02684
[学会発表] Computing Optimal Weight in Weighted Register Automata and Related Decision Problems2019
- 著者名/発表者名
  Reo Yoshimura, Yoshiaki Takata and Hiroyuki Seki
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2019-16）
- データソース
  KAKENHI-PROJECT-19H04083
[学会発表] Graph Compression by Tree Grammars and Direct Evaluation of Regular Path Query2019
- 著者名/発表者名
  Takeshi Takeda, Kenji Hashimoto and Hiroyuki Seki
- 学会等名
  2019 IEEE 4th International Conference on Computer and Communication Systems (ICCCS 2019), CD104, 257-261
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15H02684
[学会発表] Graph Compression by Tree Grammars and Direct Evaluation of Regular Path Query,2019
- 著者名/発表者名
  Takeshi Takeda, Kenji Hashimoto and Hiroyuki Seki
- 学会等名
  2019 IEEE 4th International Conference on Computer and Communication Systems (ICCCS 2019)
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-17H01722
[学会発表] Complexity Results on Register Context-Free Grammars and Register Tree Automata2018
- 著者名/発表者名
  Ryoma Senda, Yoshiaki Takata and Hiroyuki Seki
- 学会等名
  15th International Colloquium on Theoretical Aspects of Computing (ICTAC 2018), Stellenbosch, LNCS 11187, 415-434
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15H02684
[学会発表] 有向グラフに対する圧縮法および圧縮グラフに対する頂点選択問合せ評価法の提案2018
- 著者名/発表者名
  武田健志,橋本健二,関浩之
- 学会等名
  第10回データ工学と情報マネジメントに関するフォーラム（DEIM 2018）
- データソース
  KAKENHI-PROJECT-15H02684
[学会発表] 非決定性選択木オートマトンの決定化2018
- 著者名/発表者名
  川本将也,橋本健二,関浩之
- 学会等名
  情報処理学会第117回プログラミング研究会（講演番号：2017-4-(2)）
- データソース
  KAKENHI-PROJECT-15H02684
[学会発表] 木文法に基づくグラフ圧縮法および圧縮グラフに対する頂点選択問合せ評価法2017
- 著者名/発表者名
  武田健志,橋本健二,関浩之
- 学会等名
  電子通信学会ソフトウェアサイエンス研究会（講演番号：SS2017-1）
- データソース
  KAKENHI-PROJECT-15H02684
[学会発表] モデル計数を用いた量的情報流解析のための論理式簡約と静的解析2017
- 著者名/発表者名
  中島聖斗，橋本健二，酒井正彦，関浩之
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2016-61）
- 発表場所
  那覇市，てんぷす那覇
- 年月日
  2017-03-09
- データソース
  KAKENHI-PROJECT-26540025
[学会発表] あるクラスのXPath式から先読み付き決定性選択木オートマトンへのスキーマを用いた変換2017
- 著者名/発表者名
  川本将也，橋本健二，関浩之
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2016-54）
- 発表場所
  京都市，京都工芸繊維大学
- 年月日
  2017-01-26
- データソース
  KAKENHI-PROJECT-15H02684
[学会発表] Counting for Recognizable and Algebraic Series2017
- 著者名/発表者名
  Hiroyuki Seki, Kenji Hashimoto and Trug Chu Bao
- 学会等名
  情報処理学会第113回プログラミング研究会
- 発表場所
  東京都，東京大学
- 年月日
  2017-03-03
- データソース
  KAKENHI-PROJECT-26540025
[学会発表] 木文法に基づき圧縮されたXML文書に対するデータ値を考慮した直接更新法2017
- 著者名/発表者名
  高山隆之介，橋本健二，関浩之
- 学会等名
  第9回データ工学と情報マネジメントに関するフォーラム（DEIM 2017）
- 発表場所
  那覇市，てんぷす那覇
- 年月日
  2017-03-09
- データソース
  KAKENHI-PROJECT-15H02684
[学会発表] トップ木に基づく圧縮データに対する直接更新法2017
- 著者名/発表者名
  西村卓, 橋本健二,関浩之
- 学会等名
  電子通信学会ソフトウェアサイエンス研究会（講演番号：SS2017-22）
- データソース
  KAKENHI-PROJECT-15H02684
[学会発表] トップ木に基づく木圧縮法の実装と問合せ処理法の提案2016
- 著者名/発表者名
  西村卓，橋本健二，関浩之
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2016-10）
- 発表場所
  札幌市，北海道立道民活動センター
- 年月日
  2016-07-13
- データソース
  KAKENHI-PROJECT-15H02684
[学会発表] 木文法に基づく圧縮XML文書に対するデータ値を考慮した直接更新手法2016
- 著者名/発表者名
  高山隆之介，橋本健二，関浩之
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2016-27）
- 発表場所
  彦根市，彦根勤労福祉会館
- 年月日
  2016-10-27
- データソース
  KAKENHI-PROJECT-15H02684
[学会発表] On the query preservation for nondeterministic tree transducers2016
- 著者名/発表者名
  Kazuki Miyahara, Kenji Hashimoto and Hiroyuki Seki
- 学会等名
  日本ソフトウェア科学会第18回プログラミングおよびプログラミング言語ワークショップ
- 発表場所
  岡山県玉野市
- 年月日
  2016-03-07
- データソース
  KAKENHI-PROJECT-15H02684
[学会発表] 非決定性木変換器における問合せ保存2016
- 著者名/発表者名
  宮原一喜，橋本健二，関浩之
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2015-79）
- 発表場所
  沖縄県宮古青少年の家
- 年月日
  2016-03-10
- データソース
  KAKENHI-PROJECT-15H02684
[学会発表] ①Direct Evaluation of Selecting Tree Automata on XML Documents Compressed with Top Trees2016
- 著者名/発表者名
  Kenji Hashimoto, Suguru Nishimura and Hiroyuki Seki
- 学会等名
  4th International Workshop on Trends in Tree Automata and Tree Transducers
- 発表場所
  Seoul, South Korea
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15H02684
[学会発表] モデル計数を用いたXMLデータベースのk-安全性検査システムの高速化2016
- 著者名/発表者名
  浅井孝俊，橋本健二，関浩之
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会
- 発表場所
  金沢市
- 年月日
  2016-01-25
- データソース
  KAKENHI-PROJECT-26540025
[学会発表] 圧縮構造化文書のための更新手法の拡張とその実験的評価2016
- 著者名/発表者名
  後藤健志，高山隆之介，橋本健二，関浩之
- 学会等名
  電子情報通信学会ライフインテリジェンスとオフィス情報システム研究会（講演番号：LOIS2015-75）
- 発表場所
  沖縄県宮古島市役所中央公民館
- 年月日
  2016-03-03
- データソース
  KAKENHI-PROJECT-15H02684
[学会発表] #SMTツールを用いた量的情報流解析手法の高速化2016
- 著者名/発表者名
  中島聖斗，Trung Chu Bao, 橋本健二，酒井正彦，関浩之
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会（講演番号：SS2016-26）
- 発表場所
  彦根市，彦根勤労福祉会館
- 年月日
  2016-10-27
- データソース
  KAKENHI-PROJECT-26540025
[学会発表] ②Automating Time Series Safety Analysis for Automotive Control Systems in STPA using Weighted Partial Max-SMT2016
- 著者名/発表者名
  S. Sato, S. Hattori, H. Seki, Y. Inamori and S. Yuen
- 学会等名
  5th International Workshop on Formal Techniques for Safety-Critical Systems
- 発表場所
  Tokyo, Japan
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-15H02684
[学会発表] OSS開発におけるパッチの特徴量を用いた再投稿要求の予測2016
- 著者名/発表者名
  安藤聡志，伊原彰紀，関浩之，平尾俊貴，則兼卓人，松本健一
- 学会等名
  情報処理学会第194回ソフトウェア工学研究会
- 発表場所
  岐阜市，長良川国際会議場
- 年月日
  2016-11-17
- データソース
  KAKENHI-PROJECT-15H02684
[学会発表] 拡張線形ボトムアップ木変換器の関数性の多項式時間判定2015
- 著者名/発表者名
  石原鷹, 橋本健二, 関浩之, 酒井正彦
- 学会等名
  第104回情報処理学会・プログラミング研究会
- 発表場所
  富山市
- 年月日
  2015-06-04
- データソース
  KAKENHI-PROJECT-23300008
[学会発表] Automated Hazard Analysis with pMAX-SMT for Automobile Syst2015
- 著者名/発表者名
  Shogo Hattori, Shoji Yuen, Hiroyuki Seki and Shuichi Sato
- 学会等名
  15th International Workshop on Automated Verification of Critical Systems
- 発表場所
  Edinburgh, U.K.
- 年月日
  2015-09-02
- データソース
  KAKENHI-PROJECT-15H02684
[学会発表] Query-based l-diversity2015
- 著者名/発表者名
  Chittaphone Phonharath, Ryonosuke Takayama, Kenji Hashimoto and Hiroyuki Seki
- 学会等名
  7th International Conference on Advances in Databases, Knowledge, and Data Applications
- 発表場所
  Roma, Italy
- 年月日
  2015-05-25
- 国際共著/国際学会である
- データソース
  KAKENHI-PROJECT-23300008
[学会発表] Query-based l-diversity2015
- 著者名/発表者名
  Chittaphone Phonharath, Ryunosuke Takayama, Kenji Hashimoto and Hiroyuki Seki
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会
- 発表場所
  熊本市
- 年月日
  2015-05-12
- データソース
  KAKENHI-PROJECT-23300008
[学会発表] RSA暗号の高速化手法に対するタイミング攻撃の情報理論的安全性評価2015
- 著者名/発表者名
  小林靖幸，楫勇一，関浩之，伊藤実
- 学会等名
  2015年暗号と情報セキュリティシンポジウム, 4F1-2
- 発表場所
  福岡県
- 年月日
  2015-01-23
- データソース
  KAKENHI-PROJECT-26540025
[学会発表] モデル計数を用いたXMLデータベースのk-安全性検査2015
- 著者名/発表者名
  浅井孝俊，上杉正紀，橋本健二，関浩之
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会
- 発表場所
  熊本市
- 年月日
  2015-05-12
- データソース
  KAKENHI-PROJECT-26540025
[学会発表] 木文法に基づく圧縮XML文書に対する直接更新手法の評価2015
- 著者名/発表者名
  後藤健志，尾上栄浩，橋本健二，関浩之
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会，SS2014-45, 114(416), 73-78
- 発表場所
  鳥取県
- 年月日
  2015-01-27
- データソース
  KAKENHI-PROJECT-23300008
[学会発表] Quantitative evaluation of the key information that is learned through timing attack – The contribution of bucketing technique for RSA cryptosystem -2014
- 著者名/発表者名
  Yasuyuki Kobayashi, Yuichi Kaji, Hiroyuki Seki and Minoru Ito
- 学会等名
  電子情報通信学会情報セキュリティ研究会, ISEC2014-35, 114(115), 253-258
- 発表場所
  北海道
- 年月日
  2014-07-04
- データソース
  KAKENHI-PROJECT-26540025
[学会発表] Information Theoretical Evaluation of the Bucketing Technique to Mitigate Timing Attacks2014
- 著者名/発表者名
  Yasuyuki Kobayashi, Yuichi Kaji, Hiroyuki Seki
- 学会等名
  International Symposium on Information Theory and Its Applications, 574-578
- 発表場所
  Melbourne, Australia
- 年月日
  2014-10-09
- データソース
  KAKENHI-PROJECT-26540025
[学会発表] Towards HMM parameter estimation with differential privacy2014
- 著者名/発表者名
  Nut Sornchumni, Kenji Hashimoto and Hiroyuki Seki
- 学会等名
  情報処理学会第98回数理モデル化と問題解決研究会, 2014-MPS-98(25)
- 発表場所
  沖縄県
- 年月日
  2014-06-27
- データソース
  KAKENHI-PROJECT-26540025
[学会発表] セキュリティやプライバシーの定量的尺度について2014
- 著者名/発表者名
  関浩之
- 学会等名
  電子情報通信学会情報理論研究会, IT2014-52, 114(353), 13-18
- 発表場所
  富山県
- 年月日
  2014-12-09
- 招待講演
- データソース
  KAKENHI-PROJECT-26540025
[学会発表] 木文法による圧縮XML文書に対する問合せと更新手法2014
- 著者名/発表者名
  尾上栄浩，橋本健二，関浩之
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会，SS2014-28, 114(271), 17-22
- 発表場所
  高知県
- 年月日
  2014-10-23
- データソース
  KAKENHI-PROJECT-23300008
[学会発表] Determinacy and Subsumption for Single-valued Bottom-up Tree Transducers2013
- 著者名/発表者名
  80. Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, Hiroyuki Seki and Toru Fujiwara
- 学会等名
  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
- 発表場所
  Bilbao, Spain
- データソース
  KAKENHI-PROJECT-23300008
[学会発表] Verification of the Security against Inference Attacks on XML Databases(査読付)2012
- 著者名/発表者名
  Chittaphone Phonharath, Kenji Hashimoto, Hiroyuki Seki
- 学会等名
  1st International Workshop on Trends in Tree Automata and Tree Transducers (TTATT2012)
- 発表場所
  名古屋大学(2012年6月2日)(採録・発表予定)
- 年月日
  2012-06-02
- データソース
  KAKENHI-PROJECT-23300005
[学会発表] システム設計・検証の数理2011
- 著者名/発表者名
  関浩之
- 学会等名
  2011年電子情報通信学会総合大会
- 発表場所
  東京都市大学で開催予定が中止となり、DVDの配布をもって、すでに公表されているので、大会での発表は成立とみなす。
- 年月日
  2011-03-14
- データソース
  KAKENHI-PROJECT-20500034
[学会発表] A Comparative Approach to RNA Pseudoknotted Structure Prediction Based on Multiple Context-Free Grammar2011
- 著者名/発表者名
  Hiroyuki Seki
- 学会等名
  8th Asian Workshop on Foundation of Software
- 発表場所
  中国　上海
- データソース
  KAKENHI-PROJECT-23650153
[学会発表] A comparative approach to RNA pseudoknotted structure prediction based on multiple context-free grammar2011
- 著者名/発表者名
  Hiroyuki Seki
- 学会等名
  8th Asian Workshop on Foundation of Software
- 発表場所
  中国上海
- 年月日
  2011-05-13
- データソース
  KAKENHI-PROJECT-23650153
[学会発表] Automatic generation of history-based access control from information flow specification2010
- 著者名/発表者名
  Yoshiaki Takata, Hiroyuki Seki
- 学会等名
  8^<th> International Symposium on Automated Technology for Verification and Analysis
- 発表場所
  Singapore
- 年月日
  2010-09-23
- データソース
  KAKENHI-PROJECT-20500034
[学会発表] Automatic generation of history-based access control from information flow specification2010
- 著者名/発表者名
  高田喜朗, 関浩之
- 学会等名
  8^<th> International Symposium on Automated Technology for Verification and Analysis, 259-275
- 発表場所
  Singapore, Lecture Notes in Computer Science 6252
- 年月日
  2010-09-23
- データソース
  KAKENHI-PROJECT-20500034
[学会発表] 情報流仕様に基づくアクセス権検査文自動挿入法2010
- 著者名/発表者名
  高田喜朗, 関浩之, 森田剛正
- 学会等名
  日本ソフトウェア科学会第12回プログラミングおよびプログラミング言語ワークショップ
- 発表場所
  香川県仲多度郡琴平町
- 年月日
  2010-03-04
- データソース
  KAKENHI-PROJECT-20500034
[学会発表] Automatic insertion of access checks into recursive programs2010
- 著者名/発表者名
  Hiroyuki Seki
- 学会等名
  3^<rd> SJTU-JAIST Workshop on Formal Method
- 発表場所
  金沢市
- 年月日
  2010-06-04
- データソース
  KAKENHI-PROJECT-20500034
[学会発表] Tree language theoretic approach to security verification for XML databases2010
- 著者名/発表者名
  Kenji Hashimoto, Hiroyuki Seki
- 学会等名
  3^<rd> Japan-Vietnam Workshop on Software Engineering 2010
- 発表場所
  Hanoi, Vietnam
- 年月日
  2010-12-09
- データソース
  KAKENHI-PROJECT-20500034
[学会発表] 情報流仕様に基づくアクセス権検査文自動生成法2010
- 著者名/発表者名
  高田喜朗, 関浩之, 森田剛正
- 学会等名
  日本ソフトウェア科学会第12回プログラミングおよびプログラミング論文集,161-175
- 発表場所
  香川県多度郡琴平町
- 年月日
  2010-03-04
- データソース
  KAKENHI-PROJECT-20500034
[学会発表] アクセス制御 -言語ベースセキュリティをめざして-2009
- 著者名/発表者名
  関浩之
- 学会等名
  日本ソフトウェア科学会第7回ディペンダブルシステムワークショップ
- 発表場所
  北海道亀田郡七飯町
- 年月日
  2009-07-15
- データソース
  KAKENHI-PROJECT-20500034
[学会発表] 情報流仕様に基づくアクセス権検査文自動挿入法2009
- 著者名/発表者名
  高田喜朗, 森田剛正, 関浩之
- 学会等名
  日本ソフトウェア科学会第7回ディペンダブルシステムワークショップ
- 発表場所
  北海道亀田郡七飯町
- 年月日
  2009-07-15
- データソース
  KAKENHI-PROJECT-20500034
[学会発表] 情報流仕様に基づくアクセス制御文の自動生成2009
- 著者名/発表者名
  森田剛正, 高田喜朗, 関浩之
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会
- 発表場所
  北海道北見市
- 年月日
  2009-08-07
- データソース
  KAKENHI-PROJECT-20500034
[学会発表] 情報流解析に基づくアクセス権検査文自動挿入法2009
- 著者名/発表者名
  高田喜朗, 森田剛正, 関浩之
- 学会等名
  日本ソフトウェア科学会第7回ディワークショップ論文集,99-103
- 発表場所
  北海道亀田郡七飯町
- 年月日
  2009-07-15
- データソース
  KAKENHI-PROJECT-20500034
[学会発表] 情報流仕様に基づくアクセス権検査文自動挿入法2009
- 著者名/発表者名
  高田喜朗, 森田剛正, 関浩之
- 学会等名
  日本ソフトウェア科学会第11回プログラミングおよびプログラミング言語ワークショップ
- 発表場所
  高山
- データソース
  KAKENHI-PROJECT-20500034
[学会発表] ソフトウェアの静的解析と動的検査-言語ベースセキュリティを例にして-2009
- 著者名/発表者名
  関浩之
- 学会等名
  情報処理学会組込みシステムシンポジウム2009
- 発表場所
  東京都渋谷区
- 年月日
  2009-10-21
- データソース
  KAKENHI-PROJECT-20500034
[学会発表] Synthesis and Verification of History-based Access Control2009
- 著者名/発表者名
  関浩之
- 学会等名
  The 2009 SJTU-JAIST Joint Workshop on Formal Methods
- 発表場所
  中華人民共和国上海市
- 年月日
  2009-06-17
- データソース
  KAKENHI-PROJECT-20500034
[学会発表] ソフトウェアの静的解析と動的検査-言語ベースセキュリティを例にして-2009
- 著者名/発表者名
  関浩之
- 学会等名
  情報処理学会組込みシステムシンポジウム2009
- 発表場所
  東京
- 年月日
  2009-10-21
- データソース
  KAKENHI-PROJECT-20500034
[学会発表] アクセス制御-言語ベースセキュリティをめざして-2009
- 著者名/発表者名
  関浩之
- 学会等名
  日本ソフトウェア科学会第7回ディ論文集,93-98
- 発表場所
  北海道亀田郡七飯町
- 年月日
  2009-07-15
- データソース
  KAKENHI-PROJECT-20500034
[学会発表] 情報流解析に基づくアクセス制御文の自動生成2009
- 著者名/発表者名
  森田剛正, 高田喜朗, 関浩之
- 学会等名
  電子情報通信学会ソフトウェアサイエンス研究会,電子情報通信学会技術研究報告SS2009-23
- 発表場所
  北海道北見市
- 年月日
  2009-08-07
- データソース
  KAKENHI-PROJECT-20500034
[学会発表] 情報流からの言語組み込みアクセス制御文の挿入2008
- 著者名/発表者名
  高田喜朗, 関浩之
- 学会等名
  日本ソフトウェア科学会第6回ディペンダブルワークショップ論文集,141-143
- 発表場所
  函館
- 年月日
  2008-07-04
- データソース
  KAKENHI-PROJECT-20500034
[学会発表] 情報流仕様からの言語組み込みアクセス制御文の自動挿入2008
- 著者名/発表者名
  高田喜朗, 関浩之
- 学会等名
  日本ソフトウェア科学会第6回デイペンダブルシステムワークショツプ
- 発表場所
  函館
- データソース
  KAKENHI-PROJECT-20500034
[学会発表] 木オートマトンを用いたXML処理2008
- 著者名/発表者名
  高田喜朗, 関浩之
- 学会等名
  電子情報通信学会技術研究報告SS2008-62
- 発表場所
  高知
- データソース
  KAKENHI-PROJECT-20500034
[学会発表] 多重文脈自由文法の自動検証への応用について2008
- 著者名/発表者名
  関浩之
- 学会等名
  日本ソフトウェア科学会第6回デイペンダブルシステムワークショツプ
- 発表場所
  函館
- データソース
  KAKENHI-PROJECT-20500034
[学会発表] 情報流仕様に基づくアクセス権検査文自動挿入法の検討2008
- 著者名/発表者名
  高田喜朗, 森田剛正, 関浩之
- 学会等名
  平成20年度電子情報通信学会関西支部大会B-07
- 発表場所
  京都
- データソース
  KAKENHI-PROJECT-20500034
[学会発表] 自己合成法を利用した再帰プログラムの情報流解析について2008
- 著者名/発表者名
  伊藤信裕, 関浩之
- 学会等名
  電子情報通信学会技術研究報告SS2007-62
- 発表場所
  長崎
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-18500023
[学会発表] 実行履歴に基づくアクセス制御付きプログラムのモデル検査法による情報フロー解析2007
- 著者名/発表者名
  王静, 伊藤信裕, 高田喜朗, 関浩之
- 学会等名
  電子情報通信学会技術研究報告SS2006-72
- 発表場所
  名古屋
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-18500023
[学会発表] モデル検査によるHBACプログラムの情報流解析2007
- 著者名/発表者名
  高田喜朗, 関浩之
- 学会等名
  日本ソフトウェア科学会第5回ディペンダブルシステムワークショップ
- 発表場所
  函館
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-18500023
[学会発表] On Comparison of the Expressive Power of Access Control Models Based on Execution History2007
- 著者名/発表者名
  Jing, Wang, Yoshiaki, Takata, Hiroyuki, Seki
- 学会等名
  The 9th JSSST Workshop on Programming and Programming Languages
- 発表場所
  Kaga
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-18500023
[学会発表] HBACプログラムのモデル検査の情報フロー解析への応用2007
- 著者名/発表者名
  王静, 伊藤信裕, 高田喜朗, 関浩之
- 学会等名
  電子情報通信学会2007年総合大会D-3-1
- 発表場所
  東京
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-18500023
[学会発表] 実行履歴に基づくアクセス制御モデルの表現能力の比較2007
- 著者名/発表者名
  王静, 高田喜朗, 関浩之
- 学会等名
  日本ソフトウェア科学会第9回プログラミングおよびプログラミング言語ワークショップ
- 発表場所
  加賀
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-18500023
[学会発表] On Information Flow Analysis for Recursive Programs Based on Self-Composition2007
- 著者名/発表者名
  Nobuhiro, Ito, Hiroyuki, Seki
- 学会等名
  Technical Report of IEICE, SS2007-62
- 発表場所
  Nagasaki
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-18500023
[学会発表] Comparison of the Expressive Power of Language-based Access Control Models2007
- 著者名/発表者名
  Hiroyuki Seki and Yoshiaki Takata
- 学会等名
  日本ソフトウェア科学会第5回ディペンダブルシステムワークショップ
- 発表場所
  函館
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-18500023
[学会発表] An Application of HBAC Model Checking to Information Flow Analysis2007
- 著者名/発表者名
  Jing, Wang, Nobuhiro, Ito, Yoshiaki, Takata, Hiroyuki, Seki
- 学会等名
  IEICE General Conference
- 発表場所
  Tokyo
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-18500023
[学会発表] Information Flow Analysis Using Model Checking for Programs with History-based Access Control2007
- 著者名/発表者名
  Jing, Wang, Nobuhiro, Ito, Yoshiaki, Takata, Hiroyuki, Seki
- 学会等名
  Technical Report of IEICE, SS2006-72
- 発表場所
  Nagoya
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-18500023
[学会発表] An Efficient Model Checking Method for Programs with History-based Access Control2006
- 著者名/発表者名
  Jing, Wang, Yoshiaki, Takata, Hiroyuki, Seki
- 学会等名
  Technical Report of IEICE, SS2006-38
- 発表場所
  Sapporo
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-18500023
[学会発表] An Efficient Model Checking Method for Programs with History-based Access Control2006
- 著者名/発表者名
  Jing Wang, Yoshiaki Takata and Hiroyuki Seki
- 学会等名
  電子情報通信学会技術研究報告SS2006-38
- 発表場所
  札幌
- 説明
  「研究成果報告書概要(和文)」より
- データソース
  KAKENHI-PROJECT-18500023
[学会発表] Determinacy and Subsumption for Single-valued Bottom-up Tree Transducers
- 著者名/発表者名
  Kenji Hashimoto,Ryuta Sawada,Yasunori Ishihara,Hiroyuki Seki,Toru Fujiwara
- 学会等名
  7th International Conference on Language and Automata Theory and Applications (LATA 2013), Springer LNCS 7810, pp.335-346（査読付）
- 発表場所
  Bilbao, Spain
- データソース
  KAKENHI-PROJECT-23300005
[学会発表] 決定性線形下降木変換器における頂点問合せ保存
- 著者名/発表者名
  宮原一喜, 橋本健二, 関浩之
- 学会等名
  電子情報通信学会技術研究報告, SS2012-38, Vol.112, No.275, pp.13-18（査読なし）
- 発表場所
  広島市立大学
- データソース
  KAKENHI-PROJECT-23300005
[学会発表] Verification of the Security against Inference Attacks on XML Databases
- 著者名/発表者名
  Chittaphone Phonharath, Kenji Hashimoto and Hiroyuki Seki
- 学会等名
  1st International Workshop on Trends in Tree Automata and Tree T2ransducers (TTATT 2012)
- 発表場所
  名古屋大学
- データソース
  KAKENHI-PROJECT-23300008
[学会発表] Comparison of the Expressive Power of Language-based Access Control Models
- 著者名/発表者名
  Hiroyuki, Seki, Yoshiaki, Takata
- 学会等名
  The 5th JSSST Dependable System Workshop
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-18500023
[学会発表] Multiple Context-Free Grammars: Basic Properties and Complexity
- 著者名/発表者名
  Hiroyuki Seki
- 学会等名
  the Second Workshop on Multiple Context-Free Grammars and Related Formalisms (MCFG+2)
- 発表場所
  奈良県文化会館
- 招待講演
- データソース
  KAKENHI-PROJECT-23300008
[学会発表] Trans-Organizational Role-Based Access Control
- 著者名/発表者名
  Ramon Mejia, Yuichi Kaji and Hiroyuki Seki
- 学会等名
  ACM Computer and Communications Security (ACM CCS) 2011
- 発表場所
  Chicago, USA
- データソース
  KAKENHI-PROJECT-23300008
[学会発表] Determinacy and Subsumption of Single-valued Bottom-up Tree Transducers
- 著者名/発表者名
  Kenji Hashimoto, Ryuta Sawada, Yasunori Ishihara, Hiroyuki Seki, Toru Fujiwara
- 学会等名
  第15回プログラミングおよびプログラミング言語ワークショップ（PPL 2013）, カテゴリ2（査読なし）
- 発表場所
  会津若松市
- データソース
  KAKENHI-PROJECT-23300005
[学会発表] Runtime Control of a Program based on Quantitative Information Flow
- 著者名/発表者名
  Bao Trung Chu, Kenji Hashimoto, and Hiroyuki Seki
- 学会等名
  IEICE SS2013-60
- 発表場所
  愛知県　豊田中央研究所
- データソース
  KAKENHI-PROJECT-23300005
[学会発表] Static Analysis for k-secrecy against Inference Attacks
- 著者名/発表者名
  Chittaphone Phonharath, Kenji Hashimoto and Hiroyuki Seki
- 学会等名
  Korea-Japan Joint Workshop on Software Science and Engineering
- 発表場所
  高麗大学, 韓国
- データソース
  KAKENHI-PROJECT-23300008
[学会発表] Information Flow Analysis of HBAC Programs Using Model Checking
- 著者名/発表者名
  Yoshiaki, Takata, Hiroyuki, Seki
- 学会等名
  The 5th JSSST Dependable System Workshop
- 説明
  「研究成果報告書概要(欧文)」より
- データソース
  KAKENHI-PROJECT-18500023

1. 小川瑞史 (40362024)

共同の研究課題数: 7件

共同の研究成果数: 0件
2. 高田喜郎 (60294279)

共同の研究課題数: 6件

共同の研究成果数: 45件
3. 結縁祥治 (70230612)

共同の研究課題数: 6件

共同の研究成果数: 2件
4. 橋本健二 (90548447)

共同の研究課題数: 5件

共同の研究成果数: 36件
5. 藤井護 (00029464)

共同の研究課題数: 4件

共同の研究成果数: 0件
6. 伊藤実 (90127184)

共同の研究課題数: 2件

共同の研究成果数: 0件
7. 中澤巧爾 (80362581)

共同の研究課題数: 2件

共同の研究成果数: 0件
8. 廣川直 (50467122)

共同の研究課題数: 1件

共同の研究成果数: 0件
9. 楫勇一 (70263431)

共同の研究課題数: 1件

共同の研究成果数: 1件
10. 加藤有己 (10511280)

共同の研究課題数: 1件

共同の研究成果数: 0件
11. 新田直也 (20346307)

共同の研究課題数: 1件

共同の研究成果数: 0件
12. 森將豪 (90024942)

共同の研究課題数: 1件

共同の研究成果数: 0件
13. 嵩忠雄 (50029378)

共同の研究課題数: 1件

共同の研究成果数: 0件
14. 井上克郎 (20168438)

共同の研究課題数: 1件

共同の研究成果数: 0件
15. 杉山裕二 (50116050)

共同の研究課題数: 1件

共同の研究成果数: 0件
16. 鳥居宏次 (10172222)

共同の研究課題数: 1件

共同の研究成果数: 0件
17. 東野輝夫 (80173144)

共同の研究課題数: 1件

共同の研究成果数: 0件
18. 西田直樹 (00397449)

共同の研究課題数: 1件

共同の研究成果数: 0件
19. NGUYEN MinhLe (30509401)

共同の研究課題数: 1件

共同の研究成果数: 0件
20. 寺内多智弘 (70447150)

共同の研究課題数: 1件

共同の研究成果数: 1件
21. 今井敬吾 (70456630)

共同の研究課題数: 1件

共同の研究成果数: 0件
22. ヴシュアンツング

共同の研究課題数: 1件

共同の研究成果数: 0件
23. トヴァンカン

共同の研究課題数: 1件

共同の研究成果数: 6件

関 浩之 SEKI Hiroyuki

研究課題

研究成果

共同研究者

グラフゲームにおける合理性に基づく検証と自動合成の統一的解決法に関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

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

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

ソフトウェアモデルへの量的尺度の導入とプログラム解析への応用研究代表者

研究代表者

研究期間 (年度)

研究種目

審査区分

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

ソフトウェアセキュリティ・プライバシーのための静的解析・動的検査法研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

ソフトウェアセキュリティのための量を扱う計算モデルの提案研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

形式言語理論に基づく静的解析法とその安全性検査への応用研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

機械学習と最適化に基づく RNA タンパク質相互作用予測研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

言語組込みアクセス制御の高信頼化に関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

無限状態モデル検査を用いた高信頼性ソフトウェアの自動検証に関する研究研究代表者

研究代表者

研究期間 (年度)

研究種目

研究分野

研究機関

アクティブソフトウェアの設計検証手法に関する研究研究代表者

研究代表者

関浩之 SEKI Hiroyuki