Benchmarking Explicit State Parallel Model Checkers. - Michael D. Jones; Eric Mercer; Tonglaga Bao; Rahul Kumar 004; Peter Lamborn (PDMC@CAV, 2003)

January: A Parallel Algorithm for Bug Hunting Based on Insect Behavior. - Peter Lamborn; Michael D. Jones (PPSN, 2006)

Guided Model Checking with a Bayesian Meta-heuristic. - Kevin D. Seppi; Michael D. Jones; Peter Lamborn (Fundam. Informaticae, 2006)

Layered Duplicate Detection in External-Memory Model Checking. - Peter Lamborn; Eric A. Hansen (SPIN, 2008)