Publications

Export 5 results:
Filters: Author is Barros, Joao  [Clear All Filters]
2010
Martins, F., L. Lopes, and J. Barros, "Towards the safe programming of wireless sensor networks", arXiv preprint arXiv:1002.0937, 2010.
2009
Lopes, L., F. Martins, and J. Barros, "Programming Wireless Sensor Networks", Middleware for Network Eccentric and Mobile Applications: Springer Berlin Heidelberg, pp. 25–41, 2009.
2008
Martins, F., L. Lopes, M. S. Silva, and J. Barros, Robust Programming for Sensor Networks, : Technical Report DCC-2008-01, Department of Computer Science, Faculty of Sciences, University of Porto, 2008.
2007
Lopes, L., F. Martins, M. S. Silva, and J. Barros, "A formal model for programming wireless sensor networks", arXiv preprint cs/0702042, 2007.
Lopes, L., F. Martins, M. S. Silva, and J. Barros, "A process calculus approach to sensor network programming", Sensor Technologies and Applications, 2007. SensorComm 2007. International Conference on: IEEE, pp. 451–456, 2007.