公開日期 | 標題 | 作者 | 來源出版物 | scopus | WOS | 全文 |
2018 | A note on first-order spectra with binary relations. | Kopczynski, Eryk; TONY TAN | Logical Methods in Computer Science | 0 | 0 | |
2010 | A Note on Two-pebble Automata Over Infinite Alphabets. | Kaminski, Michael; TONY TAN | Fundam. Inform. | | | |
2021 | On Classical Decidable Logics Extended with Percentage Quantifiers and Arithmetics | Bednarczyk B; Orłowska M; Pacanowska A; TONY TAN | Leibniz International Proceedings in Informatics, LIPIcs | 0 | 0 | |
2009 | On Pebble Automata for Data Languages with Decidable Emptiness Problem | TONY TAN | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 8 | 0 | |
2010 | On pebble automata for data languages with decidable emptiness problem | TONY TAN | Journal of Computer and System Sciences | 11 | 9 | |
2012 | On the complexity of query answering over incomplete XML documents. | Gheerbrant, Am?lie; Libkin, Leonid; TONY TAN | 15th International Conference on Database Theory, ICDT '12, Berlin, Germany, March 26-29, 2012 | | | |
2010 | On the Satisfiability of Two-Variable Logic over Data Words. | David, Claire; Libkin, Leonid; TONY TAN | Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings | | | |
2015 | On the Variable Hierarchy of First-Order Spectra | Kopczynski, Eryk; TONY TAN | ACM Transactions on Computational Logic | 1 | 1 | |
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 | |