Forskning ved Københavns Universitet - Københavns Universitet

Forside

Publikationer

  1. 2017
  2. 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

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

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

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

  6. Udgivet

    Chemotherapy alone versus chemotherapy plus radiotherapy for adults with early stage Hodgkin lymphoma (Review)

    Blank, O., von Tresckow, B., Monsef, I., Specht, Lena, Engert, A. & Skoetz, N., 2017, I: Cochrane Database of Systematic Reviews. 4, 139 s., CD007110.

    Publikation: Bidrag til tidsskriftReviewForskningfagfællebedømt

  7. Udgivet

    Biosimilars for psoriasis: clinical studies to determine similarity

    Blauvelt, A., Puig, L., Chimenti, S., Vender, R., Rajagopalan, M., Romiti, R., Skov, Lone, Zachariae, Claus, Young, H., Prens, E., Cohen, A., van der Walt, J. & Wu, J. J., jul. 2017, I: British Journal of Dermatology. 177, 1, s. 23–33

    Publikation: Bidrag til tidsskriftReviewForskningfagfællebedømt

  8. Udgivet

    Discovery of Lower Cretaceous hydrothermal vent complexes in a late rifting setting, southern North Sea: insights from 3D imaging

    Blazic, L. & Moreau, J., 2017, I: Journal of the Geological Society.. 174, 2, s. 233-241 9 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  9. Udgivet

    Validity of self-reported psoriasis in a Danish birth cohort

    Blegvad, C., Nielsen, T. E. T., Zachariae, Claus, Nybo Andersen, Anne-Marie & Skov, L., 30 nov. 2017, I: British Journal of Dermatology. 177, 5, s. E295-E296 2 s., P100.

    Publikation: Bidrag til tidsskriftKonferenceabstrakt i tidsskriftForskningfagfællebedømt

  10. Udgivet

    Autoimmune Disease in Children and Adolescents with Psoriasis: A Cross-sectional Study in Denmark

    Blegvad, C., Egeberg, A., Tind Nielsen, T. E., Gislason, Gunnar Hilmar, Zachariae, Claus, Nybo Andersen, Anne-Marie & Skov, Lone, 15 nov. 2017, I: Acta Dermatovenereologica. 97, 10, s. 1225-1229 5 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  11. Udgivet

    Det menneskeligste menneske: Med Jens Baggesen på Rousseaus ø

    Blicher, Henrik, 3 okt. 2017, Distancens patos. Dam, A. E. & Stidsen, M. (red.). København: U Press, s. 17-30

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