Graph explorer

Research map

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

Jürgen Christ
Map detail
Jürgen Christ3 visible / 3 total nodes / 2 links

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

AuthorshipAuthorshipJürgen ChristAJürgen ChristResearcherTowards Bounded Infeasible Code DetectionWTowards Bounded Infeasi...preprint / 2012Weakly Equivalent ArraysWWeakly Equivalent Arrayspreprint / 2014
Person2 links

Jürgen Christ

Researcher