Formal Methods and Their Future. - Gerry Musgrave; Simon Finn; M. D. Francis; R. Harris; Roger B. Hughes (EUROCAST, 1993)

Projection pursuit classification of multiband polarimetric SAR land images. - Dennis B. Trizna; Charles M. Bachmann; Mark A. Sletten; Nick Allan; Jakov V. Toporkov; R. Harris (IEEE Trans. Geosci. Remote. Sens., 2001)

Traffic Engineering Using OSPF Weights and Splitting Ratios. - J. Murphy; R. Harris; R. Nelson (INTERWORKING, 2002)

VSTM: Virtual Stress Testing Machine. - R. Harris; A. M. Ausin; J. S. Angulo; Faramarz Valafar; T. Impelluso (PDPTA, 2004)

Scalability of VSTM: A Memory Model and Inter-Processor Communication Perspective. - Faramarz Valafar; R. Harris; A. M. Ausin; J. S. Angulo; T. Impelluso (PDPTA, 2004)

Analysis of cooling channels performance. - A. J. Norwood; P. M. Dickens; R. C. Soar; R. Harris; Greg Gibbons; R. Hansell (Int. J. Comput. Integr. Manuf., 2004)

Automating the development of quantum computational software. - V. Paul Pauca; Todd C. Torgersen; Y. Abraham; J. Schmitt; R. Harris (ACM Southeast Regional Conference, 2007)

Virtual stress testing machine and the cyber-infrastructure. - R. Harris; T. Impelluso (Eng. Comput., 2008)