Research output per year
Research output per year
Fingerprint
Dive into the research topics where Jens Kanstrup Larsen is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Research output
- 1 Journal article
-
P4R-Type: A Verified API for P4 Control Plane Programs
Larsen, J. K., Guanciale, R., Haller, P. & Scalas, A., 2023, In: Proceedings of the ACM on Programming Languages. 7, OOPSLA2, 29 p., 290.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile39 Downloads (Pure)
Projects
- 1 Active
-
Safe and secure software-defined networks in P4
Larsen, J. K. (PhD Student), Scalas, A. (Main Supervisor) & Haller, P. K. (Supervisor)
01/08/2022 → 31/07/2025
Project: PhD