关注
Anthony Widjaja Lin
Anthony Widjaja Lin
Professor@TU Kaiserslautern, Max-Planck Fellow at Max-Planck Institute for Software Systems
在 cs.uni-kl.de 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
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
2402012
Parikh images of grammars: Complexity and applications
E Kopczynski, AW To
2010 25th Annual IEEE Symposium on Logic in Computer Science, 80-89, 2010
872010
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
762017
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
752019
Model checking recursive programs with numeric data types
M Hague, AW Lin
Computer Aided Verification: 23rd International Conference, CAV 2011 …, 2011
632011
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
Model checking infinite-state systems: generic and specific approaches
AW To
The University of Edinburgh, 2010
492010
Unary finite automata vs. arithmetic progressions
AW To
Information Processing Letters 109 (17), 1010-1014, 2009
492009
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
Synchronisation-and reversal-bounded analysis of multithreaded programs with counters
M Hague, AW Lin
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
332012
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
312022
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
242015
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
222015
系统目前无法执行此操作，请稍后再试。
文章 1–20
共建清朗的网络空间,如遇有害信息,请举报。
本站数据皆整合自互联网公开资源索引,方便科研学术方面查询,并不存储相关数据资源;如对此有异议,请联系我们解决.
© 2023 学术资源搜索   @联系我们 | 申请短期会员 | 数据源提交