Review of Algorithms sequential & parallel: a unified approach by R. Miller & L. Boxer. Prentice Hall 2000. - Anthony Widjaja To (SIGACT News, 2003)

Review of "Algebraic Complexity Theory by Peter Bürgisser, Michael Clausen and Amin Shokrollahi", Springer 1997. - Anthony Widjaja To (SIGACT News, 2006)

Recurrent Reachability Analysis in Regular Model Checking. - Anthony Widjaja To; Leonid Libkin (LPAR, 2008)

Model Checking FO(R) over One-Counter Processes and beyond. - Anthony Widjaja To (CSL, 2009)

On the Computational Complexity of Verifying One-Counter Processes. - Stefan Göller; Richard Mayr; Anthony Widjaja To (LICS, 2009)

Unary finite automata vs. arithmetic progressions. - Anthony Widjaja To (Inf. Process. Lett., 2009)

Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems. - Anthony Widjaja To; Leonid Libkin (FoSSaCS, 2010)

The Complexity of Model Checking (Collapsible) Higher-Order Pushdown Systems. - Matthew Hague; Anthony Widjaja To (FSTTCS, 2010)

Parikh Images of Grammars: Complexity and Applications. - Eryk Kopczynski; Anthony Widjaja To (LICS, 2010)

Parikh Images of Regular Languages: Complexity and Applications - Anthony Widjaja To (CoRR, 2010)

Logical queries over views: Decidability and expressiveness. - James Bailey 001; Guozhu Dong; Anthony Widjaja To (ACM Trans. Comput. Log., 2010)

Model Checking Recursive Programs with Numeric Data Types. - Matthew Hague; Anthony Widjaja Lin (CAV, 2011)

The Complexity of Verifying Ground Tree Rewrite Systems. - Stefan Göller; Anthony Widjaja Lin (LICS, 2011)

Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters. - Matthew Hague; Anthony Widjaja Lin (CAV, 2012)

Accelerating tree-automatic relations. - Anthony Widjaja Lin (FSTTCS, 2012)

Weakly-Synchronized Ground Tree Rewriting - (with Applications to Verifying Multithreaded Programs). - Anthony Widjaja Lin (MFCS, 2012)

Concurrency Makes Simple Theories Hard. - Stefan Göller; Anthony Widjaja Lin (STACS, 2012)

Expressive Languages for Path Queries over Graph-Structured Data. - Pablo Barceló; Leonid Libkin; Anthony Widjaja Lin; Peter T. Wood (ACM Trans. Database Syst., 2012)

Expressive Path Queries on Graphs with Data. - Pablo Barceló; Gaëlle Fontaine; Anthony Widjaja Lin (LPAR, 2013)

Analysis of Probabilistic Basic Parallel Processes. - Rémi Bonnet; Stefan Kiefer; Anthony Widjaja Lin (FoSSaCS, 2014)

Refining the Process Rewrite Systems Hierarchy via Ground Tree Rewrite Systems. - Stefan Göller; Anthony Widjaja Lin (ACM Trans. Comput. Log., 2014)

Detecting redundant CSS rules in HTML5 applications: a tree rewriting approach. - Matthew Hague; Anthony Widjaja Lin; C.-H. Luke Ong (OOPSLA, 2015)

Expressive Path Queries on Graph with Data. - Pablo Barceló; Gaëlle Fontaine; Anthony Widjaja Lin (Log. Methods Comput. Sci., 2015)

String Solving with Word Equations and Transducers: Towards a Logic for Analysing Mutation XSS (Full Version). - Anthony W. Lin; Pablo Barceló (CoRR, 2015)

Regular Symmetry Patterns (Technical Report). - Anthony W. Lin; Truong Khanh Nguyen; Philipp Rümmer; Jun Sun 001 (CoRR, 2015)

Liveness of Randomised Parameterised Systems under Arbitrary Schedulers. - Anthony W. Lin; Philipp Rümmer (CAV (2), 2016)

Decidability and Complexity of Tree Share Formulas. - Xuan Bach Le; Aquinas Hobor; Anthony W. Lin (FSTTCS, 2016)

String solving with word equations and transducers: towards a logic for analysing mutation XSS. - Anthony Widjaja Lin; Pablo Barceló (POPL, 2016)

Regular Symmetry Patterns. - Anthony W. Lin; Truong Khanh Nguyen; Philipp Rümmer; Jun Sun 001 (VMCAI, 2016)

A linear-time algorithm for the orbit problem over cyclic groups. - Anthony W. Lin; Sanming Zhou (Acta Informatica, 2016)

Decidable models of integer-manipulating programs with recursive parallelism (technical report). - Matthew Hague; Anthony Widjaja Lin (CoRR, 2016)

