Higher-Order Lazy Narrowing Calculus: A Computation Model for a Higher-Order Functional Logic Language. - Taro Suzuki; Koji Nakagawa; Tetsuo Ida (ALP/HOA, 1997)

User–system interaction within Theorema. - Koji Nakagawa; Felix Kossak (Calculemus, 1999)

Extraction of Logical Structure from Articles in Mathematics. - Koji Nakagawa; Akihiro Nomura 001; Masakazu Suzuki (MKM, 2004)

Mathematical Knowledge Browser with Automatic Hyperlink Detection. - Koji Nakagawa; Masakazu Suzuki (MKM, 2005)

Theorema: Towards computer-aided mathematical theory exploration. - Bruno Buchberger; Adrian Craciun; Tudor Jebelean; Laura Kovács; Temur Kutsia; Koji Nakagawa; Florina Piroi; Nikolaj Popov; Judit Robu; Markus Rosenkranz; Wolfgang Windsteiger (J. Appl. Log., 2006)

Logicographic symbols. - Koji Nakagawa (J. Symb. Comput., 2006)

Exact Parameter Determination for Parkinson's Disease Diagnosis with PET Using an Algebraic Approach. - Hiroshi Yoshida; Koji Nakagawa; Hirokazu Anai; Katsuhisa Horimoto (AB, 2007)

An Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks. - Hiroshi Yoshida; Koji Nakagawa; Hirokazu Anai; Katsuhisa Horimoto (CASC, 2007)

Ground-truthed dataset of chemical structure images in Japanese published patent applications. - Koji Nakagawa; Akio Fujiyoshi; Masakazu Suzuki (Document Analysis Systems, 2010)

Inconsistency-Driven Chemical Graph Construction in ChemInfty. - Daniel Karzel; Koji Nakagawa; Akio Fujiyoshi; Masakazu Suzuki (GREC, 2011)

A Coaching CMS with Wireless Sensors using ANT+ Connectivity Solution. - Naka Gotoda; Yoshihisa Sakurai; Kenji Matsuura; Koji Nakagawa; Chikara Miyaji (ICCE, 2012)

A Server-Based System Supporting Motor Learning through Real-Time and Reflective Learning Activities. - Naka Gotoda; Yoshihisa Sakurai; Kenji Matsuura; Koji Nakagawa; Chikara Miyaji (HCI (2), 2013)

Design of Tennis Training with Shot-timing Feedback based on Trajectory Prediction of Ball. - Naka Gotoda; Kenji Matsuura; Koji Nakagawa; Chikara Mikaji (ICCE, 2013)

Noncontact Measurement of Oxygen Saturation with Dual Near Infrared Imaging for Daily Health Monitoring. - Koji Nakagawa; Hiroaki Kawamoto; Yoshiyuki Sankai (SII, 2022)