Model checking wireless sensor network security protocols
Privacy within pervasive communications
Low overhead assignment of symbolic coordinates in sensor networks
A localized algorithm for bi-connectivity of connected mobile robots
Intelligent actor mobility in wireless sensor and actor networks
A synchronous engine for wireless sensor networks
A hardware accelerated implementation of the IEEE 802.15.3 MAC protocol