Publikationer pr. år
Publikationer pr. år
Fingeraftryk
Dyk ned i forskningsemnerne, hvor Jonas Kastberg Hinrichsen er aktive. Disse emneetiketter kommer fra dennes persons arbejder. Sammen danner de et unikt fingerprint.
- 1 Lignende profiler
Samarbejde og topforskningsområder i de sidste fem år
Seneste eksterne samarbejde på lande-/områdeniveau. Dyk ned i detaljerne ved at klikke på prikkerne eller
-
Machine-Checked Semantic Session Typing
Hinrichsen, J. K., Louwrink, D., Krebbers, R. & Bengtson, J., 2021, CPP 2021: Proceedings of the 10th ACM SIGPLAN International Conference on Certified Programs and Proofs. Association for Computing Machinery, s. 178–198Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil -
Sessions and Separation
Hinrichsen, J. K., 2021, IT-Universitetet i København. 156 s.Publikation: Afhandlinger › Ph.d.-afhandling
Åben adgangFil -
Actris: session-type based reasoning in separation logic
Hinrichsen, J. K., Bengtson, J. & Krebbers, R., 2020, Proceedings of the ACM on Programming Languages. Wadler, P. (red.). Association for Computing Machinery, Bind 4. s. 6:1 30 s. 6Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review
Åben adgangFil
-
Full Stack Security
Rafnsson, W. (PI) & Hinrichsen, J. K. (Samarbejdspartner)
Nationalt Forsvarsteknologisk Center
01/01/2025 → 31/12/2026
Projekter: Projekt › Forskning
-
Decentralized transactions for open digital markets: Exploring the potential of decentralized and open transaction protocols for digital and digitally mediated services and tools
Dittrich, Y. (PI), Jørgensen, K. P. (CoI), Rafnsson, W. (CoI), Ibsen, P. (Admin), Oppermann, N. (Admin), Godskesen, J. C. (CoI) & Hinrichsen, J. K. (Samarbejdspartner)
01/01/2024 → 31/12/2024
Projekter: Projekt › Forskning
Forskningsdatasæt
-
CPP21 Artifact - Machine-Checked Semantic Session Typing
Hinrichsen, J. K. (Ophavsmand), ZENODO, 15 dec. 2020
DOI: 10.5281/zenodo.4322752, https://zenodo.org/record/4322752
Datasæt: Software