Finite Element Surface Fitting for Bridge Management. - Xiaojun Chen 001; Takuma Kimura (Int. J. Inf. Technol. Decis. Mak., 2006)

Validated Solutions of Saddle Point Linear Systems. - Takuma Kimura; Xiaojun Chen 001 (SIAM J. Matrix Anal. Appl., 2008)

A posteriori estimates of inverse operators for initial value problems in linear ordinary differential equations. - Takehiko Kinoshita; Takuma Kimura; Mitsuhiro T. Nakao (J. Comput. Appl. Math., 2011)

On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems. - Mitsuhiro T. Nakao; Takehiko Kinoshita; Takuma Kimura (Computing, 2012)

Constructive A Priori Error Estimates for a Full Discrete Approximation of the Heat Equation. - Mitsuhiro T. Nakao; Takuma Kimura; Takehiko Kinoshita (SIAM J. Numer. Anal., 2013)

On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems. - Takehiko Kinoshita; Takuma Kimura; Mitsuhiro T. Nakao (Numerische Mathematik, 2014)

A method for verifying the accuracy of numerical solutions of symmetric saddle point linear systems. - Ryo Kobayashi; Takuma Kimura; Shin'ichi Oishi (Numer. Algorithms, 2017)

Constructive error estimates for full discrete approximation of periodic solution for heat equation. - Takuma Kimura; Teruya Minamoto; Mitsuhiro T. Nakao (J. Comput. Appl. Math., 2020)

Improvement of the Constructive A Priori Error Estimates for a Fully Discretized Periodic Solution of Heat Equation. - Takuma Kimura; Teruya Minamoto; Mitsuhiro T. Nakao (Comput. Methods Appl. Math., 2022)

A Method to Semi-Automatically Identify and Measure Unmet Requirements in Learner-Created State Machine Diagrams. - Takuma Kimura; Shinpei Ogata; Erina Makihara; Kozo Okano (CSEE&T, 2023)

Assessment of Personal Values for Data-Driven Human Resource Management. - Takuma Kimura (Data Sci. J., 2023)

Constructive error estimates for a full-discretized periodic solution of heat equation by spatial finite-element and time spectral method. - Takuma Kimura; Teruya Minamoto; Mitsuhiro T. Nakao (Comput. Math. Appl., 2025)