Yirng-an Chen - Citegraph

Author Info

Name	Affiliation	Papers
YIRNG-AN CHEN	Carnegie Mellon Univ, Dept Comp Sci, Pittsburgh, PA 15213 USA	10
Collaborators	Citations	PageRank
17	304	23.80
Referers	Referees	References
483	482	274

Search Limit

100483

Publications (10 rows)

Collaborators (17 rows)

Referers (100 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
Advanced techniques for RTL debugging	14	3.16	2003
Algorithms for compacting error traces	9	0.67	2003
An Efficient Graph Representation For Arithmetic Circuit Verification	3	0.51	2001
Verification of arithmetic circuits using binary moment diagrams	7	0.46	2001
Equivalence checking of integer multipliers	5	0.54	2001
Space- And Time-Efficient Bdd Construction Via Working Set Control	18	1.01	1998
PHDD: an efficient graph representation for floating point circuit verification	25	1.40	1997
Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking	27	1.55	1996
Verification of arithmetic circuits with binary moment diagrams	191	13.41	1995
A systolic algorithm for the k-nearest neighbors problem	5	1.08	1992

1