Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
5 links
Thomas Wahl
Researcher
PaperUnbounded-Thread Reachability via Symbolic Execution and Loop Acceleration (Technical Report)Authorship / preprint / 2015PaperConcolic Unbounded-Thread Reachability via Loop Summaries (Extended Technical Report)Authorship / preprint / 2016PaperLost in Abstraction: Monotonicity in Multi-Threaded Programs (Extended Technical Report)Authorship / preprint / 2014PaperSymmetry-Aware Predicate Abstraction for Shared-Variable Concurrent Programs (Extended Technical Report)Authorship / preprint / 2011PaperBeyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic (Extended Technical Report)Authorship / preprint / 2010