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
9 links
Thomas Wies
Researcher
PaperTarTar: A Timed Automata Repair ToolAuthorship / preprint / 2020PaperA Notion of Dynamic Interface for Depth-Bounded Object-Oriented PackagesAuthorship / preprint / 2013PaperDynamic Package Interfaces - Extended VersionAuthorship / preprint / 2014PaperLearning Invariants using Decision TreesAuthorship / preprint / 2015PaperOn Practical SMT-Based Type Error LocalizationAuthorship / preprint / 2015PaperCrowdsourced, Actionable and Verifiable Contextual Informational NormsAuthorship / preprint / 2016PaperInverse-Weighted Survival GamesAuthorship / preprint / 2022PaperOn Deciding Local Theory Extensions via E-matchingAuthorship / preprint / 2015