Concepedia

Anthony W. Lin

AW

Statistics

Publications

11

Citations

518

H-Index

11

Active since

2012

Affiliations

University of Oxford(Current)

Uppsala University

Royal Holloway University of London

Institute of Software

Birkbeck, University of London

Anthony W. Lin is an author at University of Oxford specializing in computing, computer science, and programming languages.

ORCID

Publications per year

2012–2022

11

Publications

11

Expressive Languages for Path Queries over Graph-Structured Data

Pablo Barceló, Leonid Libkin, Anthony W. Lin et al. · ACM Transactions on Database Systems · 2012 · 148 citations · Full text

, , +13

Decision procedures for path feasibility of string-manipulating programs with complex operations

Taolue Chen, Matthew Hague, Anthony W. Lin et al. · Proceedings of the ACM on Programming Languages · 2019 · 79 citations · Full text

, , +13

String solving with word equations and transducers: towards a logic for analysing mutation XSS

Anthony W. Lin, Pablo Barceló · 2016 · 64 citations · Full text

, , +16

String constraints with concatenation and transducers solved efficiently

Lukáš Holík, Petr Janků, Anthony W. Lin et al. · Proceedings of the ACM on Programming Languages · 2017 · 57 citations · Full text

, , +11

What is decidable about string constraints with the ReplaceAll function

Taolue Chen, Yan Chen, Matthew Hague et al. · Proceedings of the ACM on Programming Languages · 2017 · 44 citations · Full text

, , +12

1–5 of 11