I agree that this site is using cookies. You can find further informations here.
X
Lin, Anthony Widjaja
47  results:
Search for persons X
?
1

CertiStr: a certified string solver:

, In: Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs,
Kan, Shuanglong ; Lin, Anthony Widjaja ; Rümmer, Philipp. - p. 210-224 , 2022
Link: https://dl.acm.org/doi/1..
 
?
2

Reasoning on Data Words over Numeric Domains:

, In: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science,
Figueira, Diego ; Lin, Anthony Widjaja - p. 1-13 , 2022
Link: https://dl.acm.org/doi/1..
 
?
3

A Decision Procedure for Path Feasibility of String Manipul..:

, In: Automated Technology for Verification and Analysis; Lecture Notes in Computer Science,
Chen, Taolue ; Hague, Matthew ; He, Jinlong... - p. 325-342 , 2020
Link: https://doi.org/10.1007/..
 
?
4

Programming Languages and Systems: 17th Asian Symposium, AP.. 

Programming and Software Engineering, 11893
Lin, Anthony Widjaja - 1st ed. 2019 . , 2019
Link: https://doi.org/10.1007/..
 
?
5

Refining the Process Rewrite Systems Hierarchy via Ground T..:

Göller, Stefan ; Lin, Anthony Widjaja
ACM Transactions on Computational Logic.  15 (2014)  4 - p. 1-28 , 2014
Link: https://doi.org/10.1145/..
 
?
6

Refining the Process Rewrite Systems Hierarchy via Ground T..:

Göller, Stefan ; Lin, Anthony Widjaja
ACM Transactions on Computational Logic (TOCL).  15 (2014)  4 - p. 1-28 , 2014
Link: https://dl.acm.org/doi/1..
 
?
7

Inductive Statements for Regular Transition Systems:

Welzel-Mohr, Christoph , 2024
Link: http://nbn-resolving.de/..
 
?
8

Concurrent Stochastic Lossy Channel Games:

Stan, Daniel ; Najib, Muhammad ; Lin, Anthony Widjaja.
Is Part Of LIPIcs, Volume 288, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024).  , 2024
Link: https://doi.org/10.4230/..
 
?
9

Concurrent Stochastic Lossy Channel Games:

Stan, Daniel ; Najib, Muhammad ; Lin, Anthony Widjaja.
http://arxiv.org/abs/2311.17037.  , 2023
Link: http://arxiv.org/abs/231..
 
?
10

Logical Languages Accepted by Transformer Encoders with Har..:

Barcelo, Pablo ; Kozachinskiy, Alexander ; Lin, Anthony Widjaja.
http://arxiv.org/abs/2310.03817.  , 2023
Link: http://arxiv.org/abs/231..
 
?
11

Parikh's Theorem Made Symbolic: Artifact:

Hague, Matthew ; Jeż, Artur ; Lin, Anthony Widjaja
doi:10.5281/zenodo.8417438.  , 2023
Link: https://zenodo.org/recor..
 
?
12

CertiStr : A Certified String Solver:

Kan, Shuanglong ; Lin, Anthony Widjaja ; Rümmer, Philipp.
CPP 2022 : Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, p. 210-224.  , 2022
Link: http://urn.kb.se/resolve..
 
?
13

Solving String Constraints With Regex-Dependent Functions T..:

Chen, Taolue ; Lamas, Alejandro Flores ; Hague, Matthew...
http://arxiv.org/abs/2111.04298.  , 2021
Link: http://arxiv.org/abs/211..
 
?
14

Regular Model Checking Approach to Knowledge Reasoning over..:

Stan, Daniel ; Lin, Anthony Widjaja
http://arxiv.org/abs/2102.04361.  , 2021
Link: http://arxiv.org/abs/210..
 
?
15

A Decision Procedure for Path Feasibility of String Manipul..:

Chen, Taolue ; Hague, Matthew ; He, Jinlong...
http://arxiv.org/abs/2007.06913.  , 2020
Link: http://arxiv.org/abs/200..
 
1-15