Zhilin Wu

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5873261	2023-02-09	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
Computing linear arithmetic representation of reachability relation of one-counter automata	2022-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q4964723	2021-03-03	Paper
https://portal.mardi4nfdi.de/entity/Q5144658	2021-01-19	Paper
Separation logic with linearly compositional inductive predicates and set data constraints	2020-10-22	Paper
Tractability of separation logic with inductive definitions: beyond lists	2020-05-27	Paper
The complexity of SORE-definability problems	2020-05-26	Paper
The commutativity problem of the MapReduce framework: a transducer-based approach	2019-05-03	Paper
Semipositivity in separation logic with two variables	2018-08-16	Paper
Satisfiability of compositional separation logic with tree predicates and data constraints	2017-09-22	Paper
On the satisfiability of indexed linear temporal logics	2017-09-12	Paper
Extending temporal logics with data variable quantifications	2017-04-25	Paper
On temporal logics with data variable quantifications: decidability and complexity	2016-11-18	Paper
Survey on formal models to reason about infinite data values	2016-10-06	Paper
A complete decision procedure for linearly compositional separation logic with data constraints	2016-09-05	Paper
On automated lemma generation for separation logic with inductive definitions	2016-01-08	Paper
On effective construction of the greatest solution of language inequality \(XA\subseteq BX\)	2014-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q4649570	2012-11-22	Paper
Verifying recursive active documents with positive data tree rewriting	2012-08-29	Paper
Feasibility of motion planning on acyclic and strongly connected directed graphs	2010-10-11	Paper
A note on the characterization of TL [EF]	2010-01-29	Paper
Logical locality entails frugal distributed computation over graphs (extended abstract)	2010-01-21	Paper
Feasibility of Motion Planning on Directed Graphs	2009-06-03	Paper
The complexity of dual models problem of propositional linear temporal logics	2009-03-06	Paper
On the Expressive Power of QLTL	2008-09-17	Paper
https://portal.mardi4nfdi.de/entity/Q5696199	2006-01-26	Paper
Audio-visual speech recognition using MPEG-4 compliant visual features	2004-03-16	Paper

Research outcomes over time

This page was built for person: Zhilin Wu