Login / Signup
Manuel Adameit
Publication Activity (10 Years)
Years Active: 2016-2017
Publications (10 Years): 2
Top Topics
Link Failure
Image Compression
Evolutionary Algorithm
Web Search
Top Venues
CoRR
FORTE
</>
Publications
</>
Manuel Adameit
,
Kirstin Peters
,
Uwe Nestmann
Session Types for Link Failures.
FORTE
(2017)
Manuel Adameit
,
Kirstin Peters
,
Uwe Nestmann
Session Types for Link Failures (Technical Report).
CoRR
(2016)