Tool-Supported Program Abstraction for Finite-State Verification. - Matthew B. Dwyer; John Hatcliff; Roby Joehanes; Shawn Laubach; Corina S. Pasareanu; Robby; Hongjun Zheng; Willem Visser (ICSE, 2001)

Permutation Genetic Algorithms for Score-Based Bayesian Network Structure Learning. - William H. Hsu; Roby Joehanes (CCCT (1), 2004)

QGene 4.0, an extensible Java QTL-analysis platform. - Roby Joehanes; James C. Nelson (Bioinform., 2008)