| 2026 | CPP | Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis. | Shuanglong Kan, Anthony W. Lin |
| 2026 | ICDT | Complexity of Evaluating GQL Queries. | Diego Figueira, Anthony W. Lin, Liat Peterfreund |
| 2026 | KR | The Polynomial Counting Capabilities of Message Passing Neural Networks. | Marco Slzer, Pascal Bergstrer, Anthony W. Lin |
| 2026 | TACAS | Fast Ramsey Quantifier Elimination in LIRA (with applications to liveness checking). | Kilian Lichtner, Pascal Bergstrer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche |
| 2025 | CAV | sfHornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses. | Hongjian Jiang, Anthony W. Lin, Oliver Markgraf, Philipp Rmmer, Daniel Stan |
| 2025 | FMCAD | OSTRICH2: Solver for Complex String Constraints. | Matthew Hague, Denghang Hu, Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rmmer, Zhilin Wu |
| 2024 | CSL | Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games. | Julian Gutierrez, Anthony W. Lin, Muhammad Najib, Thomas Steeples, Michael J. Wooldridge |
| 2023 | CAV | Decision Procedures for Sequence Theories. | Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rmmer |
| 2022 | LICS | Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification. | Pascal Bergstrer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche |
| 2022 | PODS | Data Path Queries over Embedded Graph Databases. | Diego Figueira, Artur Jez, Anthony W. Lin |
| 2021 | CAV | Learning Union of Integer Hypercubes with Queries - (with Applications to Monadic Decomposition). | Oliver Markgraf, Daniel Stan, Anthony W. Lin |
| 2021 | KR | Rational Verification for Probabilistic Systems. | Julian Gutierrez, Lewis Hammond, Anthony W. Lin, Muhammad Najib, Michael J. Wooldridge |
| 2020 | APLAS | Parameterized Synthesis with Safety Properties. | Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider |
| 2020 | CADE | Monadic Decomposition in Integer Linear Arithmetic. | Matthew Hague, Anthony W. Lin, Philipp Rmmer, Zhilin Wu |
| 2019 | CAV | Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols). | Chih-Duo Hong, Anthony W. Lin, Rupak Majumdar, Philipp Rmmer |
| 2019 | ICALP | Monadic Decomposability of Regular Relations. | Pablo Barcel, Chih-Duo Hong, Xuan Bach Le, Anthony W. Lin, Reino Niskanen |
| 2018 | APLAS | Complexity Analysis of Tree Share Structure. | Xuan Bach Le, Aquinas Hobor, Anthony W. Lin |
| 2018 | ATVA | Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility. | Anthony W. Lin, Rupak Majumdar |
| 2017 | FMCAD | Learning to prove safety over parameterised concurrent systems. | Yu-Fang Chen, Chih-Duo Hong, Anthony W. Lin, Philipp Rmmer |
| 2016 | CAV | Liveness of Randomised Parameterised Systems under Arbitrary Schedulers. | Anthony W. Lin, Philipp Rmmer |
| 2016 | VMCAI | Regular Symmetry Patterns. | Anthony W. Lin, Truong Khanh Nguyen, Philipp Rmmer, Jun Sun |