Ken Friis Larsen

Ken Friis Larsen

Associate Professor

Member of:

    ORCID: 0000-0002-0990-5127

    Publication year:
    All
    1 - 10 out of 20Page size: 10
    Sort by: Title

    1. mGTK: an SML binding of Gtk+

      Larsen, Ken Friis & Niss, H., 2004.

      Research output: Contribution to conference › Conference abstract for conference › Research

    2. Published

      Tutorial on Modeling VAT Rules Using OWL-DL

      Nielsen, M. I., Simonsen, Jakob Grue & Larsen, Ken Friis, 2007.

      Research output: Contribution to conference › Paper › Research

    3. Published

      SkyView: a user evaluation of the skyline operator

      Magnani, M., Assent, I., Hornbæk, Kasper, Jakobsen, M. R. & Larsen, Ken Friis, 2013, CIKM '13: proceedings of the 22nd ACM International Conference on Information & Knowledge Management . Association for Computing Machinery, p. 2249-2254 6 p.

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    4. Published

      Session types for rust

      Jespersen, T. B. L., Munksgaard, P. & Larsen, Ken Friis, 2015, Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming: WGP 2015. Association for Computing Machinery, p. 13-22 10 p.

      Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

    5. Published

      Requirements for Logical Models for Value-Added Tax Legislation

      Nielsen, M. I., Simonsen, Jakob Grue & Larsen, Ken Friis, 2008. 5 p.

      Research output: Contribution to conference › Paper › Research

    6. Published

      POETS: Process-oriented Enterprise Transaction Systems

      Henglein, Fritz, Stefansen, C. O. E., Simonsen, Jakob Grue & Larsen, Ken Friis, 2009, In: Journal of Logic and Algebraic Programming. 78, 5, p. 381-401 21 p.

      Research output: Contribution to journal › Journal article › Research › peer-review

    7. Published

      Kunsten at vejlede et konstruktionsprojekt

      Larsen, Ken Friis, 2007, In: Dansk Universitetspædagogisk Tidsskrift .

      Research output: Contribution to journal › Journal article › Research › peer-review

    8. Incremental Execution of Transformation Specifications

      Sittampalam, G., de Moor, O. & Larsen, Ken Friis, 2004, Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages. Association for Computing Machinery, p. 26 38 p.

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    9. Published

      Generic multiset programming with discrimination-based joins and symbolic Cartesian products

      Henglein, Fritz & Larsen, Ken Friis, 2010, In: Higher-Order and Symbolic Computation. 23, 3, p. 337-370 34 p.

      Research output: Contribution to journal › Journal article › Research › peer-review

    10. Published

      Generic multiset programming for language-integrated querying

      Henglein, Fritz & Larsen, Ken Friis, 2010, Proceedings of the 6th ACM SIGPLAN workshop on Generic programming. Association for Computing Machinery, p. 49-59 11 p.

      Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

    Previous 1 2 Next

    ID: 546430