Forskning ved Københavns Universitet - Københavns Universitet

Forside

Publikationer

  1. Udgivet

    Color changes in pork in relation to high pressure treatment

    Bak, K. H., 2012, Department of Food Science, University of Copenhagen. 107 s.

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

  2. Udgivet

    Literate Sociability and Historical Writing in Later Twelfth-Century England

    Bainton, Henry, 2012, I : Anglo-Norman Studies. 34, N/A, s. 23-40 18 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  3. On quasi-interpretations, blind abstractions and implicit complexity

    Baillott, P., Dal Lago, U. & Moyen, J., aug. 2012, I : Mathematical Structures in Computer Science. 22, 4, s. 549-580

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  4. Altnordisch: Eine Einführung

    Baier, K. & Schäfke-Zell, Werner, 5 dec. 2012, Tübingen: Narr. 188 s.

    Publikation: Bog/antologi/afhandling/rapportBog

  5. Udgivet

    Optimal dividend policies for a class of growth-restricted diffusion processes under transaction costs and solvency constraints

    Bai, L., Hunting, M. & Paulsen, Jostein, 2012, I : Finance and Stochastics. 16, 3, s. 477-511 35 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  6. Udgivet

    On non-trivial barrier solutions of the dividend problem for a diffusion under constant and proportional transaction costs

    Bai, L. & Paulsen, Jostein, 2012, I : Stochastic Processes and Their Applications. 122, s. 4005-4027 23 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

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

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

  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