Forskning ved Københavns Universitet - Københavns Universitet

Forside

Publikationer

  1. Udgivet

    Digital Images and Globalized Conflict

    Blaagaard, B. (red.), Mortensen, Mette (red.) & Neumayer, Christina (red.), 2017, 8 udg. SAGE Publications. 156 s. (Media, Culture & Society; Nr. 8, Bind 39).

    Publikation: Bog/antologi/afhandling/rapportAntologiForskningfagfællebedømt

  2. Udgivet

    Denmark: Voluntary Accountability Driven by Political Pressure

    Blach-Ørsten, M., Møller Hartley, J. & Flensburg, Sofie, 2017, European Handbook of Media Accountability. Eberwein, T., Fengler, S. & Karmasin, M. (red.). London: Routledge, s. 54-62 9 s.

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

  3. Why ‘the best way of learning to coach the game is playing the game’: conceptualising ‘fast-tracked’ high-performance coaching pathways

    Blackett, A. D., Evans, Adam B. & Piggott, D., 2017, I: Sport, Education and Society. 22, 6, s. 744-758 15 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  4. Udgivet

    Endurance exercise per se reduces the cardiovascular risk marker t-PA antigen in healthy, younger, overweight men

    Bladbjerg, E. M., Skov, J., Nordby, P. & Stallknecht, Bente Merete, 2017, I: Thrombosis Research. 152, s. 69-73 5 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  5. Udgivet

    Bovine cysticercosis in the European Union: Impact and current regulations, and an approach towards risk-based control

    Blagojevic, B., Robertson, L. J., Vieira-Pinto, M., Johansen, M. V., Laranjo-González, M. & Gabriël, S., aug. 2017, I: Food Control. 78, s. 64-71 8 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  6. Udgivet

    iPTF16fnl: A Faint and Fast Tidal Disruption Event in an E plus A Galaxy

    Blagorodnova, N., Gezari, S., Hung, N. T., Kulkarni, S. R., Cenko, S. B., Pasham, D. R., Yan, L., Arcavi, I., Ben-Ami, S., Bue, B. D., Cantwell, T., Cao, Y., Castro-Tirado, A. J., Fender, R. P., Fremling, C., Gal-Yam, A., Ho, A. Y. Q., Horesh, A., Hosseinzadeh, G., Kasliwal, M. M., Kong, A. K. H., Laher, R. R., Leloudas, G., Lunnan, R., Masci, F. J., Mooley, K., Neill, J. D., Nugent, P., Powell, M., Valeev, A. F., Vreeswijk, P. M., Walters, R. C. & Wozniak, P. R., 20 jul. 2017, I: Astrophysical Journal. 844, 1, 46.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  7. Nested Multisets, Hereditary Multisets, and Syntactic Ordinals in Isabelle/HOL

    Blanchette, J. C., Fleury, M. & Traytel, Dmitriy, 2017, FSCD 2017. Miller, D. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Bind 84. s. 11:1-11:18 (LIPIcs).

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

  8. Friends with Benefits: Implementing Corecursion in Foundational Proof Assistants

    Blanchette, J. C., Bouzy, A., Lochbihler, A., Popescu, A. & Traytel, Dmitriy, 2017, ESOP 2017. Yang, H. (red.). Springer Berlin/Heidelberg, Bind 10201. s. 111-140 30 s. (LNCS).

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

  9. Foundational Nonuniform (Co)datatypes for Higher-Order Logic

    Blanchette, J. C., Meier, F., Popescu, A. & Traytel, Dmitriy, 2017, LICS 2017. IEEE Computer Society Press, s. 1-12 12 s.

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

  10. Soundness and Completeness Proofs by Coinductive Methods

    Blanchette, J. C., Popescu, A. & Traytel, Dmitriy, 2017, I: Journal of Automated Reasoning. 58, 1, s. 149-179 31 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt