| 2026 | CASC | Testing Tameness of Complex Polynomial Mappings and Computing Their Bifurcation Sets. | Katsusuke Nabeshima, Shinichi Tajima |
| 2026 | ISSAC | Computing Grothendieck Point Residues via Solving Holonomic Systems of First Order Partial Differential Equations II. | Shinichi Tajima, Katsusuke Nabeshima |
| 2024 | CASC | On the Radical of a Polynomial Ideal with Parameters. | Ryosuke Kuramochi, Kazuki Tanaka, Katsusuke Nabeshima |
| 2024 | CASC | Merging Multiple Algorithms for Computing Comprehensive Grbner Systems Using Parallel Processing. | Natsu Wada, Katsusuke Nabeshima |
| 2023 | CASC | Effective Algorithm for Computing Noetherian Operators of Positive Dimensional Ideals. | Katsusuke Nabeshima, Shinichi Tajima |
| 2021 | CASC | A New Deterministic Method for Computing Milnor Number of an ICIS. | Shinichi Tajima, Katsusuke Nabeshima |
| 2021 | ISSAC | Computing Grothendieck Point Residues via Solving Holonomic Systems of First Order Partial Differential Equations. | Shinichi Tajima, Katsusuke Nabeshima |
| 2020 | CASC | Computing Parametric Standard Bases for Semi-weighted Homogeneous Isolated Hypersurface Singularities. | Katsusuke Nabeshima |
| 2020 | CASC | Computing Logarithmic Vector Fields Along an ICIS Germ via Matlis Duality. | Shinichi Tajima, Takafumi Shibuta, Katsusuke Nabeshima |
| 2020 | ISSAC | Parametric standard system for mixed module and its application to singularity theory. | Hiroshi Teramoto, Katsusuke Nabeshima |
| 2016 | ISSAC | Comprehensive Grbner Systems in Rings of Differential Operators, Holonomic D-modules and B-functions. | Katsusuke Nabeshima, Katsuyoshi Ohara, Shinichi Tajima |
| 2015 | CASC | Efficient Computation of Algebraic Local Cohomology Classes and Change of Ordering for Zero-Dimensional Standard Bases. | Katsusuke Nabeshima, Shinichi Tajima |
| 2015 | ISSAC | Computing Logarithmic Vector Fields Associated with Parametric Semi-Quasihomogeneous Hypersurface Isolated Singularities. | Katsusuke Nabeshima, Shinichi Tajima |
| 2014 | ISSAC | On efficient algorithms for computing parametric local cohomology classes associated with semi-quasihomogeneous singularities and standard bases. | Katsusuke Nabeshima, Shinichi Tajima |
| 2012 | CASC | Stability Conditions of Monomial Bases and Comprehensive Grbner Systems. | Katsusuke Nabeshima |
| 2007 | ISSAC | A speed-up of the algorithm for computing comprehensive Grbner systems. | Katsusuke Nabeshima |
| 2005 | SYNASC | A Direct Products of Fields Approach to Comprehensive Grbner Bases over Finite Fields. | Katsusuke Nabeshima |