Advanced search
Advanced search in people
IEEE Journal of Solid-State Circuits > 2011 > 46 > 4 > 757 - 766
IEEE Transactions on Computers > 2011 > 60 > 6 > 783 - 799
2009 Formal Methods in Computer-Aided Design > 184 - 187
IEEE Transactions on Parallel and Distributed Systems > 2009 > 20 > 4 > 484 - 497
IEEE Transactions on Parallel and Distributed Systems > 2009 > 20 > 6 > 802 - 817