The following pages link to Anthony Widjaja Lin (Q1708663):
Displaying 27 items.
- (Q303692) (redirect page) (← links)
- A linear-time algorithm for the orbit problem over cyclic groups (Q303693) (← links)
- Learning union of integer hypercubes with queries (with applications to monadic decomposition) (Q832265) (← links)
- Parameterized synthesis with safety properties (Q2038085) (← links)
- Monadic decomposition in integer linear arithmetic (Q2096441) (← links)
- Regular Symmetry Patterns (Q2796070) (← links)
- String solving with word equations and transducers: towards a logic for analysing mutation XSS (Q2828250) (← links)
- Expressive Path Queries on Graphs with Data (Q2870115) (← links)
- (Q2904757) (← links)
- Weakly-Synchronized Ground Tree Rewriting (Q2912762) (← links)
- Accelerating tree-automatic relations (Q2957509) (← links)
- A Linear-Time Algorithm for the Orbit Problem over Cyclic Groups (Q3190127) (← links)
- Expressive Path Queries on Graph with Data (Q3196358) (← links)
- Fair Termination for Parameterized Probabilistic Concurrent Systems (Q3303911) (← links)
- Liveness of Randomised Parameterised Systems under Arbitrary Schedulers (Q4633552) (← links)
- Decidability and Complexity of Tree Share Formulas (Q4636566) (← links)
- (Q5028423) (← links)
- (Q5091265) (← links)
- Analysis of Probabilistic Basic Parallel Processes (Q5410663) (← links)
- Refining the Process Rewrite Systems Hierarchy via Ground Tree Rewrite Systems (Q5892174) (← links)
- Refining the Process Rewrite Systems Hierarchy via Ground Tree Rewrite Systems (Q5894255) (← links)
- Decidable models of integer-manipulating programs with recursive parallelism (Q5915566) (← links)
- Decidable models of integer-manipulating programs with recursive parallelism (Q5915901) (← links)
- Complexity analysis of tree share structure (Q6166137) (← links)
- Decision procedures for sequence theories (Q6535526) (← links)
- Ramsey quantifiers over automatic structures: complexity and applications to verification (Q6649458) (← links)
- Reasoning on data words over numeric domains (Q6649469) (← links)
