Journals

• Guided Model Checking with a Bayesian Meta-heuristic.
  Kevin Seppi, Michael Jones, and Peter Lamborn. 2006. In Fundamenta Informaticae, vol. 70, no. 1-2, pp. 111-126.

Refereed Conferences, Workshop and Symposia

• Layered Duplicate Detection in External-Memory Model Checking.
  Peter Lamborn and Eric Hansen. 2008. In 15th International SPIN Workshop on Model Checking of Software, pp. 160-175, Los Angeles, CA.

• January: A Parallel Algorithm for Bug Hunting based on Insect Behavior.
  Peter Lamborn and Michael Jones. 2006. In Proceedings of Parallel Problem Solving from Nature, pp. 731-740, Reykjavik, Iceland.

• Memory-Efficient Graph Search in Planning and Model Checking.
  Peter Lamborn and Eric A. Hansen. 2006. In Proceedings of the Doctoral Consortium of the 16th International Conference on Automated Planning & Scheduling, Cumbria, UK.

• Data Fusion on a Distributed Heterogeneous Sensor Network.
  Peter Lamborn and Pamela Williams. 2006. In Proceedings of SPIE – Multisensor, Multisource Information Fusion: Architectures, Algorithms, and Applications, Orlando, FL.

• Guided Model Checking with a Bayesian Meta-heuristic.
  Kevin Seppi, Michael Jones, and Peter Lamborn. 2004. In Proc. of the 4th International Conference on Application of Concurrency to System Design (ACSD 2004), Hamilton, Canada, pp. 217-226.

• Benchmarking Explicit State Parallel Model Checkers.
  Michael Jones, Eric Mercer, Tonga Bao, Rahul Kumar, and Peter Lamborn. 2003. In Proceedings of the 2nd Workshop on Parallel and Distributed Model Checking, Boulder, CO. (Also appears in Electronic Notes in Theoretical Computing Science, vol. 89, no. 2 pp. 84-98)

Other

• January: Search Based on Social Insect Behavior.
  Peter Lamborn. 2005. MS Thesis, Brigham Young University, Department of Computer Science.