Search results for: M.J. Irwin
New Astronomy > 2010 > 15 > 5 > 433-443
IEEE Transactions on Dependable and Secure Computing > 2009 > 6 > 3 > 202 - 216
IEEE Transactions on Computers > 2009 > 58 > 7 > 865 - 877
IEEE Transactions on Computer-Aided Design of Integrated Circuits and... > 2009 > 28 > 6 > 901 - 914
IEEE Transactions on Dependable and Secure Computing > 2008 > 5 > 2 > 115 - 127
IEEE Transactions on Very Large Scale Integration (VLSI) Systems > 2008 > 16 > 4 > 444 - 455