Papers by John Goodenough
Dynamic Jahn-Teller distortions and thermal conductivity in La1-xSrxMnO3 crystals
Physical Review B, Jul 1, 2001
Designing and testing interfaces for portable software: Ada TEXT_IO as an example
Lecture Notes in Computer Science, 1984
ABSTRACT
The system SrFeO/sub x/, 2.5 less than or equal to x less than or equal to 3, forms a continuous ... more The system SrFeO/sub x/, 2.5 less than or equal to x less than or equal to 3, forms a continuous solid solution at temperatures T greater than or equal to T/sub t/(x), but a series of discrete ordered-vacancy phases SrFeO/sub 3-(1/n)/ (n = infinity, 8, 4, 2) below temperatures T/sub t/(n =8) = 523 K, T/sub t/(n = 4) =
Poisoning of solid oxide fuel cell (SOFC) electrodes
Solid Oxide Fuel Cell Technology, 2009
Transport of charged particles in a solid oxide fuel cell (SOFC)
Solid Oxide Fuel Cell Technology, 2009
Electronic properties of solids for solid oxide fuel cells (SOFCs)
Solid Oxide Fuel Cell Technology, 2009
Ada compilation validation capability
The comparison of programming languages: A linguistic approach
ABSTRACT
An Exploratory Study of Reasons for HOL Object Code Inefficiency
ABSTRACT
Biography of Douglas T. Ross
Ada Compiler Validation: An Example of Software Testing Theory and Practice
ABSTRACT
A review of analytic real-time scheduling theory and its application to ada
The need for optimization standards
ABSTRACT
Arguing Security - Creating Security Assurance Cases
Spin-Orbit-Coupling Effects in Transition-Metal Compounds
Physical Review, 1968
Tools for modular programming
Proceedings of the annual conference on - ACM'73, 1973
ABSTRACT
Uploads
Papers by John Goodenough