Issue Date | Title | Author(s) | Source | scopus | WOS | Fulltext/Archive link |
2012 | Feasible Automata for Two-Variable Logic with Successor on Data Words. | Kara, Ahmet; Schwentick, Thomas; TONY TAN | Language and Automata Theory and Applications - 6th International Conference, LATA 2012, A Coru?a, Spain, March 5-9, 2012. Proceedings | | | |
2018 | Finite-State Map-Reduce Computation and Relational Algebra Queries. | Neven, Frank; Schweikardt, Nicole; Servais, Fr?d?ric; TONY TAN | ACM Trans. Comput. Log. | | | |
2011 | A Formalism for Graph Databases and its Model of Computation. | Reutter, Juan L.; TONY TAN | Proceedings of the 5th Alberto Mendelzon International Workshop on Foundations of Data Management, Santiago, Chile, May 9-12, 2011 | | | |
1987 | Functional Outcome of Incomplete Spinal Cord Injuries | Tang, F. T.; 黃美涓; Tan, T. S. ; Lee, S. T.; Wong, May-Kuen | Journal of Rehabilitation Medicine Association | | | |
2013 | Graph Reachability and Pebble Automata over Infinite Alphabets. | TONY TAN | ACM Transactions on Computational Logic | 6 | 5 | |
2009 | Graph Reachability and Pebble Automata over Infinite Alphabets. | TONY TAN | Proceedings - Symposium on Logic in Computer Science | 10 | 0 | |
2015 | Gumbo: Guarded Fragment Queries over Big Data. | Daenen, Jonny; Neven, Frank; TONY TAN | Proceedings of the 18th International Conference on Extending Database Technology, EDBT 2015, Brussels, Belgium, March 23-27, 2015. | | | |
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 | | | |