Advanced search
Advanced search
IEEE Transactions on Computers > 2016 > 65 > 6 > 1748 - 1760
IEEE Transactions on Software Engineering > 2015 > 41 > 8 > 764 - 780
IEEE Transactions on Industrial Electronics > 2013 > 60 > 10 > 4376 - 4386
DAC Design Automation Conference 2012 > 188 - 196