Login / Signup
Jelle Bouma
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Java Programs
File Size
Read Write
File Organizations
Top Venues
ARES
TACAS (2)
</>
Publications
</>
Jelle Bouma
,
Hugo Jonker
,
Vincent van der Meer
,
Eddy Van Den Aker
Reconstructing Timelines: From NTFS Timestamps to File Histories.
ARES
(2023)
Jelle Bouma
,
Stijn de Gouw
,
Sung-Shik Jongmans
Multiparty Session Typing in Java, Deductively.
TACAS (2)
(2023)