Advanced search
Advanced search in people
IEEE Access > 2017 > 5 > 21229 - 21241
IEEE Transactions on Computers > 2014 > 63 > 3 > 664 - 678
IEEE Transactions on Very Large Scale Integration (VLSI) Systems > 2013 > 21 > 1 > 113 - 123
IEEE Transactions on Parallel and Distributed Systems > 2012 > 23 > 5 > 902 - 912
2009 Formal Methods in Computer-Aided Design > 184 - 187
IEEE Transactions on Parallel and Distributed Systems > 2009 > 20 > 4 > 484 - 497