Robert J. Shaw

发表

Towards a Formal Verification of a Secure and Distributed System and Its Applications

Cui Zhang, Karl N. Levitt, Myla Archer, 1994 .

Engine Technology Challenges for the High-Speed Civil Transport Plane

Robert J. Shaw, Robert M. Plencner, Ajay Misra, 1998 .

NASA Ultra Efficient Engine Technology Project Overview

Robert J. Shaw, Catherine L. Peddie, 2004 .

Libraries, Building for the Future. Proceedings of the Library Buildings Institute and the American Library Trustee Association (ALTA) Workshop (Detroit, Michigan, July 1-3, 1965).

Robert J. Shaw, 1967 .

A Full Navier-Stokes Analysis of Subsonic Diffuser of a Bifurcated 70/30 Supersonic Inlet for High Speed Civil Transport Application

Robert J. Shaw, Bernhard H. Anderson, Kamlesh Kapoor, 1994 .

Propulsion challenges for a 21st century economically viable, environmentally compatible High-Speed Civil Transport

Robert J. Shaw, 1991 .

Overview of NASA's UEET and TBCC/RTA Programs

Robert J. Shaw, Catherine L. Peddie, 2003 .

Mechanizing a Programming Logic for the Concurrent Programming Language microSR in HOL

Cui Zhang, Karl N. Levitt, Myla Archer, 1993, HUG.

The NASA aircraft icing research program

Robert J. Shaw, John J. Reinmann, 1987 .

Overview of NASA's UEET Program

Robert J. Shaw, 2002 .

Modeling Chaotic Systems

Robert J. Shaw, Robert Shaw, 1981 .

The Performance Characteristics of Rotorcraft Airfoils with Simulated Ice

John D. Lee, Robert J. Shaw, Robert J. Flemming, 1987 .

The high speed civil transport and NASA's High Speed Research (HSR) program

Robert J. Shaw, 1994 .

Progress Toward Meeting the Propulsion Technology Challenges for a 21st Century High-Speed Civil Transport

Robert J. Shaw, Richard Hines, Leigh Koops, 1997 .

Ultra-Efficient Engine Technology Project Integrated Into NASA's Vehicle Systems Program

Robert J. Shaw, 2004 .

NASA'S PROGRAM ON ICING RESEARCH AND TECHNOLOGY

Robert J. Shaw, Richard J. Ranaudo, John J. Reinmann, 1989 .

Predictions of airfoil aerodynamic performance degradation due to icing

Robert J. Shaw, Mark G. Potapczuk, Colin S. Bidwell, 1990 .

NASA's rotorcraft icing research program

Robert J. Shaw, John J. Reinmann, Thomas L. Miller, 1988 .

Addressing the Shortcomings of Traditional Formal Reasoning Methods for Concurrent Programs: New Tools and Techniques for Source Code Correctness

Ronald A. Olsson, Robert J. Shaw, 1996, Inf. Sci..

The NPARC Alliance

Robert J. Shaw, Jere J. Matty, Jay A. Cossentine, 1995 .

Engine technology challenges for a 21st Century High-Speed Civil Transport

Robert J. Shaw, 1993 .

Hyper-X: Foundation for future hypersonic launch vehicles

Robert J. Shaw, Charles R. Mcclinton, Vincent L. Rausch, 2005 .

Libraries, building for the future : proceedings of the Library Buildings Institute, and the ALTA workshop conducted at Detroit, Michigan, July 1-3, 1965

Robert J. Shaw, 1967 .

Evaluation of icing drag coefficient correlations applied to iced propeller performance prediction

K. D. Korkan, Robert J. Shaw, Thomas L. Miller, 1987 .

A formal proof of absence of deadlock for any acyclic network of PCI buses

Cui Zhang, Francisco Corella, Robert J. Shaw, 1997 .

An Interactive Compiler Development System

Gary S. Tyson, Matthew Farrens, Robert J. Shaw, 2008 .

Progress Toward Meeting the Propulsion Technology Challenges for the High Speed Civil Transport

Robert J. Shaw, R. Hines, L. W. Koops, 1999 .

High Speed Civil Transport Propulsion Installation Issues

Robert J. Shaw, S. C. Gilkey, R. H. Hines, 1995 .

Comparative study of turbulence models in predicting hypersonic inlet flows

Robert J. Shaw, Bernhard H. Anderson, Kamlesh Kapoor, 1992 .