8 citations · 25 across the 18 of their papers we have counts for
4 papers · 1 filter
On the distributed evaluation of recursive queries over graphs
Stephane Grumbach, Fang Wang, Zhilin Wu
Logical formalisms such as first-order logic (FO) and fixpoint logic (FP) are well suited to express in a declarative manner fundamental graph functionalities required in distribut…
Feasibility of Motion Planning on Acyclic and Strongly Connected Directed Graphs
Zhilin Wu, Stephane Grumbach
Motion planning is a fundamental problem of robotics with applications in many areas of computer science and beyond. Its restriction to graphs has been investigated in the literatu…
Logical locality entails frugal distributed computation over graphs
Stephane Grumbach, Zhilin Wu
First-order logic is known to have limited expressive power over finite structures. It enjoys in particular the locality property, which states that first-order formulae cannot hav…
On Distributed Model Checking of MSO on Graphs
Stephane Grumbach, Zhilin Wu
We consider distributed model-checking of Monadic Second-Order logic (MSO) on graphs which constitute the topology of communication networks. The graph is thus both the structure b…