Login / Signup
Jannis Harder
ORCID
Publication Activity (10 Years)
Years Active: 2016-2020
Publications (10 Years): 2
Top Topics
Multiscale
Real Time
Query Answers
Sorting Algorithms
Top Venues
CoRR
TACAS
</>
Publications
</>
Jannis Harder
An Answer to the Bose-Nelson Sorting Problem for 11 and 12 Channels.
CoRR
(2020)
Normann Decker
,
Jannis Harder
,
Torben Scheffel
,
Malte Schmitz
,
Daniel Thoma
Runtime Monitoring with Union-Find Structures.
TACAS
(2016)