Forskning ved Københavns Universitet - Københavns Universitet

Forside

Publikationer

  1. Udgivet

    On reversible Turing machines and their function universality

    Axelsen, H. B. & Glück, Robert, 2016, I: Acta Informatica. 53, 5, s. 509-543 35 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  2. Udgivet

    The degree of irreversibility in deterministic finite automata

    Axelsen, H. B., Holzer, M. & Kutrib, M., 2016, Implementation and Application of Automata: 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings. Han, Y-S. & Salomaa, K. (red.). Springer, s. 15-26 12 s. (Lecture notes in computer science, Bind 9705).

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

  3. Udgivet

    A classical propositional logic for reasoning about reversible logic circuits

    Axelsen, H. B., Glück, Robert & Kaarsgaard, R., 2016, Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings. Väänänen, J., Hirvonen, Å. & de Queiroz, R. (red.). Springer, s. 52-67 16 s. (Lecture notes in computer science, Bind 9803).

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

  4. Udgivet

    Kildecentreret matematikhistorie: Reportage fra et forløb og en konference

    Axelsen, J. M., Danielsen, K. & Sørensen, Henrik Kragh, 2016, I: LMFK-Bladet. 4-5, s. 22-25

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskning

  5. Udgivet

    Left ventricular volume predicts exercise capacity in hypertrophic cardiomyopathy

    Axelsson, A. K. I., Iversen, Kasper, Vejlstrup, N. G., Langhoff, L., Thomsen, A., Ho, C. Y., Havndrup, O., Kofoed, Klaus Fuglsang, Jensen, M. & Bundgård, Henning, 15 jan. 2016, I: International Journal of Cardiology. 203, s. 676-8 3 s.

    Publikation: Bidrag til tidsskriftLetterForskningfagfællebedømt

  6. Udgivet

    Functional effects of losartan in hypertrophic cardiomyopathy: a randomised clinical trial

    Axelsson, A. K. I., Iversen, Kasper, Vejlstrup, N. G., Ho, C. Y., Havndrup, O., Kofoed, Klaus Fuglsang, Norsk, J., Jensen, M. & Bundgård, Henning, feb. 2016, I: Heart. 102, 4, s. 285-291 7 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  7. Udgivet

    Species composition and diversity of fish larvae in the Subtropical Convergence Zone of the Sargasso Sea from morphology and DNA barcoding

    Ayala, D., Riemann, Lasse & Munk, P., 2016, I: Fisheries Oceanography. 25, 1, s. 85-104 20 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  8. Udgivet

    Metastatic basal cell carcinoma caused by carcinoma misdiagnosed as acne - case report and literature review

    Aydin, D., Hølmich, Lisbet Rosenkrantz & Jakobsen, L. P., jun. 2016, I: Clinical Case Reports. 4, 6, s. 601-604 4 s.

    Publikation: Bidrag til tidsskriftReviewForskningfagfællebedømt

  9. Udgivet

    Poor adherence to clinical guidelines for women undergoing breast reduction

    Aydin, D., Hansen, Lone Bak, Ikander, P., Drejøe, J. B., Lambaa, S. & Hølmich, Lisbet Rosenkrantz, jan. 2016, I: Danish Medical Journal. 63, 1, 6 s., A5179.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  10. Udgivet

    Plant diversity and regeneration in a disturbed isolated dry Afromontane forest in northern Ethiopia

    Aynekulu, E., Aerts, R., Denich, M., Nigussie, A., Friis, Ib, Sebsebe, D. & Boehmer, H. J., 2016, I: Folia Geobotanica. 51, 2, s. 115-127 13 s.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt