E-LIB Suche - Ergebnisse für: W. Lin, Anthony

1

Ramsey Quantifiers in Linear Arithmetics:

Bergsträßer, Pascal ; Ganardi, Moses ; Lin, Anthony W..
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 1-32 , 2024

Link: https://doi.org/10.1145/..

2

Regular Abstractions for Array Systems:

Hong, Chih-Duo ; Lin, Anthony W.
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 638-666 , 2024

Link: https://doi.org/10.1145/..

3

Parikh's Theorem Made Symbolic:

Hague, Matthew ; Jeż, Artur ; Lin, Anthony W.
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 1945-1977 , 2024

Link: https://doi.org/10.1145/..

4

Decision Procedures for Sequence Theories:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Jeż, Artur ; Lin, Anthony W. ; Markgraf, Oliver. - p. 18-40 , 2023

Link: https://doi.org/10.1007/..

5

Ramsey Quantifiers over Automatic Structures: Complexity an..:

, In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science,

Bergsträßer, Pascal ; Ganardi, Moses ; W. Lin, Anthony. - p. 1-14 , 2022

Link: https://dl.acm.org/doi/1..

6

Solving string constraints with Regex-dependent functions t..:

Chen, Taolue ; Flores-Lamas, Alejandro ; Hague, Matthew...
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-31 , 2022

Link: https://dl.acm.org/doi/1..

7

Solving string constraints with Regex-dependent functions t..:

Chen, Taolue ; Flores-Lamas, Alejandro ; Hague, Matthew...
Proceedings of the ACM on Programming Languages. 6 (2022) POPL - p. 1-31 , 2022

Link: https://doi.org/10.1145/..

8

Data Path Queries over Embedded Graph Databases:

, In: Proceedings of the 41st ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems,

Figueira, Diego ; Jez, Artur ; Lin, Anthony W. - p. 189-201 , 2022

Link: https://dl.acm.org/doi/1..

9

Reachability Problems: 16th International Conference, RP 20..

Lecture Notes in Computer Science, 13608

Lin, Anthony W ; Zetzsche, Georg ; Potapov, Igor - 1st ed. 2022 . , 2022

Link: https://doi.org/10.1007/..

10

Learning Union of Integer Hypercubes with Queries: (with Ap..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Markgraf, Oliver ; Stan, Daniel ; Lin, Anthony W. - p. 243-265 , 2021

Link: https://doi.org/10.1007/..

11

Quadratic Word Equations with Length Constraints, Counter S..:

Lin, Anthony W. ; Majumdar, Rupak
Logical Methods in Computer Science. 17, Issue 4 (2021) - p. , 2021

Link: https://doi.org/10.46298..

12

Regular Model Checking Approach to Knowledge Reasoning over..:

, In: Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems,

Stan, Daniel ; Lin, Anthony W. - p. 1254-1262 , 2021

Link: https://dl.acm.org/doi/1..

13

Regular Model Checking Revisited:

, In: Model Checking, Synthesis, and Learning; Lecture Notes in Computer Science,

Lin, Anthony W. ; Rümmer, Philipp - p. 97-114 , 2021

Link: https://doi.org/10.1007/..

14

Parameterized Synthesis with Safety Properties:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Markgraf, Oliver ; Hong, Chih-Duo ; Lin, Anthony W... - p. 273-292 , 2020

Link: https://doi.org/10.1007/..

15

Monadic Decomposition in Integer Linear Arithmetic:

, In: Automated Reasoning; Lecture Notes in Computer Science,

Hague, Matthew ; Lin, Anthony W. ; Rümmer, Philipp. - p. 122-140 , 2020

Link: https://doi.org/10.1007/..