Ken Friis Larsen

Ken Friis Larsen

Lektor

Medlem af:

    ORCID: 0000-0002-0990-5127

    Udgivelsesår:
    Alle
    11 - 20 ud af 20Pr. side: 10
    Sortering: Udgivelsesdato
    1. 2009
    2. Udgivet

      A MuDDy Experience-ML Bindings to a BDD Library

      Larsen, Ken Friis, 2009, Domain-Specific Languages, IFIP TC 2 Working Conference, DSL 2009. Taha, W. M. (red.). Springer, Bind 5658. s. 45-57 12 s. (Lecture notes in computer science, Bind 5658).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    3. Udgivet

      POETS: Process-oriented Enterprise Transaction Systems

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

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    4. 2008
    5. Udgivet

      Classifying VAT Legislation for Automation

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

      Publikation: Konferencebidrag › Paper › Forskning

    6. 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    7. Udgivet

      Requirements for Logical Models for Value-Added Tax Legislation

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

      Publikation: Konferencebidrag › Paper › Forskning

    8. 2007
    9. Udgivet

      Compositional Contract Specification for REA

      Henglein, Fritz, Larsen, Ken Friis, Simonsen, Jakob Grue & Stefansen, C. O. E., 2007, NWPT '07/FLACOS' 07: workshop proceedings, October 9-12, 2007.Oslo, Norway. Johnsen, E. B., Owe, O. & Schneider, G. (red.). Universitetet i Oslo, s. 130-132 (Research report. Universitetet i Oslo. Institutt for informatikk; Nr. 366).

      Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning

    10. Udgivet

      Kunsten at vejlede et konstruktionsprojekt

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

      Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

    11. Udgivet

      Tutorial on Modeling VAT Rules Using OWL-DL

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

      Publikation: Konferencebidrag › Paper › Forskning

    12. 2004

    13. 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/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

    14. mGTK: an SML binding of Gtk+

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

      Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning

    Forrige 1 2 Næste

    ID: 546430