100 citations · 287 across the 22 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015★ 1 cited
String Solving with Word Equations and Transducers: Towards a Logic for Analysing Mutation XSS (Full Version)
Anthony W. Lin, Pablo Barcelo
We study the fundamental issue of decidability of satisfiability over string logics with concatenations and finite-state transducers as atomic operations. Although restricting to o…
cs.DB2015★ 8 cited
Expressive Path Queries on Graph with Data
Pablo Barcelo, Gaelle Fontaine, Anthony Widjaja Lin
Graph data models have recently become popular owing to their applications, e.g., in social networks and the semantic web. Typical navigational query languages over graph databases…