Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Jochen Hoenicke
Map detail
Jochen Hoenicke4 visible / 4 total nodes / 3 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipJochen HoenickeAJochen HoenickeResearcherTowards Bounded Infeasible Code DetectionWTowards Bounded Infeasi...preprint / 2012Linear Ranking for Linear Lasso ProgramsWLinear Ranking for Line...preprint / 2014Weakly Equivalent ArraysWWeakly Equivalent Arrayspreprint / 2014
Person3 links

Jochen Hoenicke

Researcher