Research output per year
Research output per year
Personal profile
Keywords
- Programming
- Logic
- Semantics
Fingerprint
Dive into the research topics where Frederik Haagensen 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 Article in proceedings
-
Finding the saddlepoint faster than sorting
Jacob, R., Dallant, J., Haagensen, F., Kozma, L. & Wild, S., 2024, 2024 Symposium on Simplicity in Algorithms (SOSA). Society for Industrial and Applied Mathematics, p. 168 - 178 11 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research
Open Access
Projects
- 1 Active
-
DISTRUST: Distributed business process execution under partial trust
Jacob, R. (PI), Debois, S. (PI) & Haagensen, F. (CoI)
Independent Research Fund Denmark
01/07/2020 → 30/06/2025
Project: Research