default search action
Tony Tan
Publications
- 2024
- [j17]Michael Benedikt, Egor V. Kostylev, Tony Tan:
Two Variable Logic with Ultimately Periodic Counting. SIAM J. Comput. 53(4): 884-968 (2024) - [c23]Louwe Kuijer, Tony Tan, Frank Wolter, Michael Zakharyaschev:
Separating Counting from Non-Counting in Fragments of Two-Variable First-Order Logic (Extended Abstract). Description Logics 2024 - [c22]Michael Benedikt, Chia-Hsuan Lu, Boris Motik, Tony Tan:
Decidability of Graph Neural Networks via Logical Characterizations. ICALP 2024: 127:1-127:20 - [i18]Michael Benedikt, Chia-Hsuan Lu, Boris Motik, Tony Tan:
Decidability of Graph Neural Networks via Logical Characterizations. CoRR abs/2404.18151 (2024) - 2022
- [i17]Chia-Hsuan Lu, Tony Tan:
On two-variable guarded fragment logic with expressive local Presburger constraints. CoRR abs/2206.13731 (2022) - 2021
- [j16]Steven Engels, Tony Tan, Jan Van den Bussche:
Subsequence versus substring constraints in sequence pattern languages. Acta Informatica 58(1-2): 35-56 (2021) - [c18]Ting-Wei Lin, Chia-Hsuan Lu, Tony Tan:
Towards a more efficient approach for the satisfiability of two-variable logic. LICS 2021: 1-13 - [i15]Ting-Wei Lin, Chia-Hsuan Lu, Tony Tan:
Towards a more efficient approach for the satisfiability of two-variable logic. CoRR abs/2104.10621 (2021) - 2020
- [c17]Michael Benedikt, Egor V. Kostylev, Tony Tan:
Two Variable Logic with Ultimately Periodic Counting. ICALP 2020: 112:1-112:16 - [i13]Michael Benedikt, Egor V. Kostylev, Tony Tan:
Two variable logic with ultimately periodic counting. CoRR abs/2006.01193 (2020) - 2018
- [j13]Frank Neven, Nicole Schweikardt, Frédéric Servais, Tony Tan:
Finite-State Map-Reduce Computation and Relational Algebra Queries. ACM Trans. Comput. Log. 19(2): 14:1-14:37 (2018) - 2016
- [j12]Jonny Daenen, Frank Neven, Tony Tan, Stijn Vansummeren:
Parallel Evaluation of Multi-Semi-Joins. Proc. VLDB Endow. 9(10): 732-743 (2016) - [i9]Jonny Daenen, Frank Neven, Tony Tan, Stijn Vansummeren:
Parallel Evaluation of Multi-Semi-Joins. CoRR abs/1605.05219 (2016) - 2015
- [j11]Leonid Libkin, Tony Tan, Domagoj Vrgoc:
Regular expressions for data words. J. Comput. Syst. Sci. 81(7): 1278-1297 (2015) - [c15]Jonny Daenen, Frank Neven, Tony Tan:
Gumbo: Guarded Fragment Queries over Big Data. EDBT 2015: 521-524 - [c14]Frank Neven, Nicole Schweikardt, Frédéric Servais, Tony Tan:
Distributed Streaming with Finite Memory. ICDT 2015: 324-341 - 2014
- [j8]Tony Tan, Domagoj Vrgoc:
Regular Expressions for Querying Data graphs. Int. J. Found. Comput. Sci. 25(8): 971-986 (2014) - [i7]Tony Tan, Jan Van den Bussche, Xiaowang Zhang:
Undecidability of satisfiability in the algebra of finite binary relations with union, composition, and difference. CoRR abs/1406.0349 (2014) - 2013
- [c13]Leonid Libkin, Tony Tan, Domagoj Vrgoc:
Regular Expressions with Binding over Data Words for Querying Graph Databases. Developments in Language Theory 2013: 325-337 - 2012
- [j5]Claire David, Leonid Libkin, Tony Tan:
Efficient reasoning about data trees via integer linear programming. ACM Trans. Database Syst. 37(3): 19:1-19:28 (2012) - [c12]Amélie Gheerbrant, Leonid Libkin, Tony Tan:
On the complexity of query answering over incomplete XML documents. ICDT 2012: 169-181 - [c11]Ahmet Kara, Thomas Schwentick, Tony Tan:
Feasible Automata for Two-Variable Logic with Successor on Data Words. LATA 2012: 351-362 - 2011
- [c9]Juan L. Reutter, Tony Tan:
A Formalism for Graph Databases and its Model of Computation. AMW 2011 - [c8]Claire David, Leonid Libkin, Tony Tan:
Efficient reasoning about data trees via integer linear programming. ICDT 2011: 18-29 - [i4]Ahmet Kara, Thomas Schwentick, Tony Tan:
Feasible Automata for Two-Variable Logic with Successor on Data Words. CoRR abs/1110.1221 (2011) - 2010
- [c7]Claire David, Leonid Libkin, Tony Tan:
On the Satisfiability of Two-Variable Logic over Data Words. LPAR (Yogyakarta) 2010: 248-262 - [i2]Ahmet Kara, Tony Tan:
Extending Büchi Automata with Constraints on Data Values. CoRR abs/1012.5439 (2010)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-22 20:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint