Peter Lamborn

According to our database, Peter Lamborn authored at least 4 papers between 2003 and 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2008

Layered Duplicate Detection in External-Memory Model Checking.

Peter Lamborn, Eric A. Hansen

Proceedings of the Model Checking Software, 2008

2006

Guided Model Checking with a Bayesian Meta-heuristic.

Kevin D. Seppi, Michael D. Jones, Peter Lamborn

Fundam. Informaticae, 2006

January: A Parallel Algorithm for Bug Hunting Based on Insect Behavior.

Peter Lamborn, Michael D. Jones

Proceedings of the Parallel Problem Solving from Nature, 2006

2003

Benchmarking Explicit State Parallel Model Checkers.

Michael D. Jones, Eric Mercer, Tonglaga Bao, Rahul Kumar, Peter Lamborn

Proceedings of the 2nd International Workshop on Parallel and Distributed Model Checking, 2003