M. Vaucher

Evaluation of Private Sector Roles in Space Resource Development

B. Blair, M. Duke, E. Lamassoure, 2003 .

The Mechanical Verification of a DPLL-Based Satisfiability Solver

Natarajan Shankar, Marc Vaucher, N. Shankar, 2011, LSFA.

Architecture Studies for Commercial Production of Propellants From the Lunar Poles

B. Blair, M. Duke, J. Díaz, 2003 .

Objectives and Roles of Space Development for Social Challenges in the Post Cold War Era

M. Vaucher, H. Yoshida, 1997 .