Forskning ved Københavns Universitet - Københavns Universitet

Forside

Publikationer

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

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

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

  4. Udgivet

    Transformation by interpreter specialisation

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

    Publikation: Bidrag til bog/antologi/rapportBidrag til rapportForskning

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

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

  7. Udgivet

    Escape performance in three teleosts from West Greenland

    Jordan, Anders Drud, Steffensen, John Fleng & Herbert, N. A., 2004, I: Polar Biology. 28, s. 164-167

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  8. Udgivet

    Strangeness production in root sNN=200 GeV Au+Au collisions at RHIC

    Jordre...[et al.], J. I., Bearden, Ian, Bøggild, H., Christensen, C. H., Gaardhøje, Jens Jørgen, Larsen, T. M., Nielsen, Børge Svane & Ristea, C. L., 1 jul. 2004, I: European Physical Journal C. 33, 1 S, s. S624-S626 2 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  9. Udgivet

    Probing structural changes of proteins incorporated into water-in-oil emulsions

    Jørgensen, Lene, van de Weert, Marco, Vermehren, C., Bjerregaard, S. & Frøkjær, Sven, jul. 2004, I: Journal of Pharmaceutical Sciences. 93, 7, s. 1847-59 13 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  10. Udgivet

    P-Type Pumps: na+/K+ Pump

    Jorgensen, P. L., 2004, I: Encyclopedia of Biological Chemistry. 3, s. 571-576

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt