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
11 links
Tony Tan
Researcher
PaperGraph Reachability and Pebble Automata over Infinite AlphabetsAuthorship / preprint / 2012PaperAutomata for two-variable logic over trees with ordered data valuesAuthorship / preprint / 2013PaperUndecidability of satisfiability in the algebra of finite binary relations with union, composition, and differenceAuthorship / preprint / 2014PaperOn Pebble Automata for Data Languages with Decidable Emptiness ProblemAuthorship / preprint / 2009PaperA simple combinatorial proof for small model property of two-variable logicAuthorship / preprint / 2020PaperRegular graphs and the spectra of two-variable logic with countingAuthorship / preprint / 2014PaperOn the variable hierarchy of first-order spectraAuthorship / preprint / 2015PaperExtending Büchi Automata with Constraints on Data ValuesAuthorship / preprint / 2012