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
7 links
Till Tantau
Researcher
PaperExistential Second-Order Logic Over Graphs: A Complete Complexity-Theoretic ClassificationAuthorship / preprint / 2014PaperCompleteness Results for Parameterized Space ClassesAuthorship / preprint / 2013PaperOffline Drawing of Dynamic Trees: Algorithmics and Document IntegrationAuthorship / preprint / 2016PaperOn the Parallel Parameterized Complexity of MaxSAT VariantsAuthorship / preprint / 2022PaperWork-sensitive Dynamic Complexity of Formal LanguagesAuthorship / preprint / 2021PaperWhere First-Order and Monadic Second-Order Logic CoincideAuthorship / preprint / 2012PaperFast Parallel Fixed-Parameter Algorithms via Color CodingAuthorship / preprint / 2015