! 
Katsusuke Nabeshima, Katsuyoshi Ohara and Shinichi Tajima : Comprehensive Gröbner systems in rings of differential operators, holonomic D-modules and b-functions, Proc. International Symposium on Symbolic and Algebraic Computation (ISSAC' 2016), 349-356, 2016.
Shin-ichi Nakayama and Shigeru MASUYAMA : A linear time algorithm for finding a spanning tree with non-terminal set $V_{NT}$ on cographs., IEICE Transactions on Information and Systems, Vol.E99-D, No.10, 2574-2584, 2016.
Katsusuke Nabeshima and Shinichi Tajima : Computing Tjurina stratifications of mu-constant deformations via parametric local cohomology systems, Applicable Algebra in Engineering, Communication and Computing, Vol.27, No.6, 451-467, 2016.
Yosuke Sato, Ryoya Fukasaku and Katsusuke Nabeshima : On simple representation of locally closed sets, Proc. Asian Technology Conference in Mathematics 2016, 190-199, 2016.
Katsusuke Nabeshima and Shinichi Tajima : Algebraic local cohomology with parameters and parametric standard bases for zero-dimensional ideals, Journal of Symbolic Computation, Vol.82, 91-122, 2017.
Shin-ichi Nakayama and Shigeru MASUYAMA : A linear time algorithm for finding a minimum spanning tree with non-terminal set VNT on outerplanar graphs., IEICE Transactions on Information and Systems, Vol.E100-D, No.3, 434-443, 2017.
Katsusuke Nabeshima and Shinichi Tajima : Computing μ*-sequences of hypersurface isolated singularities via parametric local cohomology systems, Acta Mathematica Vietnamica, Vol.42, No.2, 279-288, 2017.
鍋島 克輔, 田島 慎一 : 代数的局所コホモロジーを用いた Limiting Tangent Space の計算法, 数理解析研究所講究録, Vol.2019, 53-63, 2017年.
伊澤 毅, 鍋島 克輔, 田島 慎一 : Computer algebra and Bruce-Roberts Milnor number, 数理解析研究所講究録, Vol.2019, 64-79, 2017年.
Toru Hasunuma : Constructions of universalized Sierpinski graphs based on labeling manipulations, Proceedings of the 9th International Workshop on Graph Labeling (July 7-9, 2016), Electronic Notes in Discrete Mathematics, Vol. 60, 47-54, Krakow, Poland, Jul. 2016.
Katsuyoshi Ohara, Katsusuke Nabeshima and Shinichi Tajima : Comprehensive Gröbner systems for parametric Poincare-Birkhoff-Witt ideals, Algebraic Statistics and Symbolic Computation, Jul. 2016.
Toru Hasunuma : Two generalized variants of dominating sets in subdivided-line graphs, Abstracts of International Symposium on Combinatorial Optimisation 2016 (Sep. 1-3, 2016), 27, Canterbury, UK, Sep. 2016.
Toru Hasunuma : Completely independent spanning trees in the powers of sparse graphs, Abstracts of the 40th Australasian Conference on Combinatorial Mathematics and Combinatorial Computing (Dec. 12-16, 2016), 23, Newcastle, Australia, Dec. 2016.
Katsusuke Nabeshima : Computation method for mu*-sequences of hypersurface isolated singularities, Topology of Singularity in Hanoi 2017, Feb. 2017.
鍋島 克輔 : A computation method for algebraic local cohomology classes and its applications, 東京大学数理「複素解析幾何セミナー」, 2016年5月.
鍋島 克輔, 田島 慎一 : パラメトリック局所コホモロジーを用いたμ*の計算, 第25回日本数式処理学会大会,福岡大学, 2016年6月.
鍋島 克輔 : グレブナー基底の安定性とパラメトリック・システム, 埼玉大学数学談話会, 2016年7月.
伊澤 毅, 鍋島 克輔, 田島 慎一 : Computer algebra and Bruce-Roberts Milnor numbers, 数理解析研究所共同研究「数式処理の新たな発展-その最新研究と基礎理論の再構成-],, 2016年9月.
鍋島 克輔, 田島 慎一 : 代数的局所コホモロジーを用いた Limiting Tangent Spaceの計算法と比較, 数理解析研究所共同集会「数式処理の新たな発展-その最新研究と基礎理論の再構成-」,, 2016年9月.
小原 功任, 鍋島 克輔, 田島 慎一 : 包括的グレブナー基底とパラメータつきb-関数の計算, 第10回玉原特殊多様体研究集会,玉原国際セミナーハウス, 2016年9月.
鍋島 克輔, 田島 慎一 : パラメータ付きホロノミーD加群とb-関数 -μ-constant deformation の場合-, 日本数学学会総合分科会 (函数論), 関西大学, 2016年9月.
鍋島 克輔, 田島 慎一 : 局所コホモロジーを用いたμ*列の計算法について, 日本数学会総合分科会(函数論), 関西大学, 2016年9月.
小原 功任, 鍋島 克輔, 田島 慎一 : Comprehensive Gröbner systems in Poincare-Birkhoff-Witt algebra and Bernstein-Sato ideals, 数理解析研究所研究集会「超局所解析と特異摂動論の新展開」, 2016年10月.
田島 慎一, 鍋島 克輔 : Base change formula によるパラメータ付き多変数留数計算アルゴリズム, 数理解析研究所共同研究「数式処理とその周辺分野の研究」, 2016年12月.
鍋島 克輔, 田島 慎一 : b-関数の因子チェックを用いたパラメトリックb-関数の計算 - mu-constant deformation の場合-, 数理解析研究所共同研究「数式処理とその周辺分野の研究」, 2016年12月.
鍋島 克輔, 田島 慎一 : Tangent coneを用いた局所環でのパラメトリック・イデアルの次元判定, 日本数式処理学会合同分科会, 京都大学東京オフィス, 2017年1月.
鍋島 克輔, 小原 功任, 田島 慎一 : パラメータ付きBernstein-Sato イデアルとホロノミーD 加群の計算, 日本数学会年会(函数論), 首都大学東京,, 2017年3月.
鍋島 克輔, 田島 慎一 : 包括的グレブナー基底系を用いたmu-stratificationとmu*列の計算法について, Risa/Asir conference 2017, 金沢大学, 2017年3月.