Proceedings of the Third International Workshop on Proof-Carrying Code and Software Certification
Ewen Denney
Published at:

Assessment of Robotic Recon for Human Exploration of the Moon
Terry Fong

Robotic Recon for Human Exploration
Terry Fong

Evaluation of Anomaly Detection Capability for Ground-Based Pre-Launch Shuttle Operations
Rodney Martin
Published at: Book Chapter: IN-TECH: Aerospace Technologies Advancements

Achieving Scalability with Schema-less Databases
David Maluf
Published at: Book Chapter: "Advances in Data Management"

On Organization of Information-Approach and Early Work
Asaf Degani, Charles Jorgensen, David Iverson, Michael Shafto, Leonard Olson
Published at: NASA TM-2009-215368

Local Search for Optimal Global Map Generation Using Mid-Decadal Landsat Images.
Robert Morris, John Gasch, Lina Khatib
Published at: JA: AI Magazine

Traverse Planning for Human & Robotic Missions to Hadley Rille (report)
Michael Broxton, Matt Deans, Terry Fong, Mark Helper, Kip Hodges, Gerald Schaber, Harrison Schmitt, Trey Smith
Published at: TM

Understanding the Scalability of Bayesian Network Inference using Clique Tree Growth Curves
Ole Mengshoel
Published at: JA: AI Magazine

A Novel Mating Approach for Genetic Algorithms
Severino Galan, Ole Mengshoel
Published at: Journal Article

Efficient Probablistic Diagnostics for Electrical Power Systems
Ole Mengshoel
Published at: TM

Status Report for Planetary Spatial Analyst
Leslie Keely
Published at: Public Website (Applied Information Systems Research (AISR))