. "Quarterly" . . . . "Found. Trends Electron. Des. Autom." . . "1551-3939" . . "1551-3947" . . . . "Foundations and Trends in Electronic Design Automation" . . "2006" . "55964357" . . "Foundations and Trends in Electronic Design Automation" . "2007" . . . .