Ken Friis Larsen

Ken Friis Larsen

Lektor

Medlem af:


    1. Udgivet

      An embedded DSL for stochastic processes

      Werk, M. F., Ahnfelt-Rønne, J. & Larsen, Ken Friis, 2012, Proceedings of the 1st ACM SIGPLAN Workshop on Functional High-Performance Computing. Association for Computing Machinery, s. 93-101 9 s.

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

    2. Udgivet

      Encryption and reversible computations: Work-in-progress paper

      Táborský, D., Larsen, Ken Friis & Thomsen, Michael Kirkedal, 2018, Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Springer, s. 331-338 (Lecture notes in computer science, Bind 11106).

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

    3. Udgivet

      Classifying VAT Legislation for Automation

      Sudzina, F., Nielsen, M. I., Simonsen, Jakob Grue & Larsen, Ken Friis, 2008.

      Publikation: KonferencebidragPaperForskning

    4. 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, s. 26 38 s.

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

    5. Udgivet

      FunSETL–Functional Reporting for ERP Systems

      Nissen, M. N. & Larsen, Ken Friis, 2008, Draft Proceedings of The Ninth Symposium on Trends in Functional Programming (TFP): Technical Report ICIS-R08007, Radboud University Nijmegen. Achten, P., Koopman, P. & Morazán, M. T. (red.). s. 1-16 16 s.

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

    6. Udgivet

      Tutorial on Modeling VAT Rules Using OWL-DL

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

      Publikation: KonferencebidragPaperForskning

    7. Udgivet

      Requirements for Logical Models for Value-Added Tax Legislation

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

      Publikation: KonferencebidragPaperForskning

    8. Udgivet

      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, s. 2249-2254 6 s.

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

    9. mGTK: an SML binding of Gtk+

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

      Publikation: KonferencebidragKonferenceabstrakt til konferenceForskning

    10. Udgivet

      Kunsten at vejlede et konstruktionsprojekt

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

      Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

    Forrige 1 2 Næste

    ID: 546430