A Computation Method for ACGB-V. - Katsusuke Nabeshima (Algorithmic Algebra and Logic, 2005)

A Direct Products of Fields Approach to Comprehensive Gröbner Bases over Finite Fields. - Katsusuke Nabeshima (SYNASC, 2005)

A speed-up of the algorithm for computing comprehensive Gröbner systems. - Katsusuke Nabeshima (ISSAC, 2007)

PGB: a package for computing parametric Gröbner and related objects. - Katsusuke Nabeshima (ACM Commun. Comput. Algebra, 2007)

Reduced Gröbner Bases in Polynomial Rings over a Polynomial Ring. - Katsusuke Nabeshima (Math. Comput. Sci., 2009)

Boolean Gröbner bases. - Yosuke Sato; Shutaro Inoue; Akira Suzuki; Katsusuke Nabeshima; Kô Sakai (J. Symb. Comput., 2011)

Stability Conditions of Monomial Bases and Comprehensive Gröbner Systems. - Katsusuke Nabeshima (CASC, 2012)

An Algorithm for Computing Standard Bases by Change of Ordering via Algebraic Local Cohomology. - Katsusuke Nabeshima; Shinichi Tajima (ICMS, 2014)

An Algorithm for Computing Tjurina Stratifications of μ-Constant Deformations by Using Local Cohomology Classes with Parameters. - Katsusuke Nabeshima; Shinichi Tajima (ICMS, 2014)

On efficient algorithms for computing parametric local cohomology classes associated with semi-quasihomogeneous singularities and standard bases. - Katsusuke Nabeshima; Shinichi Tajima (ISSAC, 2014)

Efficient Computation of Algebraic Local Cohomology Classes and Change of Ordering for Zero-Dimensional Standard Bases. - Katsusuke Nabeshima; Shinichi Tajima (CASC, 2015)

Computing Logarithmic Vector Fields Associated with Parametric Semi-Quasihomogeneous Hypersurface Isolated Singularities. - Katsusuke Nabeshima; Shinichi Tajima (ISSAC, 2015)

Solving Extended Ideal Membership Problems in Rings of Convergent Power Series via Gröbner Bases. - Katsusuke Nabeshima; Shinichi Tajima (MACIS, 2015)

Comprehensive Gröbner Systems in Rings of Differential Operators, Holonomic D-modules and B-functions. - Katsusuke Nabeshima; Katsuyoshi Ohara; Shinichi Tajima (ISSAC, 2016)

Computing Tjurina stratifications of μ-constant deformations via parametric local cohomology systems. - Katsusuke Nabeshima; Shinichi Tajima (Appl. Algebra Eng. Commun. Comput., 2016)

Algebraic local cohomology with parameters and parametric standard bases for zero-dimensional ideals. - Katsusuke Nabeshima; Shinichi Tajima (J. Symb. Comput., 2017)

Comprehensive Gröbner systems in PBW algebras, Bernstein-Sato ideals and holonomic D-modules. - Katsusuke Nabeshima; Katsuyoshi Ohara; Shinichi Tajima (J. Symb. Comput., 2018)

Generalized Integral Dependence Relations. - Katsusuke Nabeshima; Shinichi Tajima (MACIS, 2019)

On Parametric Border Bases. - Yosuke Sato; Hiroshi Sekigawa; Ryoya Fukasaku; Katsusuke Nabeshima (MACIS, 2019)

Solving Parametric Ideal Membership Problems and Computing Integral Numbers in a Ring of Convergent Power Series Via Comprehensive Gröbner Systems. - Katsusuke Nabeshima; Shinichi Tajima (Math. Comput. Sci., 2019)

An Implementation of the Lê-Teissier Method for Computing Local Euler Obstructions. - Shinichi Tajima; Katsusuke Nabeshima (Math. Comput. Sci., 2019)

Computing Parametric Standard Bases for Semi-weighted Homogeneous Isolated Hypersurface Singularities. - Katsusuke Nabeshima (CASC, 2020)

Computing Logarithmic Vector Fields Along an ICIS Germ via Matlis Duality. - Shinichi Tajima; Takafumi Shibuta; Katsusuke Nabeshima (CASC, 2020)

Parametric standard system for mixed module and its application to singularity theory. - Hiroshi Teramoto; Katsusuke Nabeshima (ISSAC, 2020)

Computing regular meromorphic differential forms via Saito's logarithmic residues. - Shinichi Tajima; Katsusuke Nabeshima (CoRR, 2020)

An effective method for computing Grothendieck point residue mappings. - Shinichi Tajima; Katsusuke Nabeshima (CoRR, 2020)

A New Deterministic Method for Computing Milnor Number of an ICIS. - Shinichi Tajima; Katsusuke Nabeshima (CASC, 2021)

Computing Grothendieck Point Residues via Solving Holonomic Systems of First Order Partial Differential Equations. - Shinichi Tajima; Katsusuke Nabeshima (ISSAC, 2021)

Methods for computing b-functions associated with μ-constant deformations - Case of inner modality 2 -. - Katsusuke Nabeshima; Shinichi Tajima (CoRR, 2021)

A new algorithm for computing logarithmic vector fields along an isolated singularity and Bruce-Roberts Milnor ideals. - Katsusuke Nabeshima; Shinichi Tajima (J. Symb. Comput., 2021)

Testing Zero-Dimensionality of Varieties at a Point. - Katsusuke Nabeshima; Shinichi Tajima (Math. Comput. Sci., 2021)

An Algorithm for Computing Torsion Differential Forms Associated with an Isolated Hypersurface Singularity. - Shinichi Tajima; Katsusuke Nabeshima (Math. Comput. Sci., 2021)

Effective algorithm for computing Noetherian operators of zero-dimensional ideals. - Katsusuke Nabeshima; Shinichi Tajima (Appl. Algebra Eng. Commun. Comput., 2022)

Correction: Effective algorithm for computing Noetherian operators of zero‑dimensional ideals. - Katsusuke Nabeshima; Shinichi Tajima (Appl. Algebra Eng. Commun. Comput., 2022)

Effective Algorithm for Computing Noetherian Operators of Positive Dimensional Ideals. - Katsusuke Nabeshima; Shinichi Tajima (CASC, 2023)

Computing Holonomic D-Modules Associated to a Family of Non-isolated Hypersurface Singularities via Comprehensive Gröbner Systems of PBW Algebra. - Shinichi Tajima; Katsusuke Nabeshima; Katsuyoshi Ohara; Yoko Umeta (Math. Comput. Sci., 2023)

On the Radical of a Polynomial Ideal with Parameters. - Ryosuke Kuramochi; Kazuki Tanaka; Katsusuke Nabeshima (CASC, 2024)

Merging Multiple Algorithms for Computing Comprehensive Gröbner Systems Using Parallel Processing. - Natsu Wada; Katsusuke Nabeshima (CASC, 2024)

Generic Gröbner basis of a parametric ideal and its application to a comprehensive Gröbner system. - Katsusuke Nabeshima (Appl. Algebra Eng. Commun. Comput., 2024)

A Deterministic Method for Computing Bertini Type Invariants of Parametric Ideals. - Shinichi Tajima; Katsusuke Nabeshima (Math. Comput. Sci., 2024)