DBLP

Journal papers

  1. Yuuki Aoike, Tatsuya Gima, Tesshu Hanaka, Masashi Kiyomi, Yasuaki Kobayashi, Yusuke Kobayashi, Kazuhiro Kurita, Yota Otachi. An improved deterministic parameterized algorithm for cactus vertex deletion. Theory of Computing Systems, 66, pp. 502–515. 2022.[📕doi][📝arXiv]
  2. Tatsuya Gima, Tesshu Hanaka, Masashi Kiyomi, Yasuaki Kobayashi, Yota Otachi. Exploring the Gap Between Treedepth and Vertex Cover Through Vertex Integrity. Theoretical Computer Science, 918, pp. 60–76. 2022.[📕doi][📝arXiv]

Conference papers

  1. *Tatsuya Gima, Yota Otachi. Extended MSO Model Checking via Small Vertex Integrity. The 33rd International Symposium on Algorithms and Computation (ISAAC 2022), Korea, LIPIcs, 248, pp. 20:1–20:15. 2022, Dec. [📘doi][📝arXiv]
  2. *Tatsuya Gima, Takehiro Ito, Yasuaki Kobayashi, Yota Otachi. Algorithmic Meta-Theorems for Combinatorial Reconfiguration Revisited. The 30th Annual European Symposium on Algorithms (ESA 2022), Potsdam, Germany, LIPIcs, 244, pp. 61:1–61:15. 2022, Sep. [📘doi][📝arXiv]
  3. *Tatsuya Gima, Tesshu Hanaka, Masashi Kiyomi, Yasuaki Kobayashi, Yota Otachi.. Exploring the Gap Between Treedepth and Vertex Cover Through Vertex Integrity. The 12th International Conference on Algorithms and Complexity (CIAC 2021), Online, LNCS, 12701, pp. 271–285. 2021, May. [📘doi][📝arXiv]

国内研究会

儀間発表 7件

  1. *村井 亮太, 儀間 達也, 土中 哲秀, 小林 靖明, 小野 廣隆, 大舘 陽太. 頂点インテグリティのパラメータ化計算量. 2022年度冬のLAシンポジウム, 2023年 1月 – 2月
  2. *野呂 浩平, 儀間 達也, 土中 哲秀, 大舘 陽太, 小野 廣隆. ラプラシアン行列の固有値に関する木幅の下界とその改善. 2022年度冬のLAシンポジウム, 2023年 1月 – 2月
  3. *儀間 達也, 伊藤 健洋, 小林 靖明, 大舘 陽太. Algorithmic Meta-Theorems for Combinatorial Reconfiguration Revisited. 2022年度冬のLAシンポジウム, 2023年 1月 – 2月
  4. *儀間 達也, 伊藤 健洋, 小林 靖明, 大舘 陽太. Algorithmic Meta-Theorems for Combinatorial Reconfiguration Revisited. JCCA-2022 離散数学とその応用研究集会2022 ミニシンポジウム「組合せ遷移」, 成蹊大学 2022年 8月
  5. *儀間 達也, 伊藤 健洋, 小林 靖明, 大舘 陽太. Algorithmic Meta-Theorems for Combinatorial Reconfiguration Revisited. 最適化手法とアルゴリズム ─未来を担う若手研究者の集い 2022─, 東京大学, 2022年 6月
  6. *儀間 達也, 大舘 陽太. Extended MSO Model Checking via Small Vertex Integrity. 2022年電子情報通信学会総合大会COMP学生シンポジウム, オンライン, 2022年 3月 (最優秀論文賞受賞)
  7. *儀間 達也, 大舘 陽太. Extended MSO Model Checking via Small Vertex Integrity. 2021年度冬のLAシンポジウム, オンライン, 2022年 2月
  8. *儀間 達也, 大舘 陽太. Fair MSO Evaluation Problems Parameterized by Vertex Integrity. 2021年電子情報通信学会総合大会COMP学生シンポジウム, オンライン, 2021年 3月
  9. 青池 宥希, 儀間 達也, 土中 哲秀, 清見 礼, *小林 靖明, 小林 佑輔, 栗田 和宏, 大舘 陽太. An Improved Deterministic Parameterized Algorithm for Cactus Vertex Deletion. 電子情報通信学会コンピュテーション研究会, オンライン, 2020年 12月
  10. *儀間 達也, 土中 哲秀, 清見 礼, 小林 靖明, 大舘 陽太. Graph Partitioning Problems Parameterized by Vertex Integrity. 2019年度冬のLAシンポジウム, 京都大学, 2020年2月