Login / Signup
Jessie Grosen
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Semi Automatic
Management System
Image Analysis
Real World
Top Venues
CoRR
LICS
</>
Publications
</>
Jessie Grosen
,
David M. Kahn
,
Jan Hoffmann
Automatic Amortized Resource Analysis with Regular Recursive Types.
LICS
(2023)
Jessie Grosen
,
David M. Kahn
,
Jan Hoffmann
Automatic Amortized Resource Analysis with Regular Recursive Types.
CoRR
(2023)