Forskning ved Københavns Universitet - Københavns Universitet

Forside

Publikationer

  1. Udgivet

    Verifying the mass-metallicity relation in damped Lyman-alpha selected galaxies at 0.1<z<3.2

    Christensen, Lise Bech, Møller, P., Fynbo, Johan Peter Uldall & Zafar, T., 1 nov. 2014, I : Monthly Notices of the Royal Astronomical Society. 445, 225, s. 225-228

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  2. Udgivet

    Verifying procedural programs via constrained rewriting induction

    Fuhs, C., Kop, C. L. M. & Nishida, N., jun. 2017, I : ACM Transactions on Computational Logic. 18, 2, 50 s., 14.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  3. Udgivet

    Verifying context-sensitive treebanks and heuristic parses in polynomial time

    Søgaard, Anders, 2009, Proceedings of the 17th Nordic Conference of Computational Linguistics. Tartu University Library, 8 s. (NEALT Proceedings Series; Nr. 4).

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

  4. Udgivet

    Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning

    Liew, V., Beame, P., Devriendt, J., Elffers, J. & Nordström, Jakob, 1 sep. 2020, Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design (FMCAD '20). IEEE, s. 194-204 9283622,

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

  5. Udgivet

    Verified Decision Procedures for MSO on Words Based on Derivatives of Regular Expressions

    Traytel, Dmitriy & Nipkow, T., 2015, I : Journal of Functional Programming. 25

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  6. Udgivet

    Verified Decision Procedures for MSO on Words Based on Derivatives of Regular Expressions

    Traytel, Dmitriy & Nipkow, T., 2013, ICFP 2013. Morrisett, G. & Uustalu, T. (red.). ACM, s. 3-12 10 s.

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

  7. Udgivet

    Verificering af standardomkostninger for tilskudsordninger - minivådområder

    Olsen, Jakob Vesterlund, 2018, 7 s.. (IFRO Udredning; Nr. 2018/09).

    Publikation: Udredning/notatFaglig redegørelse

  8. Udgivet

    Verificering af standardomkostninger for tilskudsordninger

    Pedersen, Michael Friis, jun. 2016, 5 s.. feb. 29, 2016. (IFRO Udredning; Nr. 2016/12).

    Publikation: Udredning/notatFaglig redegørelse

  9. Udgivet

    Verificering af standardomkostninger for Tilskudsordninger. Skolemælk, skolefrugt og skolegrønt

    Olsen, Jakob Vesterlund, 2018, 6 s.. (IFRO Udredning; Nr. 2018 / 21).

    Publikation: Udredning/notatFaglig redegørelse

  10. Udgivet