Colin Blundell
发表
C. Pasareanu,
Colin Blundell,
D. Giannakopoulou,
2006,
SAVCBS '05.
Pascal Van Hentenryck,
Kathi Fisler,
Shriram Krishnamurthi,
.
Milo M. K. Martin,
Colin Blundell,
E. Christopher Lewis,
2005
.
Maged M. Michael,
Colin Blundell,
C. Cascaval,
2008
.
Colin Blundell,
Colin Blundell,
2003
.
Colin Blundell,
Corina S. Pasareanu,
Dimitra Giannakopoulou,
2006,
SAVCBS '05.
Milo M. K. Martin,
Colin Blundell,
Steve Zdancewic,
2008,
ASPLOS.
Milo M. K. Martin,
Colin Blundell,
E. Lewis,
2006,
IEEE Computer Architecture Letters.
Colin Blundell,
Corina S. Pasareanu,
Dimitra Giannakopoulou,
2008,
IET Softw..
Maged M. Michael,
Peng Wu,
Colin Blundell,
2008,
ACM Queue.
Maged M. Michael,
Harold W. Cain,
Colin Blundell,
2008,
Commun. ACM.
Thomas F. Wenisch,
Milo M. K. Martin,
Colin Blundell,
2009,
ISCA '09.
Colin Blundell,
R. Nair,
Lakshminarayanan Renganarayana,
2011
.