Spring til hovednavigation
Spring til søgning
Spring til hovedindhold
IT-Universitetet i København Forside
Support til ITU faculty
Dansk
English
Forside
Enheder
Forskere
Projekter
Publikationer
Forskningsdatasæt
Presse/medier
Aktiviteter
Priser
Søg efter ekspertise, navn eller tilknytning
Jesper Bengtson
Dr
Lektor
,
Theoretical Computer Science
Programming Logic and Semantics
Co-Uddannelsesleder
,
Kandidat i Softwaredesign
E-mail
jebe
itu
dk
2009
2025
Publikationer pr. år
Vis
Fingeraftryk
Netværk
Publikationer
(11)
Projekter
(3)
Presse/medier
(2)
Forskningsdatasæt
(1)
Lignende profiler
(3)
Vejledning
(3)
Vejledning
Publikationer pr. år
2021
2021
2024
2026
2026
Publikationer pr. år
Vejledt arbejde per år
Publikation
3 resultater
Publikationsår, titel
(faldende)
Publikationsår, titel
(stigende)
Titel
Type
Søgeresultater
2026
Rogers: Writing Verified Programs for Computational Storage
Clausen, M. T.
,
2026
,
148 s.
Publikation
:
Afhandlinger
›
Ph.d.-afhandling
Fil
Region-based Memory Management
100%
Movement Performance
100%
Trustworthy Service Provider
100%
Program Application
100%
Computational Service
100%
2024
A Mechanisation of Multiparty Session Types
Tirore, D.
,
2024
,
IT-Universitetet i København
.
160 s.
Publikation
:
Afhandlinger
›
Ph.d.-afhandling
Multiparty Session Types
100%
Mechanization
100%
Session Types
100%
Type Systems
100%
Distributed System
66%
2021
Sessions and Separation
Hinrichsen, J. K.,
2021
,
IT-Universitetet i København
.
156 s.
Publikation
:
Afhandlinger
›
Ph.d.-afhandling
Åben adgang
Fil
Session Types
100%
Type Systems
100%
Separation Logic
55%
Concurrency
50%
Iris
33%