AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Anthony Widjaja Lin

Anthony Widjaja Lin

Technische Universität Kaiserslautern - Kaiserslautern / Germany
Others
AD Scientific Index ID: 1781053
Kaiserslautern University of Technology
person_outline Anthony Widjaja Lin's MOST POPULAR ARTICLES
1-) Expressive languages for path queries over graph-structured data ACM Transactions on Database Systems (TODS) 37 (4), 1-46, 2012
2-) Decision procedures for path feasibility of string-manipulating programs with complex operations Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019
3-) String solving with word equations and transducers: towards a logic for analysing mutation XSS Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016
4-) Parikh images of grammars: Complexity and applications 2010 25th Annual IEEE Symposium on Logic in Computer Science, 80-89, 2010
5-) String constraints with concatenation and transducers solved efficiently Proceedings of the ACM on Programming Languages 2 (POPL), 1-32, 2017