Forskning ved Københavns Universitet - Københavns Universitet

Forside

Publikationer

  1. Udgivet

    Microhabitat preference of Anisakis simplex in three salmonid species: immunological implications

    Bahlool, Q. Z. M., Skovgaard, A., Kania, Per, Haarder, S. & Buchmann, Kurt, 2012, I : Veterinary Parasitology. 190, 3-4, s. 489-495 7 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  2. Udgivet
  3. Håb om at ramme latente bakterier i deres skjul

    Bahnsen, J. S., Water, J. J., Foged, C., Franzyk, H. & Nielsen, Hanne Mørck, 2012, I : Lægemiddelforskning 2012. 2012, s. 12-14

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

  4. Udgivet

    Håb om at ramme latente bakterier i deres skjul

    Bahnsen, J. S., Water, J. J., Foged, Camilla, Franzyk, Henrik & Nielsen, Hanne Mørck, 2012, I : Lægemiddelforskning 2012. 2012, s. 12-14

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

  5. The antimicrobial and cell-penetrating effects of the CPP penetratin and derived analogues.

    Bahnsen, J. S., Franzyk, H. & Nielsen, Hanne Mørck, 2012.

    Publikation: KonferencebidragPosterForskning

  6. Udgivet

    Parametric compositional data types

    Bahr, P. & Hvitved, T., 2012, Proceedings Fourth Workshop on Mathematically Structured Functional Programming. Chapman, J. & Levy, P. B. (red.). Open Publishing Association, s. 3-24 22 s. (Electronic Proceedings in Theoretical Computer Science, Bind 76).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  7. Udgivet

    Infinitary term graph rewriting is simple, sound and complete

    Bahr, P., 2012, 23rd International Conference on Rewriting Techniques and Applications (RTA'12). Tiwari, A. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 69-84 16 s. (Leibniz International Proceedings in Informatics, Bind 15).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  8. Udgivet

    Modes of convergence for term graph rewriting

    Bahr, P., 2012, I : Logical Methods in Computer Science. 8, 2, 60 s., 6.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  9. Udgivet

    Modular Implementation of Programming Languages and a Partial-Order Approach to Infinitary Rewriting

    Bahr, P., 31 okt. 2012, 466 s.

    Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

  10. Udgivet

    Modular tree automata

    Bahr, P., 2012, Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings. Gibbons, J. & Nogueira, P. (red.). Springer, s. 263-299 37 s. (Lecture notes in computer science, Bind 7342).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt