Tomoya Kitai
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2001–2002
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2002 | CAV | Automatic Derivation of Timing Constraints by Failure Analysis. | Tomohiro Yoneda, Tomoya Kitai, Chris J. Myers |
| 2002 | PRDC | Level Oriented Formal Model for Asynchronous Circuit Verification and its Efficient Analysis Method. | Tomoya Kitai, Yusuke Oguro, Tomohiro Yoneda, Eric Mercer, Chris J. Myers |
| 2001 | PRDC | Partial Order Reduction in Verification of Wheel Structured Parameterized Circuits. | Tomoya Kitai, Tomohiro Yoneda |