Tony Tan
Identifiers
- name variant Tony Tan 0.60 · backfill
Papers (10)
- Register automata with linear arithmetic cs.FL · 2017 · author #3
- Parallel Evaluation of Multi-Semi-Joins cs.DB · 2016 · author #3
- Undecidability of satisfiability in the algebra of finite binary relations with union, composition, and difference cs.LO · 2014 · author #1
- On the variable hierarchy of first-order spectra cs.LO · 2014 · author #2
- Regular graphs and the spectra of two-variable logic with counting cs.LO · 2013 · author #2
- Automata for two-variable logic over trees with ordered data values cs.LO · 2012 · author #1
- Graph Reachability and Pebble Automata over Infinite Alphabets cs.FL · 2011 · author #1
- Feasible Automata for Two-Variable Logic with Successor on Data Words cs.FL · 2011 · author #3
- Extending B\"uchi Automata with Constraints on Data Values cs.LO · 2010 · author #2
- On Pebble Automata for Data Languages with Decidable Emptiness Problem cs.FL · 2009 · author #1
Mentions
- 0910.5844 #1 · backfill · confidence 0.70 Tony Tan
Frequent Coauthors
- Ahmet Kara 2 shared papers
- Eryk Kopczynski 2 shared papers
- Frank Neven 1 shared papers
- Jan Van den Bussche 1 shared papers
- Jonny Daenen 1 shared papers
- Ondrej Lengal 1 shared papers
- Stijn Vansummeren 1 shared papers
- Thomas Schwentick 1 shared papers
- Xiaowang Zhang 1 shared papers
- Yu-Fang Chen 1 shared papers
- Zhilin Wu 1 shared papers