Anthony Widjaja Lin

According to our database, Anthony Widjaja Lin authored at least 74 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Regular Abstractions for Array Systems.

Chih-Duo Hong, Anthony W. Lin

Proc. ACM Program. Lang., January, 2024

Parikh's Theorem Made Symbolic.

Matthew Hague, Artur Jez, Anthony W. Lin

Proc. ACM Program. Lang., January, 2024

Ramsey Quantifiers in Linear Arithmetics.

Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche

Proc. ACM Program. Lang., January, 2024

Concurrent Stochastic Lossy Channel Games.

Daniel Stan, Muhammad Najib, Anthony Widjaja Lin, Parosh Aziz Abdulla

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games.

Julian Gutierrez, Anthony W. Lin, Muhammad Najib, Thomas Steeples, Michael J. Wooldridge

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2023

Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games (Full Version).

Julian Gutierrez, Anthony W. Lin, Muhammad Najib, Thomas Steeples, Michael J. Wooldridge

CoRR, 2023

Logical Languages Accepted by Transformer Encoders with Hard Attention.

Pablo Barceló, Alexander Kozachinskiy, Anthony Widjaja Lin, Vladimir V. Podolskii

CoRR, 2023

Decision Procedures for Sequence Theories (Technical Report).

Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer

CoRR, 2023

Decision Procedures for Sequence Theories.

Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Solving string constraints with Regex-dependent functions through transducers with priorities and variables.

Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony W. Lin, Philipp Rümmer, Zhilin Wu

Proc. ACM Program. Lang., 2022

Data Path Queries over Embedded Graph Databases.

Diego Figueira, Artur Jez, Anthony W. Lin

Proceedings of the PODS '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12, 2022

Reasoning on Data Words over Numeric Domains.

Diego Figueira, Anthony Widjaja Lin

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification.

Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

CertiStr: a certified string solver.

Shuanglong Kan, Anthony Widjaja Lin, Philipp Rümmer, Micha Schrader

Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022

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 (technical report).

Shuanglong Kan, Anthony W. Lin, Philipp Rümmer, Micha Schrader

CoRR, 2021

Learning Union of Integer Hypercubes with Queries (Technical Report).

Oliver Markgraf, Daniel Stan, Anthony W. Lin

CoRR, 2021

Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems (technical report).

Daniel Stan, Anthony Widjaja Lin

CoRR, 2021

Rational Verification for Probabilistic Systems.

Julian Gutierrez, Lewis Hammond, Anthony W. Lin, Muhammad Najib, Michael J. Wooldridge

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

Learning Union of Integer Hypercubes with Queries - (with Applications to Monadic Decomposition).

Oliver Markgraf, Daniel Stan, Anthony W. Lin

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

Regular Model Checking Revisited.

Anthony W. Lin, Philipp Rümmer

Proceedings of the Model Checking, Synthesis, and Learning, 2021

Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems.

Daniel Stan, Anthony W. Lin

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

2020

Probabilistic Bisimulation for Parameterized Systems (Technical Report).

Chih-Duo Hong, Anthony W. Lin, Rupak Majumdar, 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

Regular Model Checking Revisited (Technical Report).

Anthony W. Lin, Philipp Rümmer

CoRR, 2020

Monadic Decomposition in Integer Linear Arithmetic (Technical Report).

Matthew Hague, Anthony Widjaja Lin, Philipp Rümmer, Zhilin Wu

CoRR, 2020

Monadic Decomposition in Integer Linear Arithmetic.

Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

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 Rümmer, Zhilin Wu

Proceedings of the Automated Technology for Verification and Analysis, 2020

Parameterized Synthesis with Safety Properties.

Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider

Proceedings of the Programming Languages and Systems - 18th Asian Symposium, 2020

2019

CSS Minification via Constraint Solving.

Matthew Hague, Anthony W. Lin, Chih-Duo Hong

ACM Trans. Program. Lang. Syst., 2019

Decision procedures for path feasibility of string-manipulating programs with complex operations.

Taolue Chen, Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu

Proc. ACM Program. Lang., 2019

Monadic Decomposability of Regular Relations.

Pablo Barceló, Chih-Duo Hong, Xuan Bach Le, Anthony W. Lin, Reino Niskanen

Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019

Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols).

Chih-Duo Hong, Anthony W. Lin, Rupak Majumdar, Philipp Rümmer

Proceedings of the Computer Aided Verification - 31st International Conference, 2019

2018

Decidable models of integer-manipulating programs with recursive parallelism.

Matthew Hague, Anthony W. Lin

Theor. Comput. Sci., 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

What is decidable about string constraints with the ReplaceAll function.

Taolue Chen, Yan Chen, Matthew Hague, Anthony W. Lin, Zhilin Wu

Proc. ACM Program. Lang., 2018

CSS Minification via Constraint Solving (Technical Report).

Matthew Hague, Anthony W. Lin, Chih-Duo Hong

CoRR, 2018

Complexity Analysis of Tree Share Structure.

Xuan Bach Le, Aquinas Hobor, Anthony W. Lin

Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018

2017

Fair Termination for Parameterized Probabilistic Concurrent Systems (Technical Report).

Ondrej Lengál, Anthony W. Lin, Rupak Majumdar, Philipp Rümmer

CoRR, 2017

Learning to Prove Safety over Parameterised Concurrent Systems (Full Version).

