Forskning ved Københavns Universitet - Københavns Universitet

Forside

Publikationer

  1. Udgivet

    Verificering af at tilbagediskonterede pengestrømme med permanente indkomsttab kan sidestilles med værditab

    Pedersen, Michael Friis, 2020, 3 s.. (IFRO Udredning; Nr. 2020/20).

    Publikation: Udredning/notatFaglig redegørelse

  2. Verificationism and classical realizability

    Naibo, A., Petrolo, M. & Seiller, T., 2016, Perspectives on interrogative models of inquiry: developments in inquiry and questions. Başkent, C. (red.). Springer, s. 163-197 35 s. (Logic, Argumentation & Reasoning, Bind 8).

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

  3. Udgivet

    Verification of threshold for image intensity ratio analyses of late gadolinium enhancement magnetic resonance imaging of left atrial fibrosis in 1.5T scans

    Bertelsen, L., Alarcón, F., Andreasen, Laura Korsholm, Benito, E., Olesen, Morten Steen Salling, Vejlstrup, N., Mont, L. & Svendsen, Jesper Hastrup, 2020, I: International Journal of Cardiovascular Imaging. 36, s. 513–520 8 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  4. Udgivet

    Verification of the Tycho Catalogue: photometry

    Grossmann, V., Wicenec, A., Makarov, V. V. & Halbwachs, J., 1997, I: The Hipparcos and Tycho Catalogues, ESA SP-1200. 4, s. 253-266

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

  5. Udgivet

    Verification of the Tycho Catalogue: Stellar Content

    Egret, D. & Fabricius, C., 1997, Construction of the Tycho Catalogue. -, s. 243-252

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

  6. Udgivet

    Verification of the Tycho Catalogue: Astrometry

    Fabricius, C. & Makarov, V. V., 1997, Construction of the Tycho Catalogue. s. 253-265

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

  7. Verification of systems biology research in the age of collaborative competition

    Meyer, P., Alexopoulos, L. G., Bonk, T., Califano, A., Cho, C. R., de la Fuente, A., de Graaf, D., Hartemink, A. J., Hoeng, J., Ivanov, N. V., Koeppl, H., Linding, R., Marbach, D., Norel, R., Peitsch, M. C., Rice, J. J., Royyuru, A., Schacherer, F., Sprengel, J., Stolle, K., Vitkup, D. & Stolovitzky, G., sep. 2011, I: Nature Biotechnology. 29, 9, s. 811-815 5 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  8. Udgivet

    Verification of high-level transformations with inductive refinement types

    Al-Sibahi, Ahmad Salim, Jensen, T. P., Dimovski, A. & Wasowski, A., 2018, Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, GPCE 2018 . Association for Computing Machinery, s. 147-160

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

  9. Udgivet

    Verification of flow control protocols

    Hansen, K., 1985, I: Computer communication review. 15, 1

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

  10. Udgivet

    Verification of flood damage modelling using insurance data

    Zhou, Q., Panduro, Toke Emil, Thorsen, Bo Jellesmark & Arnbjerg-Nielsen, K., 2013, I: Water Science and Technology. 68, 2, s. 425–432 8 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt