| 2007 |
|---|
| 8 | EE | Hiroshi Yoshida,
Koji Nakagawa,
Hirokazu Anai,
Katsuhisa Horimoto:
Exact Parameter Determination for Parkinson's Disease Diagnosis with PET Using an Algebraic Approach.
AB 2007: 110-124 |
| 7 | EE | Hiroshi Yoshida,
Koji Nakagawa,
Hirokazu Anai,
Katsuhisa Horimoto:
An Algebraic-Numeric Algorithm for the Model Selection in Kinetic Networks.
CASC 2007: 433-447 |
| 2006 |
|---|
| 6 | EE | Bruno Buchberger,
Adrian Craciun,
Tudor Jebelean,
Laura Kovács,
Temur Kutsia,
Koji Nakagawa,
Florina Piroi,
Nikolaj Popov,
Judit Robu,
Markus Rosenkranz:
Theorema: Towards computer-aided mathematical theory exploration.
J. Applied Logic 4(4): 470-504 (2006) |
| 5 | EE | Koji Nakagawa:
Logicographic symbols.
J. Symb. Comput. 41(3-4): 411-434 (2006) |
| 2005 |
|---|
| 4 | EE | Koji Nakagawa,
Masakazu Suzuki:
Mathematical Knowledge Browser with Automatic Hyperlink Detection.
MKM 2005: 190-202 |
| 2004 |
|---|
| 3 | EE | Koji Nakagawa,
Akihiro Nomura,
Masakazu Suzuki:
Extraction of Logical Structure from Articles in Mathematics.
MKM 2004: 276-289 |
| 1999 |
|---|
| 2 | EE | Koji Nakagawa,
Felix Kossak:
User--system interaction within Theorema.
Electr. Notes Theor. Comput. Sci. 23(3): (1999) |
| 1997 |
|---|
| 1 | | Taro Suzuki,
Koji Nakagawa,
Tetsuo Ida:
Higher-Order Lazy Narrowing Calculus: A Computation Model for a Higher-Order Functional Logic Language.
ALP/HOA 1997: 99-113 |