Liveness of Randomised Parameterised Systems under Arbitrary Schedulers (Technical Report). - Anthony W. Lin; Philipp Rümmer (CoRR, 2016)

Learning to prove safety over parameterised concurrent systems. - Yu-Fang Chen 001; Chih-Duo Hong; Anthony W. Lin; Philipp Rümmer (FMCAD, 2017)

Fair Termination for Parameterized Probabilistic Concurrent Systems. - Ondrej Lengál; Anthony Widjaja Lin; Rupak Majumdar; Philipp Rümmer (TACAS (1), 2017)

Learning to Prove Safety over Parameterised Concurrent Systems (Full Version). - Yu-Fang Chen 001; Chih-Duo Hong; Anthony W. Lin; Philipp Rümmer (CoRR, 2017)

Fair Termination for Parameterized Probabilistic Concurrent Systems (Technical Report). - Ondrej Lengál; Anthony W. Lin; Rupak Majumdar; Philipp Rümmer (CoRR, 2017)

Complexity Analysis of Tree Share Structure. - Xuan Bach Le; Aquinas Hobor; Anthony W. Lin (APLAS, 2018)

CSS Minification via Constraint Solving (Technical Report). - Matthew Hague; Anthony W. Lin; Chih-Duo Hong (CoRR, 2018)

What is decidable about string constraints with the ReplaceAll function. - Taolue Chen 001; Yan Chen; Matthew Hague; Anthony W. Lin; Zhilin Wu (Proc. ACM Program. Lang., 2018)

String constraints with concatenation and transducers solved efficiently. - Lukás Holík; Petr Janku; Anthony W. Lin; Philipp Rümmer; Tomás Vojnar (Proc. ACM Program. Lang., 2018)

Decidable models of integer-manipulating programs with recursive parallelism. - Matthew Hague; Anthony W. Lin (Theor. Comput. Sci., 2018)

Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols). - Chih-Duo Hong; Anthony W. Lin; Rupak Majumdar; Philipp Rümmer (CAV (1), 2019)

Monadic Decomposability of Regular Relations. - Pablo Barceló; Chih-Duo Hong; Xuan Bach Le; Anthony W. Lin; Reino Niskanen (ICALP, 2019)

Decision procedures for path feasibility of string-manipulating programs with complex operations. - Taolue Chen 001; Matthew Hague; Anthony W. Lin; Philipp Rümmer; Zhilin Wu (Proc. ACM Program. Lang., 2019)

CSS Minification via Constraint Solving. - Matthew Hague; Anthony W. Lin; Chih-Duo Hong (ACM Trans. Program. Lang. Syst., 2019)

Parameterized Synthesis with Safety Properties. - Oliver Markgraf; Chih-Duo Hong; Anthony W. Lin; Muhammad Najib; Daniel Neider (APLAS, 2020)

A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. - Taolue Chen 001; Matthew Hague; Jinlong He; Denghang Hu; Anthony Widjaja Lin; Philipp Rümmer; Zhilin Wu (ATVA, 2020)

Monadic Decomposition in Integer Linear Arithmetic. - Matthew Hague; Anthony W. Lin; Philipp Rümmer; Zhilin Wu (IJCAR (1), 2020)

Monadic Decomposition in Integer Linear Arithmetic (Technical Report). - Matthew Hague; Anthony Widjaja Lin; Philipp Rümmer; Zhilin Wu (CoRR, 2020)

Regular Model Checking Revisited (Technical Report). - Anthony W. Lin; Philipp Rümmer (CoRR, 2020)

String Constraints with Concatenation and Transducers Solved Efficiently (Technical Report). - Lukás Holík; Petr Janku; Anthony W. Lin; Philipp Rümmer; Tomás Vojnar (CoRR, 2020)

Probabilistic Bisimulation for Parameterized Systems (Technical Report). - Chih-Duo Hong; Anthony W. Lin; Rupak Majumdar; Philipp Rümmer (CoRR, 2020)

Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems. - Daniel Stan; Anthony W. Lin (AAMAS, 2021)

Regular Model Checking Revisited. - Anthony W. Lin; Philipp Rümmer (Model Checking, Synthesis, and Learning, 2021)

Learning Union of Integer Hypercubes with Queries - (with Applications to Monadic Decomposition). - Oliver Markgraf; Daniel Stan; Anthony W. Lin (CAV (2), 2021)

Rational Verification for Probabilistic Systems. - Julian Gutierrez 001; Lewis Hammond; Anthony W. Lin; Muhammad Najib; Michael J. Wooldridge (KR, 2021)

Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems (technical report). - Daniel Stan; Anthony Widjaja Lin (CoRR, 2021)

