| |
| 1999 | ||
|---|---|---|
| 4 | EE | Kuniaki Naoi, Naohisa Takahashi: Semantic configuration management model using a path dependence flow graph. Systems and Computers in Japan 30(5): 47-55 (1999) |
| 3 | EE | Kuniaki Naoi, Naohisa Takahashi: Detection of infeasible paths using Presburger arithmetic. Systems and Computers in Japan 30(9): 74-87 (1999) |
| 1997 | ||
| 2 | EE | Kuniaki Naoi, Naohisa Takahashi: Program slicing based on data-flow computation of path dependence flow graphs. Systems and Computers in Japan 28(11): 22-33 (1997) |
| 1996 | ||
| 1 | EE | Kuniaki Naoi, Naohisa Takahashi: Detection of Infeasible Paths Using Presburger Arithmetic. COMPSAC 1996: 461- |
| 1 | Naohisa Takahashi | [1] [2] [3] [4] |