Anthony Widjaja Lin

Publication Activity (10 Years)

Years Active: 2011-2024
Publications (10 Years): 19

Top Topics

Integer Arithmetic

Technical Report

Rewrite Systems

Top Venues

Publications

Michael Benedikt, Anthony Widjaja Lin, Di-De Yen
Revisiting the Expressiveness Landscape of Data Graph Queries. CoRR (2024)
Daniel Stan, Muhammad Najib, Anthony Widjaja Lin, Parosh Aziz Abdulla
Concurrent Stochastic Lossy Channel Games. CSL (2024)
Pablo Barceló, Alexander Kozachinskiy, Anthony Widjaja Lin, Vladimir V. Podolskii
Logical Languages Accepted by Transformer Encoders with Hard Attention. ICLR (2024)
Pascal Bergsträßer, Chris Köcher, Anthony Widjaja Lin, Georg Zetzsche
The Power of Hard Attention Transformers on Data Sequences: A Formal Language Theoretic Perspective. CoRR (2024)
Pablo Barceló, Alexander Kozachinskiy, Anthony Widjaja Lin, Vladimir V. Podolskii
Logical Languages Accepted by Transformer Encoders with Hard Attention. CoRR (2023)
Daniel Stan, Muhammad Najib, Anthony Widjaja Lin, Parosh Aziz Abdulla
Concurrent Stochastic Lossy Channel Games. CoRR (2023)
Diego Figueira, Anthony Widjaja Lin
Reasoning on Data Words over Numeric Domains. LICS (2022)
Shuanglong Kan, Anthony Widjaja Lin, Philipp Rümmer, Micha Schrader
CertiStr: a certified string solver. CPP (2022)
Daniel Stan, Anthony Widjaja Lin
Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems (technical report). CoRR (2021)
Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu
Solving String Constraints With Regex-Dependent Functions Through Transducers With Priorities And Variables. CoRR (2021)
Matthew Hague, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu
Monadic Decomposition in Integer Linear Arithmetic (Technical Report). CoRR (2020)
Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. CoRR (2020)
Taolue Chen, Matthew Hague, Jinlong He, Denghang Hu, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type. ATVA (2020)
Ondrej Lengál, Anthony Widjaja Lin, Rupak Majumdar, Philipp Rümmer
Fair Termination for Parameterized Probabilistic Concurrent Systems. TACAS (1) (2017)
Anthony Widjaja Lin, Pablo Barceló
String solving with word equations and transducers: towards a logic for analysing mutation XSS. POPL (2016)
Matthew Hague, Anthony Widjaja Lin
Decidable Models of Integer-Manipulating Programs with Recursive Parallelism. RP (2016)
Matthew Hague, Anthony Widjaja Lin
Decidable models of integer-manipulating programs with recursive parallelism (technical report). CoRR (2016)
Pablo Barceló, Gaëlle Fontaine, Anthony Widjaja Lin
Expressive Path Queries on Graph with Data. Log. Methods Comput. Sci. 11 (4) (2015)
Matthew Hague, Anthony Widjaja Lin, C.-H. Luke Ong
Detecting redundant CSS rules in HTML5 applications: a tree rewriting approach. OOPSLA (2015)
Anthony Widjaja Lin, Sanming Zhou
A linear time algorithm for the orbit problem over cyclic groups. CoRR (2014)
Rémi Bonnet, Stefan Kiefer, Anthony Widjaja Lin
Analysis of Probabilistic Basic Parallel Processes. FoSSaCS (2014)
Stefan Göller, Anthony Widjaja Lin
Refining the Process Rewrite Systems Hierarchy via Ground Tree Rewrite Systems. ACM Trans. Comput. Log. 15 (4) (2014)
Rémi Bonnet, Stefan Kiefer, Anthony Widjaja Lin
Analysis of Probabilistic Basic Parallel Processes. CoRR (2014)
Matthew Hague, Anthony Widjaja Lin, Luke Ong
Detecting Redundant CSS Rules in HTML5 Applications: A Tree-Rewriting Approach. CoRR (2014)
Anthony Widjaja Lin, Sanming Zhou
A Linear-Time Algorithm for the Orbit Problem over Cyclic Groups. CONCUR (2014)
Pablo Barceló, Gaëlle Fontaine, Anthony Widjaja Lin
Expressive Path Queries on Graphs with Data. LPAR (2013)
Pablo Barceló, Leonid Libkin, Anthony Widjaja Lin, Peter T. Wood
Expressive Languages for Path Queries over Graph-Structured Data. ACM Trans. Database Syst. 37 (4) (2012)
Matthew Hague, Anthony Widjaja Lin
Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters. CAV (2012)
Stefan Göller, Anthony Widjaja Lin
Concurrency Makes Simple Theories Hard. STACS (2012)
Anthony Widjaja Lin
Weakly-Synchronized Ground Tree Rewriting - (with Applications to Verifying Multithreaded Programs). MFCS (2012)
Anthony Widjaja Lin
Accelerating tree-automatic relations. FSTTCS (2012)
Stefan Göller, Anthony Widjaja Lin
Refining the Process Rewrite Systems Hierarchy via Ground Tree Rewrite Systems. CONCUR (2011)
Matthew Hague, Anthony Widjaja Lin
Model Checking Recursive Programs with Numeric Data Types. CAV (2011)
Stefan Göller, Anthony Widjaja Lin
The Complexity of Verifying Ground Tree Rewrite Systems. LICS (2011)