An Automatic Theorem Prover Generating a Proof in Natural Language. - Masakazu Nakanlshi; Morio Nagata; Kenji Ueda (IJCAI, 1979)

UNDO and REDO Operations for Solid Modeling. - Hiroshi Toriya; Toshiaki Satoh; Kenji Ueda; Hiroaki Chiyokura (IEEE Computer Graphics and Applications, 1986)

Omnidirectional Visual Information for Navigating a Mobile Robot. - Hiroshi Ishiguro; Kenji Ueda; Saburo Tsuji (ICRA (1), 1993)

Smooth Surface Interpolation with Bézier Surfaces Having Rational Bézier Points. - Kenji Ueda (Modeling in Computer Graphics, 1993)

Mean normal vector to a surface bounded by Bézier curves. - Kenji Ueda (Comput. Aided Geom. Des., 1996)

A modification to the rational boundary Gregory patch. - Kenji Ueda (Comput. Aided Geom. Des., 1996)

Deformation of plane curves preserving Pythagorean hodographs. - Kenji Ueda (IV, 1997)

Circular Be'zier arcs as rational Pythagorean-hodograph curves. - Kenji Ueda (Neural Parallel Sci. Comput., 1997)

Blending between Right Circular Cylinders with Parabolic Cyclides. - Kenji Ueda (GMP, 2000)

Polar Curves and Surfaces. - Kenji Ueda (IMA Conference on the Mathematics of Surfaces, 2000)

A high-throughput pipelined CMA equalizer with minimum latency. - Masashi Mizuno; Kenji Ueda; James Okello; Hiroshi Ochi (ICASSP, 2002)

A high-speed architecture for CMA blind equalizer. - Kenji Ueda; Hiroshi Ochi; James Okello; Yoshio Itoh (ICC, 2002)

Prospects and Problems in Fabrication of MgB2 Josephson Junctions. - Kenji Ueda; Michio Naito (IEICE Trans. Electron., 2005)

RF Equivalent-Circuit Analysis of p-Type Diamond Field-Effect Transistors with Hydrogen Surface Termination. - Makoto Kasu; Kenji Ueda; Hiroyuki Kageshima; Yoshiharu Yamauchi (IEICE Trans. Electron., 2008)

On a Global Complexity Bound of the Levenberg-Marquardt Method. - Kenji Ueda; Nobuo Yamashita (J. Optim. Theory Appl., 2010)

A bilevel decomposition approach to railway crew rostering problems for fair labor condition. - Taichi Sugiyama; Tatsushi Nishi; Masahiro Inuiguchi; Satoru Takahashi; Kenji Ueda (CASE, 2012)

Global Complexity Bound Analysis of the Levenberg-Marquardt Method for Nonsmooth Equations and Its Application to the Nonlinear Complementarity Problem. - Kenji Ueda; Nobuo Yamashita (J. Optim. Theory Appl., 2012)

A regularized Newton method without line search for unconstrained optimization. - Kenji Ueda; Nobuo Yamashita (Comput. Optim. Appl., 2014)

Multi-carrier CDMA system for cellular mobile communication with two-way path-adapted array antennas - A path modeled design. - Kohji Itoh; Kenji Ueda (PIMRC, 2015)

Path estimation for multi-carrier CDMA system with two-way path-adapted array antennas. - Kenji Ueda; Akira Nakamura; Makoto Itami; Kohji Itoh (ISITA, 2016)

Erratum to: A regularized Newton method without line search for unconstrained optimization. - Kenji Ueda; Nobuo Yamashita (Comput. Optim. Appl., 2017)

A Combined column generation and heuristics for railway short-term rolling stock planning with regular inspection constraints. - Tatsushi Nishi; Akiyoshi Ohno; Masahiro Inuiguchi; Satoru Takahashi; Kenji Ueda (Comput. Oper. Res., 2017)

Nonlinear bayesian tomography of ion temperature and velocity for Doppler coherence imaging spectroscopy in RT-1. - Kenji Ueda; Masaki Nishiura (CoRR, 2024)

Nonlinear Gaussian process tomography with imposed non-negativity constraints on physical quantities for plasma diagnostics. - Kenji Ueda; Masaki Nishiura (Mach. Learn. Sci. Technol., 2025)