Jannis Harder

Orcid: 0000-0003-2411-7775

Affiliations:

According to our database¹, Jannis Harder authored at least 2 papers between 2016 and 2020.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2020

An Answer to the Bose-Nelson Sorting Problem for 11 and 12 Channels.

[BibT_eX]

[DOI]

CoRR, 2020

2016

Runtime Monitoring with Union-Find Structures.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016