Advanced search
Advanced search in people
IEEE Journal on Emerging and Selected Topics in Circuits and Systems > 2015 > 5 > 2 > 194 - 204
IEEE Transactions on Circuits and Systems I: Regular Papers > 2015 > 62 > 3 > 733 - 742
IEEE Journal of Solid-State Circuits > 2014 > 49 > 1 > 9 - 18
IEEE Transactions on Very Large Scale Integration (VLSI) Systems > 2012 > 20 > 7 > 1262 - 1275
IEEE Transactions on Very Large Scale Integration (VLSI) Systems > 2011 > 19 > 2 > 250 - 263
IEEE Transactions on Very Large Scale Integration (VLSI) Systems > 2011 > 19 > 1 > 42 - 51
2009 Formal Methods in Computer-Aided Design > 180 - 183
2009 IEEE 8th International Conference on ASIC > 1302 - 1305
IEEE Journal of Solid-State Circuits > 2009 > 44 > 1 > 7 - 17