Rigorous Verification of Bifurcations of Differential Equations via the Conley Index Theory. - Kaname Matsue (SIAM J. Appl. Dyn. Syst., 2011)

Quantum walks on simplicial complexes. - Kaname Matsue; Osamu Ogurisu; Etsuo Segawa (Quantum Inf. Process., 2016)

On the construction of Lyapunov functions with computer assistance. - Kaname Matsue; Tomohiro Hiwaki; Nobito Yamamoto (J. Comput. Appl. Math., 2017)

Numerical validation of blow-up solutions of ordinary differential equations. - Akitoshi Takayasu; Kaname Matsue; Takiko Sasaki; Kazuaki Tanaka; Makoto Mizuguchi; Shin'ichi Oishi (J. Comput. Appl. Math., 2017)

Quaternionic quantum walks of Szegedy type and zeta functions of graphs. - Norio Konno; Kaname Matsue; Hideo Mitsuhashi; Iwao Sato (Quantum Inf. Comput., 2017)

On Blow-Up Solutions of Differential Equations with Poincaré-Type Compactifications. - Kaname Matsue (SIAM J. Appl. Dyn. Syst., 2018)

Rigorous numerics of blow-up solutions for ODEs with exponential nonlinearity. - Kaname Matsue; Akitoshi Takayasu (J. Comput. Appl. Math., 2020)

A refined asymptotic behavior of traveling wave solutions for degenerate nonlinear parabolic equations. - Yu Ichida; Kaname Matsue; Takashi Okuda Sakamoto (JSIAM Lett., 2020)

Numerical validation of blow-up solutions with quasi-homogeneous compactifications. - Kaname Matsue; Akitoshi Takayasu (Numerische Mathematik, 2020)

A geometric characterization of unstable blow-up solutions with computer-assisted proof. - Jean-Philippe Lessard; Kaname Matsue; Akitoshi Takayasu (CoRR, 2021)

Errata to "On the construction of Lyapunov functions with computer assistance" [J. Comp. Appl. Math. 319 (2017) 385-412]. - Kaname Matsue; Tomohiro Hiwaki; Nobito Yamamoto (J. Comput. Appl. Math., 2021)

Saddle-Type Blow-Up Solutions with Computer-Assisted Proofs: Validation and Extraction of Global Nature. - Jean-Philippe Lessard; Kaname Matsue; Akitoshi Takayasu (J. Nonlinear Sci., 2023)

Blow-up Behavior for ODEs with Normally Hyperbolic Nature in Dynamics at Infinity. - Kaname Matsue (SIAM J. Appl. Dyn. Syst., 2025)

Analysis of Optima Set in A Class of Non-Convex Geometric Optimization Problems Using Bifurcation Theory. - Dinh Hoa Nguyen; Kaname Matsue (J. Optim. Theory Appl., 2025)