Forskning ved Københavns Universitet - Københavns Universitet

Forside

Publikationer

  1. 2004
  2. Udgivet

    One-dimensional Random walk of nano-sized liquid Pb inclusions on dislocations in AI

    Johnson, E., Levinsen, Mogens & Steenstrup, S., 2004, I : Philosophical Magazine. 84, 25-26, s. 2663-2673

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  3. Udgivet

    Nanoscale lead and noble gas inclusions in aluminum: structures and properties

    Johnson, E., Andersen, H. H. & Dahmen, U., 2004, I : Microscopy Research and Technique. 64, s. 356-172

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  4. Udgivet

    Random vibration movement of liquid nanosized Pb inclusions

    Johnson..[et al.], E., Andersen, J. S., Levinsen, Mogens & Steenstrup, S., 2004, I : Materials Science & Engineering: A. 375-377, s. 951-955

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  5. Udgivet

    Storing quantum information in a solid using dark- state polaritons

    Johnsson, M. & Mølmer, K., 2004, I : Physical Review A (Atomic, Molecular and Optical Physics). 70, 3, s. 032320

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  6. Udgivet

    Litter, warming and plants affect respiration and allocation of soil microbial and plant C, N and P in arctic mesocosms

    Jonasson, S. E., Castro Gutierrez, J. & Michelsen, Anders, 2004, I : Soil Biology & Biochemistry. 36, s. 1129-1139

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  7. Udgivet

    Placental glycosylation in peccary species and its relation to that of swine and dromedary

    Jones, C. J. P., Santos, T. C., Abd-Elnaeim, M., Dantzer, Vibeke & Miglino, M. A., 2004, I : Placenta. 25, 7, s. 649-657 9 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  8. Udgivet

    Compiler optimization correctness by temporal logic

    Jones, N. D., Lacey, D., Wyk, E. V. & Frederiksen, C. C., 2004, Kongresberetning. The Netherlands: Kluwer Academic Publishers, s. 173-206

    Publikation: Bidrag til bog/antologi/rapportBidrag til rapportForskning

  9. Udgivet

    Partial Evaluation Termination Analysis and Specialization - Point Insertion

    Jones, N. D. & Glenstrup, A., 2004, Transactions on Progarmming Languages and Systems. New York: Association for Computing Machinery, s. 1-101

    Publikation: Bidrag til bog/antologi/rapportBidrag til rapportForskning

  10. Udgivet

    Termination Analysis of the Untyped Lambda-Calculus

    Jones, N. D. & Bohr, N., 2004, Rewriting Techniques and Applications. 15th International Conference RTA 2004. LNCS 3091 udg. Berlin: Springer, s. 1-23

    Publikation: Bidrag til bog/antologi/rapportBidrag til rapportForskning

  11. Udgivet

    Transformation by interpreter specialisation

    Jones, N. D., 2004, Kongresberetning. The Netherlands: Elsevier, s. 1-40

    Publikation: Bidrag til bog/antologi/rapportBidrag til rapportForskning