Anthony Widjaja Lin

Available identifiers

zbMath Open lin.anthony-widjajaMaRDI QIDQ1708663

List of research outcomes

Publication	Date of Publication	Type
Probabilistic bisimulation for parameterized systems (with applications to verifying anonymous protocols)	2024-02-16	Paper
Complexity analysis of tree share structure	2023-08-02	Paper
Quadratic word equations with length constraints, counter systems, and Presburger arithmetic with divisibility	2023-07-28	Paper
Regular model checking revisited	2023-05-26	Paper
A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data Type	2022-12-22	Paper
Monadic decomposition in integer linear arithmetic	2022-11-09	Paper
https://portal.mardi4nfdi.de/entity/Q5091265	2022-07-21	Paper
Learning union of integer hypercubes with queries (with applications to monadic decomposition)	2022-03-25	Paper
https://portal.mardi4nfdi.de/entity/Q5028423	2022-02-09	Paper
Parameterized synthesis with safety properties	2021-07-08	Paper
Fair Termination for Parameterized Probabilistic Concurrent Systems	2020-08-05	Paper
Liveness of Randomised Parameterised Systems under Arbitrary Schedulers	2019-05-03	Paper
Decidable models of integer-manipulating programs with recursive parallelism	2018-11-23	Paper
Decidability and Complexity of Tree Share Formulas	2018-04-19	Paper
Decidable models of integer-manipulating programs with recursive parallelism	2018-03-26	Paper
Accelerating tree-automatic relations	2017-01-26	Paper
String solving with word equations and transducers: towards a logic for analysing mutation XSS	2016-10-24	Paper
A linear-time algorithm for the orbit problem over cyclic groups	2016-08-22	Paper
Regular Symmetry Patterns	2016-03-23	Paper
Expressive Path Queries on Graph with Data	2015-10-29	Paper
Refining the Process Rewrite Systems Hierarchy via Ground Tree Rewrite Systems	2015-09-17	Paper
A Linear-Time Algorithm for the Orbit Problem over Cyclic Groups	2014-09-15	Paper
Analysis of Probabilistic Basic Parallel Processes	2014-04-16	Paper
Expressive Path Queries on Graphs with Data	2014-01-17	Paper
Weakly-Synchronized Ground Tree Rewriting	2012-09-25	Paper
https://portal.mardi4nfdi.de/entity/Q2904757	2012-08-23	Paper
Refining the Process Rewrite Systems Hierarchy via Ground Tree Rewrite Systems	2011-09-02	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Anthony Widjaja Lin