Anthony Widjaja Lin
Anthony Widjaja Lin
Professor in Theoretical Computer Science
Dirección de correo verificada de cs.uni-kl.de - Página principal
TítuloCitado porAñ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
1842012
Parikh images of grammars: Complexity and applications
E Kopczynski, AW To
2010 25th Annual IEEE Symposium on Logic in Computer Science, 80-89, 2010
732010
Model checking recursive programs with numeric data types
M Hague, AW Lin
International Conference on Computer Aided Verification, 743-759, 2011
492011
Model checking infinite-state systems: generic and specific approaches
AW To
The University of Edinburgh, 2010
432010
Unary finite automata vs. arithmetic progressions
AW To
Information Processing Letters 109 (17), 1010-1014, 2009
352009
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
352009
Algorithmic metatheorems for decidable LTL model checking over infinite systems
AW To, L Libkin
International Conference on Foundations of Software Science and …, 2010
342010
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
332016
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
222017
Recurrent reachability analysis in regular model checking
AW To, L Libkin
International Conference on Logic for Programming Artificial Intelligence …, 2008
222008
Synchronisation-and reversal-bounded analysis of multithreaded programs with counters
M Hague, AW Lin
International Conference on Computer Aided Verification, 260-276, 2012
192012
Expressive path queries on graphs with data
P Barceló, G Fontaine, AW Lin
International Conference on Logic for Programming Artificial Intelligence …, 2013
162013
Model Checking FO(R) over One-Counter Processes and beyond
AW To
International Workshop on Computer Science Logic, 485-499, 2009
152009
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
142017
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
142015
Liveness of randomised parameterised systems under arbitrary schedulers
AW Lin, P Rümmer
International Conference on Computer Aided Verification, 112-133, 2016
112016
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
Accelerating tree-automatic relations
AW Lin
IARCS Annual Conference on Foundations of Software Technology and …, 2012
112012
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
102019
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
82017
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20