Ken Friis Larsen

Cited by

	All	Since 2018
Citations	314	115
h-index	9	5
i10-index	8	2

2000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220233 3 5 2 10 14 16 8 15 19 5 17 7 9 13 15 14 21 14 28 19 16 24 14

Public access

View all

4 articles

1 article

available

not available

Based on funding mandates

Co-authors

Fritz HengleinProfessor, Department of Computer Science, University of Copenhagen (DIKU)Verified email at diku.dk
Martin ElsmanProfessor, DIKUVerified email at di.ku.dk
Jakob Grue SimonsenDepartment of Computer Science, University of Copenhagen (DIKU)Verified email at diku.dk
Christian StefansenGoogleVerified email at google.com
Oege de MoorProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Cosmin OanceaDepartment of Computer Science (DIKU), University of CopenhagenVerified email at diku.edu
Troels HenriksenAssistant Professor, University of CopenhagenVerified email at sigkill.dk
Andrzej FilinskiAssociate Professor of Computer Science, University of CopenhagenVerified email at diku.dk
Matteo MagnaniProfessor, Uppsala UniversityVerified email at it.uu.se
Kasper HornbækUniversity of CopenhagenVerified email at diku.dk
Ira AssentProfessor of Computer Science, Aarhus University, Denmark; IAS-8, Forschungszentrum JülichVerified email at cs.au.dk
Peter SestoftProfessor, IT University of CopenhagenVerified email at itu.dk
Jost BertholdDepartment of Computer Science, University of CopenhagenVerified email at diku.edu
Mogens SteffensenProfessor of insurance mathematics at Department of Mathematical Sciences, University of CopenhagenVerified email at math.ku.dk
Michael Kirkedal ThomsenAssociate Professor, University of Oslo and external lecture University of CopenhagenVerified email at acm.org
Thomas JensenDirecteur de recherche INRIA Rennes and IRISAVerified email at inria.fr
Mikkel R. Jakobsen

Ken Friis Larsen

Associate professor, Department of Computer Science, University of Copenhagen

Verified email at diku.dk - Homepage

Computer Science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Session types for Rust TBL Jespersen, P Munksgaard, KF Larsen Proceedings of the 11th acm sigplan workshop on generic programming, 13-22, 2015	79	2015
Typing XHTML Web applications in ML M Elsman, KF Larsen International Symposium on Practical Aspects of Declarative Languages, 224-238, 2004	47	2004
Incremental execution of transformation specifications G Sittampalam, O de Moor, KF Larsen ACM SIGPLAN Notices 39 (1), 26-38, 2004	47	2004
Design and GPGPU performance of Futhark's redomap construct T Henriksen, KF Larsen, CE Oancea Proceedings of the 3rd ACM SIGPLAN International Workshop on Libraries …, 2016	24	2016
Combining the Hol98 proof assistant with the BuDDy BDD package M Gordon, KF Larsen University of Cambridge, Computer Laboratory, 1999	16	1999
POETS: Process-oriented event-driven transaction systems F Henglein, KF Larsen, JG Simonsen, C Stefansen Journal of Logic and Algebraic Programming 78 (5), 381-401, 2009	15	2009
SkyView: a user evaluation of the skyline operator M Magnani, I Assent, MR Jakobsen, KF Larsen, K Hornbæk Proceedings of the ACM Conference on Information and Knowledge Management (CIKM), 2013	12	2013
Generic multiset programming with discrimination-based joins and symbolic cartesian products F Henglein, KF Larsen Higher-Order and Symbolic Computation 23 (3), 337-370, 2010	12	2010
An embedded DSL for stochastic processes MF Werk, J Ahnfelt-Rønne, KF Larsen FHPC@ ICFP, 93-102, 2012	9	2012
Experience report: Type-safe multi-tier programming with Standard ML modules M Elsman, P Munksgaard, KF Larsen Proceedings of the ML Family Workshop. ML 18, 2018	6	2018
Functional High Performance Financial IT: The Hiperfit Research Center in Copenhagen J Berthold, A Filinski, F Henglein, KF Larsen, M Steffensen, B Vinter International Symposium on Trends in Functional Programming, 98-113, 2011	6	2011
Generic multiset programming for language-integrated querying F Henglein, KF Larsen Proceedings of the 6th ACM SIGPLAN workshop on Generic programming, 49-60, 2010	6	2010
FunSETL—functional reporting for ERP systems M Nissen, KF Larsen IFL 7, 268-289, 2007	6	2007
mGTK: An SML Binding of Gtk+. KF Larsen, H Niss USENIX Annual Technical Conference, FREENIX Track, 127-134, 2004	6	2004
Encryption and Reversible Computations: Work-in-progress Paper D Táborský, KF Larsen, MK Thomsen Reversible Computation: 10th International Conference, RC 2018, Leicester …, 2018	5	2018
Memory efficient implementation of probability monads KF Larsen Unpublished manuscript (August 2011), 2011	4	2011
Modeling and implementing high performance programs on fpga J de Fine Licht, KF Larsen, T Hoefler, S Ramos Master's thesis, University of Copenhagen, Department of Computer Science, 2016	3	2016
PMC: A programming language for embedded systems S Mork, K Larsen, HR Andersen, P Sestoft Proc. Int. Workshop Formal Methods for Industrial Critical Systems, 1999	3	1999
Types for DSP Assempler Programs KF Larsen IMM, Informatik og Matematisk Modellering, Danmarks Tekniske Universitet, 2006	2	2006
Delilah: eBPF-offload on Computational Storage N Hedam, M Tychsen Clausen, P Bonnet, S Lee, K Friis Larsen Proceedings of the 19th International Workshop on Data Management on New …, 2023	1	2023

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors