papers
Publications (4)
cs.LO2009
Logical locality entails frugal distributed computation over graphs
Stephane Grumbach, Zhilin Wu
cs.LO2009
On the distributed evaluation of recursive queries over graphs
Stephane Grumbach, Fang Wang, Zhilin Wu
cs.DM2009
Feasibility of Motion Planning on Acyclic and Strongly Connected Directed Graphs
Zhilin Wu, Stephane Grumbach
cs.LO2009
On Distributed Model Checking of MSO on Graphs
Stephane Grumbach, Zhilin Wu