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
https://portal.mardi4nfdi.de/entity/Q5111651	2020-05-27	Paper
https://portal.mardi4nfdi.de/entity/Q5111236	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
https://portal.mardi4nfdi.de/entity/Q5357708	2017-09-12	Paper
https://portal.mardi4nfdi.de/entity/Q2978518	2017-04-25	Paper
On temporal logics with data variable quantifications: decidability and complexity	2016-11-18	Paper
https://portal.mardi4nfdi.de/entity/Q2824416	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
https://portal.mardi4nfdi.de/entity/Q2908878	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
https://portal.mardi4nfdi.de/entity/Q3610994	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

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: Zhilin Wu