"An improved deterministic parameterized algorithm for cactus vertex deletion" by Y. Aoike, T. Gima, T. Hanaka, M. Kiyomi, Y. Kobayashi, Y. Kobayashi, K. Kurita, and Y. Otachi が Theory of Computing System誌に採択されました

3月 16, 2022

2022年電子情報通信学会総合大会COMP学生シンポジウムでの発表 "Extended MSO model checking via small vertex integrity" が最優秀論文賞を受賞しました

3月 15, 2022

"Exploaring the gap between treedepth and vertex cover through vertex integrity" by T. Gima, T. Hanaka, M. Kiyomi, Y. Kobayashi, and Y. Otach が Theoreteical Computer Science 誌に採択されました

3月 13, 2022

2021年度冬のLAシンポジウムで "Extended MSO model checking via small vertex integrity" の発表をしました

2月 3, 2022

2021年電子情報通信学会総合大会COMP学生シンポジウムで "Fair MSO evaluation problems parameterized by vertex integrity" の発表をしました

3月 10, 2021