Tomoya Kitai - Citegraph

Author Info

Name	Affiliation	Papers
TOMOYA KITAI	Tokyo Inst Technol, Meguro Ku, 2-12-1 Ookayama, Tokyo 1528552, Japan	4
Collaborators	Citations	PageRank
5	12	1.73
Referers	Referees	References
28	53	30

Publications (4 rows)

Collaborators (5 rows)

Referers (28 rows)

Referees (53 rows)

Title	Citations	PageRank	Year
Failure Trace Analysis of Timed Circuits for Automatic Timing Constraints Derivation	0	0.34	2005
Automatic Derivation of Timing Constraints by Failure Analysis	12	0.72	2002
Level Oriented Formal Model for Asynchronous Circuit Verification and its Efficient Analysis Method	0	0.34	2002
Partial Order Reduction in Verification of Wheel Structured Parameterized Circuits	0	0.34	2001

1