| 2026 | ISSAC | Learning Unions of Intersecting Affine Modules in One Dimension with Queries. | Eva Gonzlez Garcia, Montserrat Hermo, Anthony Widjaja Lin |
| 2024 | CSL | Concurrent Stochastic Lossy Channel Games. | Daniel Stan, Muhammad Najib, Anthony Widjaja Lin, Parosh Aziz Abdulla |
| 2024 | ICLR | Logical Languages Accepted by Transformer Encoders with Hard Attention. | Pablo Barcel, Alexander Kozachinskiy, Anthony Widjaja Lin, Vladimir V. Podolskii |
| 2022 | CPP | CertiStr: a certified string solver. | Shuanglong Kan, Anthony Widjaja Lin, Philipp Rmmer, Micha Schrader |
| 2022 | LICS | Reasoning on Data Words over Numeric Domains. | Diego Figueira, Anthony Widjaja Lin |
| 2020 | ATVA | A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. | Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rmmer, Zhilin Wu |
| 2017 | TACAS | Fair Termination for Parameterized Probabilistic Concurrent Systems. | Ondrej Lengl, Anthony Widjaja Lin, Rupak Majumdar, Philipp Rmmer |
| 2016 | POPL | String solving with word equations and transducers: towards a logic for analysing mutation XSS. | Anthony Widjaja Lin, Pablo Barcel |
| 2015 | OOPSLA | Detecting redundant CSS rules in HTML5 applications: a tree rewriting approach. | Matthew Hague, Anthony Widjaja Lin, C.-H. Luke Ong |
| 2014 | CONCUR | A Linear-Time Algorithm for the Orbit Problem over Cyclic Groups. | Anthony Widjaja Lin, Sanming Zhou |
| 2014 | FOSSACS | Analysis of Probabilistic Basic Parallel Processes. | Rmi Bonnet, Stefan Kiefer, Anthony Widjaja Lin |
| 2013 | LPAR | Expressive Path Queries on Graphs with Data. | Pablo Barcel, Galle Fontaine, Anthony Widjaja Lin |
| 2012 | CAV | Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters. | Matthew Hague, Anthony Widjaja Lin |
| 2012 | MFCS | Weakly-Synchronized Ground Tree Rewriting - (with Applications to Verifying Multithreaded Programs). | Anthony Widjaja Lin |
| 2012 | STACS | Concurrency Makes Simple Theories Hard. | Stefan Gller, Anthony Widjaja Lin |
| 2011 | CAV | Model Checking Recursive Programs with Numeric Data Types. | Matthew Hague, Anthony Widjaja Lin |
| 2011 | CONCUR | Refining the Process Rewrite Systems Hierarchy via Ground Tree Rewrite Systems. | Stefan Gller, Anthony Widjaja Lin |
| 2011 | LICS | The Complexity of Verifying Ground Tree Rewrite Systems. | Stefan Gller, Anthony Widjaja Lin |