Yu-Fang Chen, Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer

CoRR, 2017

Fair Termination for Parameterized Probabilistic Concurrent Systems.

Ondrej Lengál, Anthony Widjaja Lin, Rupak Majumdar, Philipp Rümmer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Learning to prove safety over parameterised concurrent systems.

Yu-Fang Chen, Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer

Proceedings of the 2017 Formal Methods in Computer Aided Design, 2017

2016

Liveness of Randomised Parameterised Systems under Arbitrary Schedulers (Technical Report).

Anthony W. Lin, Philipp Rümmer

CoRR, 2016

Decidable models of integer-manipulating programs with recursive parallelism (technical report).

Matthew Hague, Anthony Widjaja Lin

CoRR, 2016

A linear-time algorithm for the orbit problem over cyclic groups.

Anthony W. Lin, Sanming Zhou

Acta Informatica, 2016

Regular Symmetry Patterns.

Anthony W. Lin, Truong Khanh Nguyen, Philipp Rümmer, Jun Sun

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2016

String solving with word equations and transducers: towards a logic for analysing mutation XSS.

Anthony Widjaja Lin, Pablo Barceló

Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Decidability and Complexity of Tree Share Formulas.

Xuan Bach Le, Aquinas Hobor, Anthony W. Lin

Proceedings of the 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2016

Liveness of Randomised Parameterised Systems under Arbitrary Schedulers.

Anthony W. Lin, Philipp Rümmer

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Regular Symmetry Patterns (Technical Report).

Anthony W. Lin, Truong Khanh Nguyen, Philipp Rümmer, Jun Sun

CoRR, 2015

String Solving with Word Equations and Transducers: Towards a Logic for Analysing Mutation XSS (Full Version).

Anthony W. Lin, Pablo Barceló

CoRR, 2015

Expressive Path Queries on Graph with Data.

Pablo Barceló, Gaëlle Fontaine, Anthony Widjaja Lin

Log. Methods Comput. Sci., 2015

Detecting redundant CSS rules in HTML5 applications: a tree rewriting approach.

Matthew Hague, Anthony Widjaja Lin, C.-H. Luke Ong

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

2014

Refining the Process Rewrite Systems Hierarchy via Ground Tree Rewrite Systems.

Stefan Göller, Anthony Widjaja Lin

ACM Trans. Comput. Log., 2014

Analysis of Probabilistic Basic Parallel Processes.

Rémi Bonnet, Stefan Kiefer, Anthony Widjaja Lin

Proceedings of the Foundations of Software Science and Computation Structures, 2014

2013

Expressive Path Queries on Graphs with Data.

Pablo Barceló, Gaëlle Fontaine, Anthony Widjaja Lin

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

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

Concurrency Makes Simple Theories Hard.

Stefan Göller, Anthony Widjaja Lin

Proceedings of the 29th International Symposium on Theoretical Aspects of Computer Science, 2012

Weakly-Synchronized Ground Tree Rewriting - (with Applications to Verifying Multithreaded Programs).

Anthony Widjaja Lin

Proceedings of the Mathematical Foundations of Computer Science 2012, 2012

Accelerating tree-automatic relations.

Anthony Widjaja Lin

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2012

Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters.

Matthew Hague, Anthony Widjaja Lin

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

The Complexity of Verifying Ground Tree Rewrite Systems.

Stefan Göller, Anthony Widjaja Lin

Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, 2011

Model Checking Recursive Programs with Numeric Data Types.

Matthew Hague, Anthony Widjaja Lin

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Logical queries over views: Decidability and expressiveness.

James Bailey, Guozhu Dong, Anthony Widjaja To

ACM Trans. Comput. Log., 2010

Parikh Images of Regular Languages: Complexity and Applications

Anthony Widjaja To

CoRR, 2010

Parikh Images of Grammars: Complexity and Applications.

Eryk Kopczynski, Anthony Widjaja To

Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

The Complexity of Model Checking (Collapsible) Higher-Order Pushdown Systems.

Matthew Hague, Anthony Widjaja To

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2010

Algorithmic Metatheorems for Decidable LTL Model Checking over Infinite Systems.

Anthony Widjaja To, Leonid Libkin

Proceedings of the Foundations of Software Science and Computational Structures, 2010

2009

Unary finite automata vs. arithmetic progressions.

Anthony Widjaja To

Inf. Process. Lett., 2009

On the Computational Complexity of Verifying One-Counter Processes.

Stefan Göller, Richard Mayr, Anthony Widjaja To

Proceedings of the 24th Annual IEEE Symposium on Logic in Computer Science, 2009

Model Checking FO(R) over One-Counter Processes and beyond.

Anthony Widjaja To

Proceedings of the Computer Science Logic, 23rd international Workshop, 2009

2008

Recurrent Reachability Analysis in Regular Model Checking.

Anthony Widjaja To, Leonid Libkin

Proceedings of the Logic for Programming, 2008

2006

Review of "Algebraic Complexity Theory by Peter Bürgisser, Michael Clausen and Amin Shokrollahi", Springer 1997.

Anthony Widjaja To

SIGACT News, 2006

2003

Review of Algorithms sequential & parallel: a unified approach by R. Miller & L. Boxer. Prentice Hall 2000.

Anthony Widjaja To

SIGACT News, 2003