Preserving liveness: Comments on "safety and liveness from a methodological point of view"
- Martín Abadi
- Bowen Alpern
- et al.
- 1991
- Information Processing Letters
Paper
Publications
26938 results for Science
Deferred data structure for the nearest neighbor problem
- Alok Aggarwal
- Prabhakar Raghavan
- 1991
- Information Processing Letters
PaperCH4 dissociation on metals: a quantum dynamics model
- A.C. Luntz
- J. Harris
- 1991
- Surface Science
PaperReaction of niobium with diamond films
- C.R. Guarnieri
- F.M. d'Heurle
- et al.
- 1991
- Applied Surface Science
PaperSchottky barriers of scandium and scandium monosilicide on silicon
- F.M. d'Heurle
- M.O. Aboelfotoh
- et al.
- 1991
- Applied Surface Science
PaperUnderstanding solid phase interactions: the use of tracer isotopes
- S.-L. Zhang
- F.M. d'Heurle
- et al.
- 1991
- Applied Surface Science
PaperThe reaction of scandium thin films with silicon: diffusion, nucleation, resistivities
- O. Thomas
- C.S. Petersson
- et al.
- 1991
- Applied Surface Science
PaperInteractions of deuterium and hydrocarbon species with the diamond C(111) surface
- Yoshitaka Mitsuda
- Taro Yamada
- et al.
- 1991
- Surface Science
PaperMorphological instabilities of nickel and cobalt silicides on silicon
- S. Nygren
- D. Caffin
- et al.
- 1991
- Applied Surface Science
PaperThe orientation and electronic structure of 1,3-butadiene adsorbed and condensed on Ag(110): a NEXAFS study
- D. Coulman
- J. Solomon
- et al.
- 1991
- Surface Science
Paper