|
Search the dblp DataBase
Kuniaki Naoi:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Kuniaki Naoi, Naohisa Takahashi
Detection of Infeasible Paths Using Presburger Arithmetic. [Citation Graph (0, 0)][DBLP] COMPSAC, 1996, pp:461-0 [Conf]
- Kuniaki Naoi, Naohisa Takahashi
Program slicing based on data-flow computation of path dependence flow graphs. [Citation Graph (0, 0)][DBLP] Systems and Computers in Japan, 1997, v:28, n:11, pp:22-33 [Journal]
- Kuniaki Naoi, Naohisa Takahashi
Semantic configuration management model using a path dependence flow graph. [Citation Graph (0, 0)][DBLP] Systems and Computers in Japan, 1999, v:30, n:5, pp:47-55 [Journal]
- Kuniaki Naoi, Naohisa Takahashi
Detection of infeasible paths using Presburger arithmetic. [Citation Graph (0, 0)][DBLP] Systems and Computers in Japan, 1999, v:30, n:9, pp:74-87 [Journal]
Search in 0.001secs, Finished in 0.001secs
|