Anthony Widjaja Lin
Technische Universität Kaiserslautern
H-index: 20
Europe-Germany
Top articles of Anthony Widjaja Lin
Concurrent Stochastic Lossy Channel Games
2024/2/7
Regular Abstractions for Array Systems
Proceedings of the ACM on Programming Languages
2024/1/5
Ramsey Quantifiers in Linear Arithmetics
Proceedings of the ACM on Programming Languages
2024/1/5
Parikh’s Theorem Made Symbolic
Proceedings of the ACM on Programming Languages
2024/1/5
Characterising and Verifying the Core in Concurrent Multi-Player Mean-Payoff Games
2024
Complexity of Formal Explainability for Sequential Models
2023/10/13
Anthony Widjaja Lin
H-Index: 15
Logical Languages Accepted by Transformer Encoders with Hard Attention
arXiv preprint arXiv:2310.03817
2023/10/5
Alexander Kozachinskiy
H-Index: 3
Anthony Widjaja Lin
H-Index: 15
Decision Procedures for Sequence Theories (Technical Report)
arXiv preprint arXiv:2308.00175
2023/7/31
Reachability Problems: 16th International Conference, RP 2022, Kaiserslautern, Germany, October 17–21, 2022, Proceedings
2022/10/12
Reasoning on data words over numeric domains
2022/8/2
Diego Figueira
H-Index: 13
Anthony Widjaja Lin
H-Index: 15
Ramsey quantifiers over automatic structures: Complexity and applications to verification
2022/8/2
Solving string constraints with regex-dependent functions through transducers with priorities and variables
Proceedings of the ACM on Programming Languages
2022/1/11
Regular model checking revisited
2022/1/1
Quadratic word equations with length constraints, counter systems, and presburger arithmetic with divisibility
Logical Methods in Computer Science
2021/10/29
Rational verification for probabilistic systems
2021/7/19
Learning Union of Integer Hypercubes with Queries: (with Applications to Monadic Decomposition)
2021/7/15