25 citations · 25 across the 2 of their papers we have counts for
2 papers
cs.IR2013
Query Representation with Global Consistency on User Click Graph
Daqiang Zhang, Rongbo Zhu, Shuqiqiu Men +1
Extensive research has been conducted on query log analysis. A query log is generally represented as a bipartite graph on a query set and a URL set. Most of the traditional methods…
cs.NI2013★ 25 cited
A Review of Automated Formal Verification of Ad Hoc Routing Protocols for Wireless Sensor Networks
Zhe Chen, Daqiang Zhang, Rongbo Zhu +3
This paper surveys how formal verification can be used to prove the correctness of ad hoc routing protocols, which are fundamental infrastructure of wireless sensor networks. The e…