Ken Friis Larsen

2018

Encryption and reversible computations: Work-in-progress paper

Táborský, D., Larsen, K. F. & Thomsen, M. K., 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/rapport › Konferencebidrag i proceedings › Forskning › peer review

2 Citationer (Scopus)

2017

Automatic Incrementalization of Functional Reports

Larsen, K. F. & Henglein, F., 2017. 2 s.

Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning › peer review

2016

Design and GPGPU performance of Futhark's redomap construct

Henriksen, T., Larsen, K. F. & Oancea, C. E., 14 jun. 2016, Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries, Languages, and Compilers for Array Programming. Association for Computing Machinery, s. 17-24 8 s.

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

8 Citationer (Scopus)

2015

Session types for rust

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

Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › peer review

25 Citationer (Scopus)

2013

SkyView: a user evaluation of the skyline operator

Magnani, M., Assent, I., Hornbæk, K., Jakobsen, M. R. & Larsen, K. F., 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/rapport › Konferencebidrag i proceedings › Forskning › peer review

8 Citationer (Scopus)

2012

An embedded DSL for stochastic processes

Werk, M. F., Ahnfelt-Rønne, J. & Larsen, K. F., 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/rapport › Konferencebidrag i proceedings › Forskning › peer review

4 Citationer (Scopus)

Functional High Performance Financial IT: the HIPERFIT Research Center in Copenhagen

Berthold, J., Filinski, A., Henglein, F., Larsen, K. F., Steffensen, M. & Vinter, B., 2012, Trends in Functional Programming: 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers. Peña, R. & Page, R. (red.). Springer, s. 98-113 16 s. (Lecture notes in computer science, Bind 7193).

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

2010

Generic multiset programming for language-integrated querying

Henglein, F. & Larsen, K. F., 2010, Proceedings of the 6th ACM SIGPLAN workshop on Generic programming. Association for Computing Machinery, s. 49-59 11 s.

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

4 Citationer (Scopus)

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

Henglein, F. & Larsen, K. F., sep. 2010, I: Higher-Order and Symbolic Computation. 23, 3, s. 337-370 34 s.

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

7 Citationer (Scopus)

2009

A MuDDy Experience-ML Bindings to a BDD Library

Larsen, K. F., 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 › peer review

POETS: Process-oriented Enterprise Transaction Systems

Henglein, F., Stefansen, C. O. E., Simonsen, J. G. & Larsen, K. F., 2009, I: Journal of Logic and Algebraic Programming. 78, 5, s. 381-401 21 s.

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

6 Citationer (Scopus)

2008

Classifying VAT Legislation for Automation

Sudzina, F., Nielsen, M. I., Simonsen, J. G. & Larsen, K. F., 2008.

Publikation: Konferencebidrag › Paper › Forskning

2342 Downloads (Pure)

FunSETL–Functional Reporting for ERP Systems

Nissen, M. N. & Larsen, K. F., 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 › peer review

Requirements for Logical Models for Value-Added Tax Legislation

Nielsen, M. I., Simonsen, J. G. & Larsen, K. F., 2008. 5 s.

Publikation: Konferencebidrag › Paper › Forskning

3912 Downloads (Pure)

2007

Compositional Contract Specification for REA

Henglein, F., Larsen, K. F., Simonsen, J. G. & 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

Tutorial on Modeling VAT Rules Using OWL-DL

Nielsen, M. I., Simonsen, J. G. & Larsen, K. F., 2007.

Publikation: Konferencebidrag › Paper › Forskning

1944 Downloads (Pure)

2004

Incremental Execution of Transformation Specifications

Sittampalam, G., de Moor, O. & Larsen, K. F., 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 › peer review

3 Citationer (Scopus)

mGTK: an SML binding of Gtk+

Larsen, K. F. & Niss, H., 2004.

Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning

1 Citationer (Scopus)

Ken Friis Larsen

Publikation

Søgeresultater