Issue Date | Title | Author(s) | Source | scopus | WOS | Fulltext/Archive link |
2016 | Parallel Evaluation of Multi-Semi-Joins | Daenen, Jonny; Neven, Frank; Vansummeren, Stijn; TONY TAN | Proceedings of the VLDB Endowment | 3 | 0 | |
2022 | Reducing NEXP-complete problems to DQBF | Chen, Fa Hsun; Huang, Shen Chang; Lu, Yu Cheng; TONY TAN | Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design, FMCAD 2022 | 1 | 0 | |
2017 | Register automata with linear arithmetic. | Chen, Yu-Fang; Leng?l, Ondrej; Tan, Tony; Wu, Zhilin; TONY TAN | 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017 | | | |
2015 | Regular expressions for data words | Libkin, Leonid; Vrgoc, Domagoj; TONY TAN | Journal of Computer and System Sciences | 25 | 20 | |
2004 | Regular Expressions for Languages over Infinite Alphabets. | Kaminski, Michael; TONY TAN | Computing and Combinatorics, 10th Annual International Conference, COCOON 2004, Jeju Island, Korea, August 17-20, 2004, Proceedings | | | |
2014 | Regular Expressions for Querying Data graphs | Vrgoc, Domagoj; TONY TAN | International Journal of Foundations of Computer Science | 0 | 0 | |
2013 | Regular Expressions with Binding over Data Words for Querying Graph Databases | Libkin, Leonid; Vrgoc, Domagoj; TONY TAN | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2 | 0 | |
2015 | Regular Graphs and the Spectra of Two-Variable Logic with Counting | Kopczynski, Eryk; TONY TAN | SIAM Journal on Computing | 8 | 5 | |
2021 | A simple combinatorial proof for the small model property of two-variable logic | Ma Y; TONY TAN | Information Processing Letters | | | |
2004 | Subdividing Alpha Complex. | Cheng, Ho-Lun; TONY TAN | FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings | | | |
2019 | Subsequence versus substring constraints in sequence pattern languages | Engels, S.; Van den Bussche, J.; TONY TAN | Acta Informatica | 0 | 0 | |
2021 | Towards a more efficient approach for the satisfiability of two-variable logic | Lin T.-W; Lu C.-H; TONY TAN | Proceedings - Symposium on Logic in Computer Science | 2 | 0 | |
2008 | Tree Automata over Infinite Alphabets. | Kaminski, Michael; TONY TAN | Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday | | | |
2020 | Two variable logic with ultimately periodic counting | Benedikt, M.; Kostylev, E.V.; TONY TAN | Leibniz International Proceedings in Informatics, LIPIcs | | | |
2019 | Two-variable logic revisited. | Ma, Yanger; TONY TAN | CoRR | | | |