# of records = 7
homepages/86/1470 journals/dt/SinghZKBS09 conf/isqed/KarlSB08 journals/tvlsi/KarlBSM08 conf/dac/KarlBSM06 journals/dt/SylvesterBK06 conf/iscas/KarlSB05
XML