Learning Union of Integer Hypercubes with Queries (Technical Report). - Oliver Markgraf; Daniel Stan; Anthony W. Lin (CoRR, 2021)

CertiStr: A Certified String Solver (technical report). - Shuanglong Kan; Anthony W. Lin; Philipp Rümmer; Micha Schrader (CoRR, 2021)

Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility. - Anthony W. Lin; Rupak Majumdar (Log. Methods Comput. Sci., 2021)

CertiStr: a certified string solver. - Shuanglong Kan; Anthony Widjaja Lin; Philipp Rümmer; Micha Schrader (CPP, 2022)

Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification. - Pascal Bergsträßer; Moses Ganardi; Anthony W. Lin; Georg Zetzsche (LICS, 2022)

Reasoning on Data Words over Numeric Domains. - Diego Figueira; Anthony Widjaja Lin (LICS, 2022)

Data Path Queries over Embedded Graph Databases. - Diego Figueira; Artur Jez; Anthony W. Lin (PODS, 2022)

Solving string constraints with Regex-dependent functions through transducers with priorities and variables. - Taolue Chen 001; Alejandro Flores-Lamas; Matthew Hague; Zhilei Han; Denghang Hu; Shuanglong Kan; Anthony W. Lin; Philipp Rümmer; Zhilin Wu (Proc. ACM Program. Lang., 2022)

Decision Procedures for Sequence Theories. - Artur Jez; Anthony W. Lin; Oliver Markgraf; Philipp Rümmer (CAV (2), 2023)

Decision Procedures for Sequence Theories (Technical Report). - Artur Jez; Anthony W. Lin; Oliver Markgraf; Philipp Rümmer (CoRR, 2023)

Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games (Full Version). - Julian Gutierrez 001; Anthony W. Lin; Muhammad Najib; Thomas Steeples; Michael J. Wooldridge (CoRR, 2023)

Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games. - Julian Gutierrez 001; Anthony W. Lin; Muhammad Najib; Thomas Steeples; Michael J. Wooldridge (CSL, 2024)

Concurrent Stochastic Lossy Channel Games. - Daniel Stan; Muhammad Najib; Anthony Widjaja Lin; Parosh Aziz Abdulla (CSL, 2024)

Logical Languages Accepted by Transformer Encoders with Hard Attention. - Pablo Barceló; Alexander Kozachinskiy; Anthony Widjaja Lin; Vladimir V. Podolskii (ICLR, 2024)

The Power of Hard Attention Transformers on Data Sequences: A formal language theoretic perspective. - Pascal Bergsträßer; Chris Köcher; Anthony Widjaja Lin; Georg Zetzsche (NeurIPS, 2024)

Revisiting the Expressiveness Landscape of Data Graph Queries. - Michael Benedikt; Anthony Widjaja Lin; Di-De Yen (CoRR, 2024)

Relational Perspective on Graph Query Languages. - Diego Figueira; Anthony W. Lin; Liat Peterfreund (CoRR, 2024)

Generalization Bounds with Logarithmic Negative-Sample Dependence for Adversarial Contrastive Learning. - Naghmeh Ghanooni; Waleed Mustafa; Yunwen Lei; Anthony Widjaja Lin; Marius Kloft (Trans. Mach. Learn. Res., 2024)

Ramsey Quantifiers in Linear Arithmetics. - Pascal Bergsträßer; Moses Ganardi; Anthony W. Lin; Georg Zetzsche (Proc. ACM Program. Lang., 2024)

Parikh's Theorem Made Symbolic. - Matthew Hague; Artur Jez; Anthony W. Lin (Proc. ACM Program. Lang., 2024)

Regular Abstractions for Array Systems. - Chih-Duo Hong; Anthony W. Lin (Proc. ACM Program. Lang., 2024)

sfHornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses. - Hongjian Jiang; Anthony W. Lin; Oliver Markgraf; Philipp Rümmer; Daniel Stan (CAV (1), 2025)

NoPE: The Counting Power of Transformers with No Positional Encodings. - Chris Köcher; Alexander Kozachinskiy; Anthony Widjaja Lin; Marco Sälzer; Georg Zetzsche (CoRR, 2025)

HornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses(Technical Report). - Hongjian Jiang; Anthony W. Lin; Oliver Markgraf; Philipp Rümmer; Daniel Stan (CoRR, 2025)

OSTRICH2: Solver for Complex String Constraints. - Matthew Hague; Denghang Hu; Artur Jez; Anthony W. Lin; Oliver Markgraf; Philipp Rümmer; Zhilin Wu (CoRR, 2025)

Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification. - Chih-Duo Hong; Anthony W. Lin; Philipp Rümmer; Rupak Majumdar (IEEE Trans. Software Eng., 2025)