Forskning ved Københavns Universitet - Københavns Universitet

Forside

Publikationer

  1. 2014
  2. Type checking liveness for collaborative processes with bounded and unbounded recursion

    Debois, S., Hildebrandt, Thomas Troels, Slaats, Tijs & Yoshida, N., 2014, Formal Techniques for Distributed Objects, Components, and Systems: 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings. Ábrahám, E. & Palamidessi, C. (red.). Springer, s. 1-16 16 s. (Lecture notes in computer science, Bind 8461).

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

  3. Udgivet

    Typelets - a rule-based evaluation model for dynamic, statically typed user interfaces

    Elsman, Martin & Schack-Nielsen, A., 2014, Practical Aspects of Declarative Languages: 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings. Flatt, M. & Guo, H-F. (red.). Springer, s. 184-199 16 s. (Lecture notes in computer science, Bind 8324).

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

  4. Udgivet

    Tyrkiske sufi-bestsellere: Ümit, Shafak, Pamuk

    Svane, Marie-Louise, 2014, I : Kritik. 47, 212, s. 11-20 10 s., 2.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  5. Udgivet

    Tyskland: en grundbog i politik og økonomi

    Nedergaard, Peter & Jensen, C. H. (red.), 2014, Systime. 205 s.

    Publikation: Bog/antologi/afhandling/rapportBogFormidling

  6. Udgivet

    Tæthedskontrol af tagmembran på grønne tage

    Støvring, Jan & Dam, Torben, 2014, I : Videnblade Park og Landskab. 4.09-07, 2 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelFormidling

  7. Udgivet

    Título: Tolerancia a condiciones salinas

    Biondi, S., Ruiz, K. B., Martínez, E. A., Zurita-Silva, A., Orsini, F., Antognoni, F., Dinelli, G., Marotti, I., Gianquinto, G., Maldonado, S., Burrieza, H., Bazile, D., Adolf, V. I. & Jacobsen, S., 2014, Estado del arte de la quinua en el mundo en 2013. BAZILE, D. (red.). Food and Agriculture Organization of the United Nations, s. 167-184 18 s.

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningfagfællebedømt

  8. Udgivet

    Tørke og rodudvikling sandsynligvis udslagsgivende ved Taastrup

    Petersen, Carsten Tilbæk, Hansen, S., Abrahamsen, Per, Liu, Fulai & Li, X., 2014, Oversigt over Landsforsøgene 2014. Pedersen, J. B. (red.). Videncentret for Landbrug, s. 274-276 3 s.

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningfagfællebedømt

  9. Udgivet

    U.S. Foreign Relations: China

    He, K., 2014, Oxford Companion to International Relations. N.Y.: Oxford University Press, Bind 2. s. 388-394

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningfagfællebedømt

  10. Udgivet

    UAS and fruit yield estimation

    Wulfsohn, D., 2014, AUVSI Unmanned Systems 2014: Panel Session. Association for Unmanned Vehicle Systems International, s. 658-670 13 s.

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

  11. Udgivet

    UAV Based Imaging for Crop, Weed and Disease Monitoring

    Garcia Ruiz, F. J., 2014, Department of Plant and Environmental Sciences, Faculty of Science, University of Copenhagen.

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