×

zbMATH — the first resource for mathematics

Lin, Anthony Widjaja

Compute Distance To:
Author ID: lin.anthony-widjaja Recent zbMATH articles by "Lin, Anthony Widjaja"
Published as: Lin, Anthony W.; Lin, Anthony Widjaja
Documents Indexed: 18 Publications since 2011, including 1 Book

Publications by Year

Citations contained in zbMATH

8 Publications have been cited 13 times in 8 Documents Cited by Year
Analysis of probabilistic basic parallel processes. Zbl 1405.68208
Bonnet, Rémi; Kiefer, Stefan; Lin, Anthony Widjaja
3
2014
Decidable models of integer-manipulating programs with recursive parallelism. Zbl 1403.68125
Hague, Matthew; Lin, Anthony Widjaja
2
2016
Weakly-synchronized ground tree rewriting (with applications to verifying multithreaded programs). Zbl 1365.68299
Lin, Anthony Widjaja
2
2012
Refining the process rewrite systems hierarchy via ground tree rewrite systems. Zbl 1344.68164
Göller, Stefan; Lin, Anthony Widjaja
2
2011
Liveness of randomised parameterised systems under arbitrary schedulers. Zbl 1411.68075
Lin, Anthony W.; Rümmer, Philipp
1
2016
String solving with word equations and transducers: towards a logic for analysing mutation XSS. Zbl 1347.03060
Lin, Anthony W.; Barceló, Pablo
1
2016
Accelerating tree-automatic relations. Zbl 1354.68176
Lin, Anthony Widjaja
1
2012
Concurrency makes simple theories hard. Zbl 1245.68136
Göller, Stefan; Lin, Anthony Widjaja
1
2012
Decidable models of integer-manipulating programs with recursive parallelism. Zbl 1403.68125
Hague, Matthew; Lin, Anthony Widjaja
2
2016
Liveness of randomised parameterised systems under arbitrary schedulers. Zbl 1411.68075
Lin, Anthony W.; Rümmer, Philipp
1
2016
String solving with word equations and transducers: towards a logic for analysing mutation XSS. Zbl 1347.03060
Lin, Anthony W.; Barceló, Pablo
1
2016
Analysis of probabilistic basic parallel processes. Zbl 1405.68208
Bonnet, Rémi; Kiefer, Stefan; Lin, Anthony Widjaja
3
2014
Weakly-synchronized ground tree rewriting (with applications to verifying multithreaded programs). Zbl 1365.68299
Lin, Anthony Widjaja
2
2012
Accelerating tree-automatic relations. Zbl 1354.68176
Lin, Anthony Widjaja
1
2012
Concurrency makes simple theories hard. Zbl 1245.68136
Göller, Stefan; Lin, Anthony Widjaja
1
2012
Refining the process rewrite systems hierarchy via ground tree rewrite systems. Zbl 1344.68164
Göller, Stefan; Lin, Anthony Widjaja
2
2011

Citations by Year