Takehiko Tsuchiya
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
1999–2006
Best venue rank
Multiconference
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2006 | ASPDAC | Transition-based coverage estimation for symbolic model checking. | Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya |
| 2005 | MEMOCODE | Extended abstract: transition traversal coverage estimation for symbolic model checking. | Xingwen Xu, Shinji Kimura, Kazunari Horikawa, Takehiko Tsuchiya |
| 2000 | SAC | Network Integrated Supervisory Control for Power Systems Based on Distributed Objects. | Tomomichi Seki, Takehiko Tsuchiya, Tatsuji Tanaka, Hadime Watanabe, Toshibumi Seki |
| 1999 | SAC | Object-Oriented Database management System for Process Control Systems: Development and Evaluation. | Ryuji Wakizono, Toshikazu Kawamura, Takehiko Tsuchiya, Takahiro Hatanaka, Tatsuji Tanaka |