"Programming Wireless Sensor Networks", Middleware for Network Eccentric and Mobile Applications: Springer Berlin Heidelberg, pp. 25–41, 2009.
"A process calculus approach to sensor network programming", Sensor Technologies and Applications, 2007. SensorComm 2007. International Conference on: IEEE, pp. 451–456, 2007.
"A formal model for programming wireless sensor networks", arXiv preprint cs/0702042, 2007.
"Towards the safe programming of wireless sensor networks", arXiv preprint arXiv:1002.0937, 2010.
Robust Programming for Sensor Networks, : Technical Report DCC-2008-01, Department of Computer Science, Faculty of Sciences, University of Porto, 2008.