Forskning ved Københavns Universitet - Københavns Universitet

Forside

Publikationer

  1. 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

  2. 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

  3. 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

  4. 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

  5. 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

  6. 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

  7. 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

  8. Udgivet

    Transformation by interpreter specialisation

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

    Publikation: Bidrag til bog/antologi/rapportBidrag til rapportForskning

  9. Udgivet

    Automatisk analyse af Zaccos og Ankiros testmateriale

    Jongejan, Bart, Pedersen, Bolette Sandford & Navarretta, Costanza, 2004, København: Center for Sprogteknologi, VID-rapport 3.

    Publikation: Bog/antologi/afhandling/rapportRapportFormidling

  10. A strategy for identifying differences in large series of metabolomic samples analyzed by GC/MS

    Jonsson, P., Gullberg, J., Nordstrom, A., Kusano, M., Kowalczyk, M., Sjostrom, M. & Moritz, Thomas, 11 feb. 2004, I: Analytical Chemistry. 76, 6, s. 1738-1745 8 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt