Publications

26944 results for Science

Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic
- - David Harel
- 1980
- Theoretical Computer Science
Paper
A theoretical study of the electronic properties of intercalated graphite
- - Inder P. Batra
  - L. Samuelson
- 1980
- Synthetic Metals
Paper
ESR in dilute quasi 2-dimensional Mn stearate
- - F. Ferrieu
  - M. Pomerantz
- 1980
- Journal of Magnetism and Magnetic Materials
Paper
Charge transport and pressure dependence of T_c of single crystal, ferromagnetic EuB₆
- - C.N. Guy
  - S. von Molnar
  - et al.
- 1980
- Solid State Communications
Paper
On the kinetic energies of sputtered excited particles: II. Theory and applications to group IIA fluorides
- - Steven Dzioba
  - Roger Kelly
- 1980
- Surface Science
Paper
Photoconductivity and function properties of polyacetylene films
- - T. Tani
  - W.D. Gill
  - et al.
- 1980
- Synthetic Metals
Paper
A transient capacitance study of radiation‐induced defects in aluminum‐doped silicon
- - Y.H. Lee
  - K.L. Wang
  - et al.
- 1980
- physica status solidi (a)
Paper
Rearrangements initiated by trimethylsilyl iodide: the facile ring opening of some cyclobutanone derivatives
- - R.D. Miller
  - D.R. McKean
- 1980
- Tetrahedron Letters
Paper
A functional relation and an acceleration procedure for calculating the voltage response of josephson junctions
- - W.L Miranker
  - K. Bu
- 1980
- Journal of Computational Physics
Paper
Expansions in time for the solution of one-dimensional stefan problems of crystal growth
- - R. Ghez
- 1980
- Int. J. Heat Mass Transf.
Paper