Seguir
Anthony Widjaja Lin
Anthony Widjaja Lin
Professor@TU Kaiserslautern, Max-Planck Fellow at Max-Planck Institute for Software Systems
Dirección de correo verificada de cs.uni-kl.de - Página principal
Título
Citado por
Citado por
Año
Expressive languages for path queries over graph-structured data
P Barceló, L Libkin, AW Lin, PT Wood
ACM Transactions on Database Systems (TODS) 37 (4), 1-46, 2012
2432012
Parikh images of grammars: Complexity and applications
E Kopczynski, AW To
2010 25th Annual IEEE Symposium on Logic in Computer Science, 80-89, 2010
882010
String solving with word equations and transducers: towards a logic for analysing mutation XSS
AW Lin, P Barceló
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016
822016
String constraints with concatenation and transducers solved efficiently
L Holík, P Janků, AW Lin, P Rümmer, T Vojnar
Proceedings of the ACM on Programming Languages 2 (POPL), 1-32, 2017
772017
Decision procedures for path feasibility of string-manipulating programs with complex operations
T Chen, M Hague, AW Lin, P Rümmer, Z Wu
Proceedings of the ACM on Programming Languages 3 (POPL), 1-30, 2019
762019
Model checking recursive programs with numeric data types
M Hague, AW Lin
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
662011
What is decidable about string constraints with the replaceall function
T Chen, Y Chen, M Hague, AW Lin, Z Wu
Proceedings of the ACM on Programming Languages 2 (POPL), 1-29, 2017
542017
Unary finite automata vs. arithmetic progressions
AW To
Information Processing Letters 109 (17), 1010-1014, 2009
502009
Model checking infinite-state systems: generic and specific approaches
AW To
The University of Edinburgh, 2010
492010
Algorithmic metatheorems for decidable LTL model checking over infinite systems
AW To, L Libkin
International Conference on Foundations of Software Science and …, 2010
422010
On the computational complexity of verifying one-counter processes
S Goller, R Mayr, AW To
2009 24th Annual IEEE Symposium on Logic In Computer Science, 235-244, 2009
402009
Quadratic word equations with length constraints, counter systems, and presburger arithmetic with divisibility
AW Lin, R Majumdar
Logical Methods in Computer Science 17, 2021
382021
Solving string constraints with regex-dependent functions through transducers with priorities and variables
T Chen, A Flores-Lamas, M Hague, Z Han, D Hu, S Kan, AW Lin, ...
Proceedings of the ACM on Programming Languages 6 (POPL), 1-31, 2022
352022
Synchronisation-and reversal-bounded analysis of multithreaded programs with counters
M Hague, AW Lin
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
352012
Learning to prove safety over parameterised concurrent systems
YF Chen, CD Hong, AW Lin, P Rümmer
2017 Formal Methods in Computer Aided Design (FMCAD), 76-83, 2017
292017
Liveness of randomised parameterised systems under arbitrary schedulers
AW Lin, P Rümmer
Computer Aided Verification: 28th International Conference, CAV 2016 …, 2016
292016
Fair termination for parameterized probabilistic concurrent systems
O Lengál, AW Lin, R Majumdar, P Rümmer
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
262017
Recurrent reachability analysis in regular model checking
AW To, L Libkin
International Conference on Logic for Programming Artificial Intelligence …, 2008
262008
Expressive path queries on graph with data
P Barceló, G Fontaine, AW Lin
Logical Methods in Computer Science 11, 2015
252015
Detecting redundant CSS rules in HTML5 applications: a tree rewriting approach
M Hague, AW Lin, CHL Ong
Proceedings of the 2015 ACM SIGPLAN International Conference on Object …, 2015
232015
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20