SELECTED PUBLICATIONS
Journals
Refereed Conferences, Workshop and Symposia
-
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.
-
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