Anthony Widjaja Lin
Anthony Widjaja Lin
Professor in Theoretical Computer Science
Verified email at cs.uni-kl.de - Homepage
Title
Cited by
Cited by
Year
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
1912012
Parikh images of grammars: Complexity and applications
E Kopczynski, AW To
2010 25th Annual IEEE Symposium on Logic in Computer Science, 80-89, 2010
762010
Model checking recursive programs with numeric data types
M Hague, AW Lin
International Conference on Computer Aided Verification, 743-759, 2011
502011
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
452016
Model checking infinite-state systems: generic and specific approaches
AW To
The University of Edinburgh, 2010
452010
Unary finite automata vs. arithmetic progressions
AW To
Information Processing Letters 109 (17), 1010-1014, 2009
392009
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
382009
Algorithmic metatheorems for decidable LTL model checking over infinite systems
AW To, L Libkin
International Conference on Foundations of Software Science and …, 2010
362010
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
332017
Synchronisation-and reversal-bounded analysis of multithreaded programs with counters
M Hague, AW Lin
International Conference on Computer Aided Verification, 260-276, 2012
222012
Recurrent reachability analysis in regular model checking
AW To, L Libkin
International Conference on Logic for Programming Artificial Intelligence …, 2008
222008
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
212019
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
202017
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
172015
Expressive path queries on graphs with data
P Barceló, G Fontaine, AW Lin
International Conference on Logic for Programming Artificial Intelligence …, 2013
162013
Liveness of randomised parameterised systems under arbitrary schedulers
AW Lin, P Rümmer
International Conference on Computer Aided Verification, 112-133, 2016
152016
Model Checking FO(R) over One-Counter Processes and beyond
AW To
International Workshop on Computer Science Logic, 485-499, 2009
152009
Fair termination for parameterized probabilistic concurrent systems
O Lengál, AW Lin, R Majumdar, P Rümmer
International Conference on Tools and Algorithms for the Construction and …, 2017
142017
Accelerating tree-automatic relations
AW Lin
IARCS Annual Conference on Foundations of Software Technology and …, 2012
122012
Refining the process rewrite systems hierarchy via ground tree rewrite systems
S Göller, AW Lin
ACM Transactions on Computational Logic (TOCL) 15 (4), 1-28, 2014
112014
The system can't perform the operation now. Try again later.
Articles 1–20