K. Albin

Technical aspects of the Advanced Camera for Surveys repair

Markus Loose, Stephen A. Rinehart, Marco Sirianni, 2008, Astronomical Telescopes + Instrumentation.

The Hubble Space Telescope Advanced Camera for Surveys: Post-Servicing Mission 4

Marco Sirianni, Robert J. Smith, James Au-Yeung, 2007 .

Constraint synthesis for environment modeling in functional verification

K. Albin, A. Aziz, C. Pixley, 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).