Approximating
Polygonal Objects with Deformable Surfaces. (.pdf)
Alan Cheng Ho-lun and Tony Tan. Computational Geometry
39(2): 104 -- 117 (2008).
Graph
Reachability and Pebble Automata over Infinite Alphabets.
(.pdf)
Tony Tan. CoRR abs/1110.2776
(2011), under review in ACM
Transactions on Computational Logic. Extended abstract
presented in LICS 2009. (slides)
Efficient
Reasoning about Data Trees via Integer Linear Programming.
Claire David, Leonid Libkin and Tony Tan.
Best paper award, invited to ACM Transactions on Database Systems. Extended abstract presented in
ICDT 2011. (slides)
An
Automata Model for Trees with Ordered Data Values. (.pdf)
Tony Tan.
Extended abstract to be presented in LICS 2012.