Publications for the year 2009 (96 out of 745)

  • Control Relevant Modeling, Analysis, and Design of Scramjet-Powered Hypersonic Vehicles

  • Published at: 16th International Space Planes and Hypersonic Systems and Technologies Conference
  • Date: 10/19/09
  • Authors: Armando Rodriguez, Jeffrey Dickeson, Jose Benavides, Don Soloway
  • Testing First-Order Axioms in AutoCert

  • Published at: The Seventh Asian Symposium on Programming Languages and Systems (APLAS 2009) and Systems (APLAS 2009)
  • Date: 10/08/09
  • Authors: KiYung Ahn, Ewen Denney