Anthony Widjaja Lin

Cited by

	All	Since 2017
Citations	1057	612
h-index	19	15
i10-index	23	18

180

135

200920102011201220132014201520162017201820192020202120228 30 43 59 61 58 80 84 67 94 98 143 163 47

Public access

View all

42 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Philipp RuemmerProfessor in Computer Science, University of RegensburgVerified email at ur.de
Matthew HagueRoyal Holloway, University of LondonVerified email at cs.rhul.ac.uk
Pablo BarcelóInstitute for Mathematical and Computational Engineering, PUC Chile & IMFD ChileVerified email at uc.cl
Zhilin WuState Key Laboratory of Computer ScienceVerified email at ios.ac.cn
Leonid LibkinProfessor of Computer Science, University of EdinburghVerified email at inf.ed.ac.uk
Chih-Duo HongDepartment of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Taolue ChenDepartment of Computer Science, Birkbeck, University of LondonVerified email at bbk.ac.uk
Lukas HolikBrno University of TehcnologyVerified email at fit.vutbr.cz
Tomas VojnarFIT, Brno University of TechnologyVerified email at fit.vutbr.cz
Xuan-Bach LeNanyang Technological UniversityVerified email at ntu.edu.sg
Eryk Kopczyńskiassistant professor, University of WarsawVerified email at mimuw.edu.pl
Ondřej LengálBrno University of TechnologyVerified email at fit.vutbr.cz
Yu-Fang ChenResearch Fellow, Academia SinicaVerified email at iis.sinica.edu.tw
Sun JunProfessor of SCIS, SMUVerified email at smu.edu.sg
Aquinas HoborAssociate Professor, University College LondonVerified email at ucl.ac.uk
Luke OngProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
Shuanglong KanDoctor of Computer Science, TU KaiserslauternVerified email at cs.uni-kl.de
Stefan KieferAssociate Professor, University of OxfordVerified email at cs.ox.ac.uk
Reino NiskanenLiverpool John Moores UniversityVerified email at ljmu.ac.uk

Anthony Widjaja Lin

Professor@TU Kaiserslautern, Max-Planck Fellow

Verified email at cs.uni-kl.de - Homepage

Program verification automated theorem proving logic and automata programming languages databases


Title Sort by citations Sort by year Sort by 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	215	2012
Parikh images of grammars: Complexity and applications E Kopczynski, AW To 2010 25th Annual IEEE Symposium on Logic in Computer Science, 80-89, 2010	86	2010
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	62	2016
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	56	2017
Model checking recursive programs with numeric data types M Hague, AW Lin International Conference on Computer Aided Verification, 743-759, 2011	55	2011
Model checking infinite-state systems: generic and specific approaches AW To The University of Edinburgh, 2010	49	2010
Unary finite automata vs. arithmetic progressions AW To Information Processing Letters 109 (17), 1010-1014, 2009	45	2009
Algorithmic metatheorems for decidable LTL model checking over infinite systems AW To, L Libkin International Conference on Foundations of Software Science and …, 2010	41	2010
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	39	2019
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	39	2009
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	30	2017
Quadratic word equations with length constraints, counter systems, and presburger arithmetic with divisibility AW Lin, R Majumdar International Symposium on Automated Technology for Verification and …, 2018	27*	2018
Synchronisation-and reversal-bounded analysis of multithreaded programs with counters M Hague, AW Lin International Conference on Computer Aided Verification, 260-276, 2012	24	2012
Liveness of randomised parameterised systems under arbitrary schedulers AW Lin, P Rümmer International Conference on Computer Aided Verification, 112-133, 2016	23	2016
Recurrent reachability analysis in regular model checking AW To, L Libkin International Conference on Logic for Programming Artificial Intelligence …, 2008	23	2008
Expressive path queries on graphs with data P Barceló, G Fontaine, AW Lin International Conference on Logic for Programming Artificial Intelligence …, 2013	22	2013
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	21	2017
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	21	2017
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	19	2015
Model Checking FO(R) over One-Counter Processes and beyond AW To International Workshop on Computer Science Logic, 485-499, 2009	19	2009

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors