2007-01 NASA/CR-2007-214543
Jonathan Ezekiel, Gerald Luettgen, and Radu I. Siminiceanu, "A Parallel Saturation Algorithms on Shared Memory Architectures"

2007-02 NASA/CR-2007-214542
Radu I. Siminiceanu, "Modeling Checking Abstract PLEXIL Programs with SMART"

2007-03 NASA/CR-2007-214546
Cesar A. Munoz, "Batch Proving and Proof Scripting in PVS"

2007-04
William Grossmann, "Proceedings of the NIA Workshop on Advanced Systems Engineering"

2007-05
Ming-Ying Chung, Gianfranco Ciardo, and Radu I. Siminiceanu, "Distributed Saturation"

2007-06
Cesar A. Munoz and Radu I. Siminiceanu, "In-Trail Procedure (ITP) Algorithm Design"

2007-07 NASA/CR-2007-214879
Ronald Krueger, James Ratcliff, and Pierre J. Minguet, "Analysis of Composite Panel-Stiffener Debonding Using a Shell/3D Modeling Technique"

2007-08
Boris Diskin and James L. Thomas, "Accuracy Analysis for Mixed-Element Finite-Volume Discretization Schemes"



Archived NIA Technical Reports
2003 | 2004 | 2005 | 2006