Undecidability Results for Deterministic Communicating Sequential Processes
- Randall A. Cieslak
- Pravin P. Varaiya
- 1990
- IEEE TACON
Paper
Publications
25372 results for Science
Growth of CoSi2on Si(001): Structure, defects, and resistivity
- R.D. Thompson
- S.S. Iyer
- 1990
- Journal of Vacuum Science and Technology A: Vacuum, Surfaces and Films
PaperThe inversion matrix and error estimation in data inversion: Application to diffusion battery measurements
- Douglas W. Cooper
- Jin Jwang Wu
- 1990
- Journal of Aerosol Science
PaperPhenylquinoxaline–Aryl ester block copolymers
- Jeff W. Labadie
- James L. Hedrick
- 1990
- Journal of Polymer Science Part A: Polymer Chemistry
PaperA 24-SQUID gradiometer for magnetoencephalography
- S. Ahlfors
- A. Ahonen
- et al.
- 1990
- Physica B: Physics of Condensed Matter
PaperRecursive computation of steady-state probabilities in priority queues
- Israel Cidon
- Moshe Sidi
- 1990
- Operations Research Letters
PaperSurface and interfacial energies of CoSi2 and Si films. Implications regarding formation of three-dimensional silicon-silicide structures
- K.N. Tu
- 1990
- IBM J. Res. Dev
PaperA theory of compaction-based parallelization
- Alexander Aiken
- 1990
- Theoretical Computer Science
PaperAn ionic model of the crystal chemistry in the superconducting copper oxides of stoichiometry (RE)2CuO4
- Joseph F. Bringley
- Steven S. Trail
- et al.
- 1990
- Journal of Solid State Chemistry
PaperComposition and structure of boron nitride films deposited by chemical vapor deposition from borazine
- J. Kouvetakis
- V.V. Patel
- et al.
- 1990
- Journal of Vacuum Science and Technology A: Vacuum, Surfaces and Films
Paper