Concepedia
Statistics
Publications
11
Citations
510
H-Index
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 formal methods, computer science, and engineering.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated ReasoningVerificationProgram AnalysisFormal VerificationSyntaxComputational LinguisticsLanguage
Publications per year
2012–2022
Expressive Languages for Path Queries over Graph-Structured Data
Pablo Barceló, Leonid Libkin, Anthony W. Lin et al. · ACM Transactions on Database Systems · 2012 · 145 citations · Full text
Engineering, Graph Database, Expressive Languages +21
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 · 77 citations · Full text
Program Checking, Engineering, Verification +21
String solving with word equations and transducers: towards a logic for analysing mutation XSS
Anthony W. Lin, Pablo Barceló · 2016 · 64 citations · Full text
Engineering, Information Security, Verification +28
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
Mathematical Programming, Engineering, Verification +23
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
Syntax, Engineering, Program Analysis +8
1–5 of 11