１．
"An algorithm for statistical static timing analysis considering correlations between delays,"
IEICE Trans. Fundamentals,
vol. E84-A, no.11, pp.2746-2754,
2001年11月

２．
"A new global router for gate array LSI,"
IEEE Trans. CAD,
vol. CAD-2, no.4, pp. 313-321,
1983年10月

３．
"A new algorithm for generating all the maximal independent sets,"
SIAM J. Comput.,
vol.6, no.3, pp.505-517
1977年9月