Forskning ved Københavns Universitet - Københavns Universitet

Forside

Publikationer

  1. 2010
  2. Udgivet

    A step-indexed Kripke model of hidden state via recursive properties on recursively defined metric spaces

    Birkedal, L., Schwinghammer, J. & Støvring, K., 2010, 7th Workshop on Fixed Points in Computer Science, FICS 2010. Santocanale, L. (red.). s. 27-33 7 s.

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

  3. Udgivet

    A stochastic, evolutionary model for range shifts and richness on tropical elevational gradients under Quaternary glacial cycles

    Colwell, R. K. & Rangel, T. F., 2010, I : Philosophical Transactions of the Royal Society B: Biological Sciences. 365, 1558, s. 3695-3707 13 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  4. Udgivet

    A study of alternative splicing in the pig

    Hillig, A. N., Cirera, Susanna, Gilchrist, M. J., Gorodkin, Jan, Jørgensen, Claus Bøttcher & Fredholm, Merete, 2010, I : BMC Research Notes. 3, 123, 12 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  5. Udgivet

    A study of factors affecting the establishment of urban trees

    Bühler, Oliver, 2010, Forest & Landscape, University of Copenhagen.

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

  6. Udgivet

    A study of polyketide biosynthesis in Fusarium graminearum

    Frandsen, R. J. N., 2010, Department of Agriculture and Ecology, University of Copenhagen. 183 s.

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

  7. A subjective logic formalisation of the principle of polyrepresentation for information needs

    Lioma, Christina, Larsen, B., Schütze, H. & Ingwersen, P., 2010, IIiX '10 Proceedings of the third symposium on Information interaction in context : Pages 125-134 ACM New York, NY, USA ©2010 . Association for Computing Machinery, s. 125-134

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

  8. Udgivet

    A sunbeam of hope: Negotiations of Identity and Belonging among Pakistanis in Denmark

    Nielsen, M. R., 2010, I : Journal of Ethnic and Migration Studies. 36, 4, s. 599 - 617 19 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  9. Udgivet

    A survey of Crimean-Congo haemorrhagic fever in livestock and ticks in Ardabil Province, Iran during 2004-2005

    Telmadarraiy, Z., Ghiasi, S. M., Moradi, M., Vatandoost, H., Eshraghian, M. R., Faghihi, F., Zarei, Z., Haeri, A. & Chinikar, S., 2010, I : Scandinavian Journal of Infectious Diseases. 42, 2, s. 137-41 5 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  10. Udgivet

    A survey of formal languages for contracts

    Hvitved, T., 2010, Formal Languages and Analysis of Contract-Oriented Software - 4th International Workshop, FLACOS 2010: electronic proceedings. Brogi, A., Bruni, R. & Schneider, G. (red.). s. 29-32 4 s.

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

  11. Udgivet

    A synthetic combinatorial strategy for developing a-conotoxin analogs as potent a7 nicotinic acetylcholine receptor antagonists

    Armishaw, C. J., Singh, N., Medina-Franco, J. L., Clark, R. J., Scott, K. C. M., Houghten, R. A. & Jensen, Anders A., 2010, I : Journal of Biological Chemistry. 285, 3, s. 1809-1821

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt