BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Zhilin Wu
SearchCollections
Map detail
Zhilin Wu9 visible / 9 total nodes / 8 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipZhilin WuAZhilin WuResearcherA Decidable Extension of Data AutomataWA Decidable Extension o...preprint / 2011Regular path queries on graphs with data: A rigid approachWRegular path queries on...preprint / 2014Verifying Recursive Active Documents with Positive Data Tree RewritingWVerifying Recursive Act...preprint / 2010On Automated Lemma Generation for Separation Logic with Inductive DefinitionsWOn Automated Lemma Gene...preprint / 2015The Commutativity Problem of the MapReduce Framework: A Transducer-based ApproachWThe Commutativity Probl...preprint / 2016Monadic Decomposition in Integer Linear Arithmetic (Technical Report)WMonadic Decomposition i...preprint / 2020On Injective Embeddings of Tree PatternsWOn Injective Embeddings...preprint / 2012A Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data TypeWA Decision Procedure fo...preprint / 2020
Person8 links

Zhilin Wu

Researcher

PaperA Decidable Extension of Data AutomataAuthorship / preprint / 2011PaperRegular path queries on graphs with data: A rigid approachAuthorship / preprint / 2014PaperVerifying Recursive Active Documents with Positive Data Tree RewritingAuthorship / preprint / 2010PaperOn Automated Lemma Generation for Separation Logic with Inductive DefinitionsAuthorship / preprint / 2015PaperThe Commutativity Problem of the MapReduce Framework: A Transducer-based ApproachAuthorship / preprint / 2016PaperMonadic Decomposition in Integer Linear Arithmetic (Technical Report)Authorship / preprint / 2020PaperOn Injective Embeddings of Tree PatternsAuthorship / preprint / 2012PaperA Decision Procedure for Path Feasibility of String Manipulating Programs with Integer Data TypeAuthorship / preprint / 2020

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)