Person:1708663

Available identifiers

zbMath Open lin.anthony-widjajaMaRDI QIDQ1708663

List of research outcomes

Publication	Date of Publication	Type
Ramsey quantifiers over automatic structures: complexity and applications to verification	2024-12-06	Paper
Reasoning on data words over numeric domains	2024-12-06	Paper
Probabilistic bisimulation for parameterized systems (with applications to verifying anonymous protocols)	2024-02-16	Paper
Decision procedures for sequence theories	2024-01-12	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

This page was built for person: Anthony Widjaja Lin