Graph explorer

Research map

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

Thomas Haas
Map detail
Thomas Haas3 visible / 3 total nodes / 2 links

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

AuthorshipAuthorshipThomas HaasAThomas HaasResearcherVerifying and Optimizing Compact NUMA-Aware Locks on Weak Memory ModelsWVerifying and Optimizin...preprint / 2022Widest Paths and Global Propagation in Bounded Value Iteration for Stochastic GamesWWidest Paths and Global...preprint / 2020
Person2 links

Thomas Haas

Researcher