Anthony W. Lin

74 papers A* 4A 2B 8Journal 49Unranked 10

Year	Rank	Type	Title / Venue / Authors
2026	B	`conf`	Certified Symbolic Finite Transducers: Formalization and Applications to String Analysis. CPP Shuanglong Kan, Anthony W. Lin
2026	A	`conf`	Complexity of Evaluating GQL Queries. ICDT Diego Figueira, Anthony W. Lin, Liat Peterfreund
2026	—	`conf`	Fast Ramsey Quantifier Elimination in LIRA (with applications to liveness checking). TACAS (1) Kilian Lichtner, Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche
2026	J	`jnl`	Length Generalization Bounds for Transformers. CoRR Andy Yang, Pascal Bergsträßer, Georg Zetzsche, David Chiang, Anthony W. Lin
2026	J	`jnl`	Solving Qualitative Multi-Objective Stochastic Games. CoRR Moritz Graf, Anthony W. Lin, Rupak Majumdar
2026	J	`jnl`	Why Are Linear RNNs More Parallelizable? CoRR William Merrill, Hongjian Jiang, Yanhong Li, Anthony W. Lin, Ashish Sabharwal
2025	J	`jnl`	Extracting Robust Register Automata from Neural Networks over Data Sequences. CoRR Chih-Duo Hong, Hongjian Jiang, Anthony W. Lin, Oliver Markgraf, Julian Parsert, Tony Tan
2025	J	`jnl`	Fast Ramsey Quantifier Elimination in LIRA (with applications to liveness checking). CoRR Kilian Lichtner, Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche
2025	J	`jnl`	HornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses(Technical Report). CoRR Hongjian Jiang, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Daniel Stan
2025	B	`conf`	OSTRICH2: Solver for Complex String Constraints. FMCAD Matthew Hague, Denghang Hu, Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Zhilin Wu
2025	J	`jnl`	OSTRICH2: Solver for Complex String Constraints. CoRR Matthew Hague, Denghang Hu, Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Zhilin Wu
2025	J	`jnl`	Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification. CoRR Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer, Rupak Majumdar
2025	J	`jnl`	Probabilistic Bisimulation for Parameterized Anonymity and Uniformity Verification. IEEE Trans. Software Eng. Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer, Rupak Majumdar
2025	J	`jnl`	The Power of Regular Constraint Propagation (Technical Report). CoRR Matthew Hague, Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer
2025	—	`conf`	The Role of Logic and Automata in Understanding Transformers. RP Anthony W. Lin, Pablo Barceló
2025	J	`jnl`	The Role of Logic and Automata in Understanding Transformers. CoRR Anthony W. Lin, Pablo Barceló
2025	J	`jnl`	Transformers are Inherently Succinct. CoRR Pascal Bergsträßer, Ryan Cotterell, Anthony W. Lin
2025	—	`conf`	sfHornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses. CAV (1) Hongjian Jiang, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer, Daniel Stan
2024	B	`conf`	Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games. CSL Julian Gutierrez, Anthony W. Lin, Muhammad Najib, Thomas Steeples, Michael J. Wooldridge
2024	J	`jnl`	Parikh's Theorem Made Symbolic. Proc. ACM Program. Lang. Matthew Hague, Artur Jez, Anthony W. Lin
2024	J	`jnl`	Ramsey Quantifiers in Linear Arithmetics. Proc. ACM Program. Lang. Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche
2024	J	`jnl`	Regular Abstractions for Array Systems. CoRR Chih-Duo Hong, Anthony W. Lin
2024	J	`jnl`	Regular Abstractions for Array Systems. Proc. ACM Program. Lang. Chih-Duo Hong, Anthony W. Lin
2024	J	`jnl`	Relational Perspective on Graph Query Languages. CoRR Diego Figueira, Anthony W. Lin, Liat Peterfreund
2023	J	`jnl`	Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games (Full Version). CoRR Julian Gutierrez, Anthony W. Lin, Muhammad Najib, Thomas Steeples, Michael J. Wooldridge
2023	J	`jnl`	Decision Procedures for Sequence Theories (Technical Report). CoRR Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer
2023	—	`conf`	Decision Procedures for Sequence Theories. CAV (2) Artur Jez, Anthony W. Lin, Oliver Markgraf, Philipp Rümmer
2023	J	`jnl`	Parikh's Theorem Made Symbolic. CoRR Matthew Hague, Artur Jez, Anthony W. Lin
2023	J	`jnl`	Ramsey Quantifiers in Linear Arithmetics. CoRR Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche
2022	A*	`conf`	Data Path Queries over Embedded Graph Databases. PODS Diego Figueira, Artur Jez, Anthony W. Lin
2022	A*	`conf`	Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification. LICS Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche
2022	J	`jnl`	Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification. CoRR Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche
2022	—	`ed.`	Reachability Problems - 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17-21, 2022, Proceedings RP Anthony W. Lin, Georg Zetzsche, Igor Potapov
2022	J	`jnl`	Solving string constraints with Regex-dependent functions through transducers with priorities and variables. Proc. ACM Program. Lang. Taolue Chen, Alejandro Flores-Lamas, Matthew Hague, Zhilei Han, Denghang Hu, Shuanglong Kan, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
2021	J	`jnl`	CertiStr: A Certified String Solver (technical report). CoRR Shuanglong Kan, Anthony W. Lin, Philipp Rümmer, Micha Schrader
2021	J	`jnl`	Learning Union of Integer Hypercubes with Queries (Technical Report). CoRR Oliver Markgraf, Daniel Stan, Anthony W. Lin
2021	—	`conf`	Learning Union of Integer Hypercubes with Queries - (with Applications to Monadic Decomposition). CAV (2) Oliver Markgraf, Daniel Stan, Anthony W. Lin
2021	J	`jnl`	Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility. Log. Methods Comput. Sci. Anthony W. Lin, Rupak Majumdar
2021	A*	`conf`	Rational Verification for Probabilistic Systems. KR Julian Gutierrez, Lewis Hammond, Anthony W. Lin, Muhammad Najib, Michael J. Wooldridge
2021	J	`jnl`	Rational Verification for Probabilistic Systems. CoRR Julian Gutierrez, Lewis Hammond, Anthony W. Lin, Muhammad Najib, Michael J. Wooldridge
2021	A	`conf`	Regular Model Checking Approach to Knowledge Reasoning over Parameterized Systems. AAMAS Daniel Stan, Anthony W. Lin
2021	—	`conf`	Regular Model Checking Revisited. Model Checking, Synthesis, and Learning Anthony W. Lin, Philipp Rümmer
2020	J	`jnl`	Complexity Analysis of Tree Share Structure. CoRR Xuan Bach Le, Aquinas Hobor, Anthony W. Lin
2020	—	`conf`	Monadic Decomposition in Integer Linear Arithmetic. IJCAR (1) Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
2020	B	`conf`	Parameterized Synthesis with Safety Properties. APLAS Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider
2020	J	`jnl`	Parameterized Synthesis with Safety Properties. CoRR Oliver Markgraf, Chih-Duo Hong, Anthony W. Lin, Muhammad Najib, Daniel Neider
2020	J	`jnl`	Probabilistic Bisimulation for Parameterized Systems (Technical Report). CoRR Chih-Duo Hong, Anthony W. Lin, Rupak Majumdar, Philipp Rümmer
2020	J	`jnl`	Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility. CoRR Anthony W. Lin, Rupak Majumdar
2020	J	`jnl`	Regular Model Checking Revisited (Technical Report). CoRR Anthony W. Lin, Philipp Rümmer
2020	J	`jnl`	String Constraints with Concatenation and Transducers Solved Efficiently (Technical Report). CoRR Lukás Holík, Petr Janku, Anthony W. Lin, Philipp Rümmer, Tomás Vojnar
2019	J	`jnl`	CSS Minification via Constraint Solving. ACM Trans. Program. Lang. Syst. Matthew Hague, Anthony W. Lin, Chih-Duo Hong
2019	J	`jnl`	Decision procedures for path feasibility of string-manipulating programs with complex operations. Proc. ACM Program. Lang. Taolue Chen, Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
2019	A*	`conf`	Monadic Decomposability of Regular Relations. ICALP Pablo Barceló, Chih-Duo Hong, Xuan Bach Le, Anthony W. Lin, Reino Niskanen
2019	J	`jnl`	Monadic Decomposability of Regular Relations. CoRR Pablo Barceló, Chih-Duo Hong, Xuan Bach Le, Anthony W. Lin, Reino Niskanen
2019	—	`conf`	Probabilistic Bisimulation for Parameterized Systems - (with Applications to Verifying Anonymous Protocols). CAV (1) Chih-Duo Hong, Anthony W. Lin, Rupak Majumdar, Philipp Rümmer
2018	J	`jnl`	CSS Minification via Constraint Solving (Technical Report). CoRR Matthew Hague, Anthony W. Lin, Chih-Duo Hong
2018	B	`conf`	Complexity Analysis of Tree Share Structure. APLAS Xuan Bach Le, Aquinas Hobor, Anthony W. Lin
2018	J	`jnl`	Decidable models of integer-manipulating programs with recursive parallelism. Theor. Comput. Sci. Matthew Hague, Anthony W. Lin
2018	J	`jnl`	Decision Procedures for Path Feasibility of String-Manipulating Programs with Complex Operations. CoRR Taolue Chen, Matthew Hague, Anthony W. Lin, Philipp Rümmer, Zhilin Wu
2018	B	`conf`	Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility. ATVA Anthony W. Lin, Rupak Majumdar
2018	J	`jnl`	Quadratic Word Equations with Length Constraints, Counter Systems, and Presburger Arithmetic with Divisibility. CoRR Anthony W. Lin, Rupak Majumdar
2018	J	`jnl`	String constraints with concatenation and transducers solved efficiently. Proc. ACM Program. Lang. Lukás Holík, Petr Janku, Anthony W. Lin, Philipp Rümmer, Tomás Vojnar
2018	J	`jnl`	What is decidable about string constraints with the ReplaceAll function. Proc. ACM Program. Lang. Taolue Chen, Yan Chen, Matthew Hague, Anthony W. Lin, Zhilin Wu
2017	J	`jnl`	Fair Termination for Parameterized Probabilistic Concurrent Systems (Technical Report). CoRR Ondrej Lengál, Anthony W. Lin, Rupak Majumdar, Philipp Rümmer
2017	J	`jnl`	Learning to Prove Safety over Parameterised Concurrent Systems (Full Version). CoRR Yu-Fang Chen, Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer
2017	B	`conf`	Learning to prove safety over parameterised concurrent systems. FMCAD Yu-Fang Chen, Chih-Duo Hong, Anthony W. Lin, Philipp Rümmer
2017	J	`jnl`	What Is Decidable about String Constraints with the ReplaceAll Function. CoRR Taolue Chen, Yan Chen, Matthew Hague, Anthony W. Lin, Zhilin Wu
2016	J	`jnl`	A linear-time algorithm for the orbit problem over cyclic groups. Acta Informatica Anthony W. Lin, Sanming Zhou
2016	—	`conf`	Decidability and Complexity of Tree Share Formulas. FSTTCS Xuan Bach Le, Aquinas Hobor, Anthony W. Lin
2016	J	`jnl`	Liveness of Randomised Parameterised Systems under Arbitrary Schedulers (Technical Report). CoRR Anthony W. Lin, Philipp Rümmer
2016	—	`conf`	Liveness of Randomised Parameterised Systems under Arbitrary Schedulers. CAV (2) Anthony W. Lin, Philipp Rümmer
2016	B	`conf`	Regular Symmetry Patterns. VMCAI Anthony W. Lin, Truong Khanh Nguyen, Philipp Rümmer, Jun Sun
2015	J	`jnl`	Regular Symmetry Patterns (Technical Report). CoRR Anthony W. Lin, Truong Khanh Nguyen, Philipp Rümmer, Jun Sun
2015	J	`jnl`	String Solving with Word Equations and Transducers: Towards a Logic for Analysing Mutation XSS (Full Version). CoRR Anthony W. Lin, Pablo Barceló